| 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 | 348 | 2006 |
| JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ... | 158 | 2008 |
| 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 | 96 | 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 | 57 | 2013 |
| 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 | 46 | 2007 |
| Are practitioners writing contracts? P Chalin Rigorous Development of Complex Fault-Tolerant Systems, 100-113, 2006 | 44 | 2006 |
| A sound assertion semantics for the dependable systems evolution verifying compiler P Chalin 29th International Conference on Software Engineering (ICSE'07), 23-33, 2007 | 37 | 2007 |
| 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 | 36 | 2008 |
| 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 | 35 | 2007 |
| LTS semantics for use case models D Sinnig, P Chalin, F Khendek Proceedings of the 2009 ACM symposium on Applied Computing, 365-370, 2009 | 33 | 2009 |
| 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 | 31 | 2008 |
| 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 | 31 | 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 | 31 | 2005 |
| Improving JML: For a safer and more effective language P Chalin FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003 | 31 | 2003 |
| Logical foundations of program assertions: what do practitioners want? P Chalin Third IEEE International Conference on Software Engineering and Formal …, 2005 | 30 | 2005 |
| JML runtime assertion checking: Improved error reporting and efficiency using strong validity P Chalin, F Rioux International Symposium on Formal Methods, 246-261, 2008 | 29 | 2008 |
| JML support for primitive arbitrary precision numeric types: Definition and semantics P Chalin Journal of Object Technology 3 (6), 57-79, 2004 | 28 | 2004 |
| Copying, sharing, and aliasing P Grogono, P Chalin Object-Oriented Technology For Database And Software Systems, 77-89, 1995 | 28 | 1995 |
| 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 | 26 | 2012 |
| 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 | 24 | 2013 |
