Publications

•  
•  
• Printable version

Selected publications (soon to be reorganized): [Acceptance rates are in square brackets]

• P. R. James and P. Chalin, “Faster and More Complete Extended Static Checking for the Java Modeling Language”, J. Automated Reasoning, 44(1-2):145-174, 2010. (SpringerLink)
• D. Sinnig, F. Khendek, and P. Chalin, “A Formal Approach to Generating Integrated Functional and User Interface Test Cases”. Proceedings of the International Conference on Software Testing, Verification, and Validation, Paris, April 2010 (to appear). [26.5%]
• P. Chalin, “Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less”. Proceedings of the Software Engineering and Formal Methods (SEFM), Hanoi, Vietnam, Nov. 2009 (slides). [26.7% (35.7%)]
• Robby and P. Chalin, “Preliminary Design of a Unified JML Representation and Software Infrastructure”. Proceedings of the 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy, July 2009. (Extended TR version)
• S. Barrett, D. Sinnig, P. Chalin, and G. Butler, “Merging of Use Case Models: Semantic Foundations”. Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, July 2009. [27%]
• P. R. James and P. Chalin, “Extended Static Checking in JML4: Benefits of Multiple-Prover Support”. Proceedings of the ACM Symposium on Applied Computing, Software Verification and Testing Track (SAC-SVT), Hawaii, March 2009. [26%]
• D. Sinnig, P. Chalin, and F. Khendek, “LTS Semantics for Use Case Models”. Proceedings of the ACM Symposium on Applied Computing, Requirements Engineering Track (SAC-RE), Hawaii, March 2009. [25%]
• P. R. James, P. Chalin, L. Giannas, and G. Karabotsos, “Distributed, Multi-threaded Verification of Java Programs”. Proceedings of the International Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Atlanta, Georgia (USA), Nov. 2008. [40%]
• G. Karabotsos, P. Chalin, P. R. James, and L. Giannas, “Total Correctness of Recursive Functions using JML4 FSPV”. Proceedings of the International Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Atlanta, Georgia (USA), Nov. 2008. [40%]
• P. Chalin, P. R. James, and G. Karabotsos, “JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML”. Proceedings of the International Conference on Verified Software: Theories, Tools, Experiments (VSTTE), Toronto, Canada, Oct. 6-9, 2008.
• P. Chalin, P. R. James, and F. Rioux, “Reducing the Use of Nullable Types through Non-null by Default and Monotonic Non-null”, IET Software Journal, 2(6):515-531, 2008 (preprint).
• P. Chalin, “Are the Logical Foundations of Verifying Compiler Prototypes Matching User Expectations?” Formal Aspects of Computing , 19(2):139-158, 2007.
• P. Chalin and F. Rioux, “JML Runtime Assertion Checking: Improved Error Reporting and Efficiency using Strong Validity”. Proceedings of the 15th International Symposium on Formal Methods (FM'08) , Turku , Finland , 2008. [23/106= 22%]

• P. Chalin, D. Sinnig, and K. Torkzadeh, “Capturing Business Transaction Requirements in Use Case Models”. Proceedings of the 23rd ACM Symposium on Applied Computing, Requirements Engineering Track (SAC-RE), Fortaleza , Ceará , Brazil , 2008. [~30%]
• P. Chalin and P. R. James, “Non-null References by Default in Java: Alleviating the Nullity Annotation Burden”. Proceedings of the 21st European Conference on Object-Oriented Programming (ECOOP) , Berlin , Germany , pp. 227-247, 2007. [25/160= 15.6%]
• P. Chalin, “A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler”. Proceedings of the International Conference on Software Engineering (ICSE) , pp. 23-33, 2007. [50/334= 15.0%] (DOI)
• D. Sinnig, P. Chalin, and F. Khendek, “Consistency between Task Models and Use Cases”. Proceedings of the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS) , Salamanca , Spain , March 22-24, 2007. [37/91=40.7%]
• D. Sinnig, P. Chalin, and F. Khendek, “Common Semantics for Use Cases and Task Models”. Proceedings of the Integrated Formal Methods (IFM) Conference , Oxford , UK , July 2-6, pp. 579-598, 2007. [32/85=37.6%]
• D. Sinnig, M. Wurdel, P. Forbrig, P. Chalin, and F. Khendek, “Practical Extensions for Task Models”. Proceedings of the Sixth International Workshop on TAsk MOdels and DIAgrams (TAMODIA'07), Toulouse , France , November 7-9, pp. 42-55, 2007. [~ 29.8%]
• J. R. Kiniry, A. E. Morkan, F. Fairmichael, D. Cochran, P. Chalin, M. Oostdijk, and E. Hubbers , “The KOA Remote Voting System: A Summary of Work To-Date”. Symposium on Trustworthy Global Computing (TGC) , Lucca , Italy , November 7-9, pp. 244-262, 2006.

• S. Barrett, P. Chalin, and G. Butler, “Model Merging Falls Short of Software Engineering Needs”. Proceedings of the Workshop on Model-Driven Software Evolution (MoDSE), 2008. (slides)
• P. Chalin, P. R. James, and G. Karabotsos, “An Integrated Verification Environment for JML: Architecture and Early Results”. Proceedings of the Sixth International Workshop on Specification and Verification of Component-Based Systems (SAVCBS), Cavtat, Croatia, Sept. 3-4, 2007.
• F. Rioux and P. Chalin, “Effective and Efficient Runtime Assertion Checking for JML Through Strong Validity”. Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP'07), Berlin, Germany, 2007.
• P. Chalin, P. R. James, and G. Karabotsos, “The Architecture of JML4, a Proposed Integrated Verification Environment for JML”, Dependable Software Research Group, Concordia University, ENCS-CSE-TR 2007-006. May, 2007.
• D. Sinnig, P. Chalin, and F. Khendek, “Consistency between Task Models and Use Cases”. Proceedings of the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS), Salamanca, Spain, March 22-24, 2007.
• D. Sinnig, P. Chalin, and F. Khendek, “Towards a Common Semantic Foundation for Use Cases and Task Models”. Proceedings of the International Workshop on Formal Methods for Interactive Systems (FMIS), Macau, China, October, 2006.
• P. Chalin, “Early Detection of JML Specification Errors using ESC/Java2”. Proceedings of the Workshop on the Specification and Verification of Component-Based Systems (SAVCBS), Portland, Oregon, November 10-11, pp. 25-32. ACM Press, 2006.
• P. Chalin, “Are Practitioners Writing Contracts?” in Rigorous Development of Complex Fault-Tolerant Systems, LNCS 4157, M. Butler, C. B. Jones, A. Romanovsky, and E. Troubitsyna, Eds.: Springer, pp. 100-113, 2006. (Preprint TR).
• J. R. Kiniry, A. E. Morkan, F. Fairmichael, D. Cochran, P. Chalin, M. Oostdijk, and E. Hubbers , “The KOA Remote Voting System: A Summary of Work To-Date”. Symposium on Trustworthy Global Computing (TGC) , Lucca , Italy , November 7-9, 2006.
• J. R. Kiniry, P. Chalin, and C. Hurlin, "Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification." In Proceedings of the International Conference on Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, October 10-13, 2005.
• P. Chalin, "Logical Foundations of Program Assertions: What do Practitioners Want?" In Proceedings of the 3rd International Conference on Software Engineering and Formal Methods (SEFM'05), Koblenz, Germany, September 5-9, 2005 (preprint TR).
• P. Chalin and F. Rioux, "Non-null References by Default in the Java Modeling Language." In Proceedings of the Workshop on the Specification and Verification of Component-Based Systems (SAVCBS'05), Lisbon, Portugal, Sept., 2005. (Updated version: ENCS-CSE TR 2005-004, December 2005.)
• P. Chalin, "Reassessing JML’s Logical Foundation." In Proceedings of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP'05), Glasgow, Scotland, July, 2005.
• F. Rioux and P. Chalin, "Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study." In Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05), Valencia, Spain, March 14-15, 2005. Electronic Notes in Theoretical Computer Science, 157(2):119-132, 2006.