Teaching
- 2009-2010: sabbatical leave.
- 2009, Winter: SOEN 344, SOEN 490.
- 2008, Fall: SOEN 343, SOEN 490. Winter: SOEN 344, SOEN 490.
- 2007, Fall: SOEN 342 (coordinator), SOEN 343, SOEN 490; Winter: Coordinator & instructor of SOEN 344, SOEN 390.
- 2006, Fall: SOEN 342 (coordinator & instructor); SOEN 343 (coordinator); Winter: SOEN 344, SOEN 390, (COMP 7481).
- 2005, Fall: coordinator & instructor for SOEN 342, SOEN 343; Winter: SOEN 344, (COMP 7451), SOEN 390 (vice coordinator).
- 2004, Fall : SOEN 342-H, SOEN 343-H; Winter: SOEN 344, COMP 7451, SOEN 390 (vice coordinator).
- 2003, Fall : SOEN 342-H, SOEN 343; Winter : SOEN 344.
- 2002, Fall SOEN 342; Winter SOEN 344.
Publications, Reports and Notes (selected, and in the process of being reorganized)
See also DBPL, ACM (author page; keyword search). [Acceptance rates are in square brackets]
- 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, 2009. Slides (PPT, PDF).
- 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)
- 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), November, 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), November, 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, October 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 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.
- P. Chalin. Ensuring Continued Mainstream Use of Formal Methods: An Assessment, Roadmap and Issues. Dependable Software Research Group, Concordia University. TR 2005-001. February 2005.
- P. Chalin. JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics, in Journal of Object Technology, vol. 3, no. 6, June 2004, pp. 57-79.
- P. Chalin. Improving JML: For a Safer and More Effective Language. In Stefania Gnesi, Keijiro Araki, and Dino Mandrioli (Eds.), FME 2003, International Symposium of Formal Methods Europe, Pisa, Italy, Sept. 8-14, 2003 (preprint TR).
Contact Information
Patrice Chalin, Associate Professor
Faculty of Engineering and Computer Science
Department of Computer Science and Software Engineering, EV 3.215
Concordia University
1455 de Maisonneuve Blvd. West,
Montreal, Quebec, Canada
H3G 1M8
Tel.: +1 514-848-2424 extension 3004.
Fax: +1 514-848-2830
Last updated 2009.11.14
