Through collaboration with other research groups, the DSRG engages in theoretical
and applied research in the areas of Software Engineering in general, and Software Verification in particular. Some of our active and planned
research projects are described here.
Software Engineering Director (Undergraduate Program)
Student inquiries should be directed to Ms. Wai Yee Chow who will set up an appointment with me if necessary.
Office hours: see here.
Teaching
- 2008, Fall: SOEN 343, SOEN 490.
- 2008, 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. 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 (to appear). [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 (to appear). [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 (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
Software Engineering Director (Undergraduate Program)
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 2008.10.15
