Follow
Patrice Chalin
Patrice Chalin
Dependable Software Research Group
No verified email - Homepage
Title
Cited by
Cited by
Year
Beyond assertions: Advanced specification and verification with JML and ESC/Java2
P Chalin, JR Kiniry, GT Leavens, E Poll
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
3502006
JML reference manual
GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...
1582008
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
962007
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
592013
Practical extensions for task models
D Sinnig, M Wurdel, P Forbrig, P Chalin, F Khendek
Task Models and Diagrams for User Interface Design: 6th International …, 2007
462007
Are practitioners writing contracts?
P Chalin
Rigorous Development of Complex Fault-Tolerant Systems, 100-113, 2006
452006
A sound assertion semantics for the dependable systems evolution verifying compiler
P Chalin
29th International Conference on Software Engineering (ICSE'07), 23-33, 2007
382007
JML4: Towards an industrial grade IVE for Java and next generation research platform for JML
P Chalin, PR James, G Karabotsos
Verified Software: Theories, Tools, Experiments: Second International …, 2008
362008
The KOA remote voting system: A summary of work to date
JR Kiniry, AE Morkan, D Cochran, F Fairmichael, P Chalin, M Oostdijk, ...
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007
352007
LTS semantics for use case models
D Sinnig, P Chalin, F Khendek
Proceedings of the 2009 ACM symposium on Applied Computing, 365-370, 2009
342009
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
312008
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
312007
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
312005
Improving JML: For a safer and more effective language
P Chalin
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
312003
Logical foundations of program assertions: what do practitioners want?
P Chalin
Third IEEE International Conference on Software Engineering and Formal …, 2005
302005
JML runtime assertion checking: Improved error reporting and efficiency using strong validity
P Chalin, F Rioux
International Symposium on Formal Methods, 246-261, 2008
292008
JML support for primitive arbitrary precision numeric types: Definition and semantics
P Chalin
Journal of Object Technology 3 (6), 57-79, 2004
282004
Copying, sharing, and aliasing
P Grogono, P Chalin
Object-Oriented Technology For Database And Software Systems, 77-89, 1995
281995
Requirements specification for apps in medical application platforms
B Larson, J Hatcliff, S Procter, P Chalin
2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012
262012
Open source patient-controlled analgesic pump requirements documentation
BR Larson, J Hatcliff, P Chalin
2013 5th International Workshop on Software Engineering in Health Care (SEHC …, 2013
242013
The system can't perform the operation now. Try again later.
Articles 1–20