Publications

•  
•  
• Printable version

Selected publications (still in the process of being reorganized): [Acceptance rates are in square brackets]

Journals and book chapters:

• D. Sinnig, F. Khendek, and P. Chalin, “Partial Order Semantics for Use Case and Task Models”, Formal Aspects of Computing, 2010.
• P. Chalin, “Engineering a Sound Assertion Semantics for the Verifying Compiler”, IEEE Transactions on Software Engineering, 36(2):275-287, 2010. DOI; appendix.
• 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)
• 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. DOI.
• P. Chalin, “Are the Logical Foundations of Verifying Compiler Prototypes Matching User Expectations?” Formal Aspects of Computing , 19(2):139-158, 2007.
• 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. DOI.

Conferences and workshops (chronological order, mostly):

• S. Barrett, P. Chalin, and G. Butler, “Table-Driven Detection and Resolution of Operation-Based Merge Conflicts in Mirador”. Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA), Birmingham, UK, 2011
• S. Barrett, P. Chalin, and G. Butler, “Decoupling Operation-Based Merging from Model Change Recording”. Proc. of the Models and Evolution Workshop (ME), Oslo, Oct. 2010. Presentation (PDF).
• S. Barrett, G. Butler, and P. Chalin, “Mirador: a Synthesis of Model Matching Strategies”. Proceedings of the International Workshop on Model Comparison in Practice (IWMCP), Malaga, Spain, July, 2010.
• 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 (ICST), Paris, April 2010. [26.5%]
• S. C. Barrett, G. Butler, and P. Chalin, “Techniques for Use Case Modeling in Fujaba”. Proceedings of the 2nd International Conference on Computer Engineering and Technology (ICCET), Chengdu, China, April 2010.
• 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 (TASE), 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 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.
• 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.