Patrice Chalin
Patrice Chalin
Dependable Software Research Group
Verified email at dsrg.org - Homepage
TitleCited byYear
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
P Chalin, JR Kiniry, GT Leavens, E Poll
International Symposium on Formal Methods for Components and Objects, 342-363, 2005
2782005
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
2412008
Non-null references by default in Java: Alleviating the nullity annotation burden
P Chalin, PR James
European Conference on Object-Oriented Programming, 227-247, 2007
852007
JML reference manual. Department of Computer Science, Iowa State University
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, DR Cok, P Müller, ...
402006
Are practitioners writing contracts?
P Chalin
Rigorous Development of Complex Fault-Tolerant Systems, 100-113, 2006
392006
Practical extensions for task models
D Sinnig, M Wurdel, P Forbrig, P Chalin, F Khendek
International Workshop on Task Models and Diagrams for User Interface Design …, 2007
362007
BLESS: Formal specification and verification of behaviors for embedded systems with software
BR Larson, P Chalin, J Hatcliff
NASA Formal Methods Symposium, 276-290, 2013
332013
JML4: Towards an industrial grade IVE for Java and next generation research platform for JML
P Chalin, PR James, G Karabotsos
Working Conference on Verified Software: Theories, Tools, and Experiments, 70-83, 2008
332008
JML reference manual (draft)
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
Last update: October, 2007
322007
LTS semantics for use case models
D Sinnig, P Chalin, F Khendek
Proceedings of the 2009 ACM symposium on Applied Computing, 365-370, 2009
302009
The KOA remote voting system: A summary of work to date
JR Kiniry, AE Morkan, D Cochran, F Fairmichael, P Chalin, M Oostdijk, ...
International Symposium on Trustworthy Global Computing, 244-262, 2006
302006
Improving JML: For a safer and more effective language
P Chalin
International Symposium of Formal Methods Europe, 440-461, 2003
282003
A sound assertion semantics for the dependable systems evolution verifying compiler
P Chalin
Proceedings of the 29th international conference on Software Engineering, 23-33, 2007
272007
The relationship between object spatial profile and accommodation microfluctuations in emmetropes and myopes
M Day, LS Gray, D Seidel, NC Strang
Journal of Vision 9 (10), 5-5, 2009
262009
Non-null references by default in the Java Modeling Language
P Chalin, F Rioux
ACM SIGSOFT Software Engineering Notes 31 (2), 9, 2005
262005
Logical foundations of program assertions: what do practitioners want?
P Chalin
Third IEEE International Conference on Software Engineering and Formal …, 2005
252005
Copying, sharing, and aliasing
P Grogono, P Chalin
Object-Oriented Technology For Database And Software Systems, 77-89, 1995
251995
Integrating static checking and interactive verification: Supporting multiple theories and provers in verification
JR Kiniry, P Chalin, C Hurlin
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
242005
Model merging falls short of software engineering needs
S Barrett, P Chalin, G Butler
Proc. of the 2nd Workshop on Model-Driven Software Evolution, 2008
232008
An integrated verification environment for JML: Architecture and early results
P Chalin, PR James, G Karabotsos
Proceedings of the 2007 conference on Specification and verification of …, 2007
222007
The system can't perform the operation now. Try again later.
Articles 1–20