Patrice Chalin
Patrice Chalin
Dependable Software Research Group
No verified email - Homepage
Cited by
Cited by
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
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
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
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
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
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, ...
Are practitioners writing contracts?
P Chalin
Rigorous Development of Complex Fault-Tolerant Systems, 100-113, 2006
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
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
LTS semantics for use case models
D Sinnig, P Chalin, F Khendek
Proceedings of the 2009 ACM symposium on Applied Computing, 365-370, 2009
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
Improving JML: For a safer and more effective language
P Chalin
International Symposium of Formal Methods Europe, 440-461, 2003
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
A sound assertion semantics for the dependable systems evolution verifying compiler
P Chalin
29th International Conference on Software Engineering (ICSE'07), 23-33, 2007
Non-null references by default in the Java Modeling Language
P Chalin, F Rioux
Proceedings of the 2005 conference on Specification and verification of …, 2005
Logical foundations of program assertions: what do practitioners want?
P Chalin
Third IEEE International Conference on Software Engineering and Formal …, 2005
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
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
Copying, sharing, and aliasing
P Grogono, P Chalin
Object-Oriented Technology For Database And Software Systems, 77-89, 1995
JML support for primitive arbitrary precision numeric types: Definition and semantics
P Chalin
Journal of Object Technology 3 (6), 57-79, 2004
The system can't perform the operation now. Try again later.
Articles 1–20