New affiliation
As of August 2011, I am an Associate Professor in the Computing and Information Sciences Department of Kansas State University also joining the SAnToS Laboratory. My KSU faculty page is here.
Teaching
- 2010-2011: SOEN 344, 387, 490, (COMP 7481).
- 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 (selected)
See also DBPL, ACM (author page; keyword search). A more complete list is given here.
- 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.
- D. Sinnig, F. Khendek, and P. Chalin, “Partial Order Semantics for Use Case and Task Models”, Formal Aspects of Computing, 2010.
- 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.
- 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, “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%)]
- 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.
Contact Information (no longer valid, see new affilliation above)
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 2011.08.16
