Patrice Chalin

发表

Patrice Chalin, Frédéric Rioux, 2006, SAVCBS '05.
Perry R. James, Patrice Chalin, George Karabotsos, 2008 .
Perry R. James, Patrice Chalin, George Karabotsos, 2008 .
Ferhat Khendek, Daniel Sinnig, Patrice Chalin, 2007, FMIS@ICFEM.
Dermot Cochran, Patrice Chalin, Joseph Kiniry, 2006, TGC.
Ferhat Khendek, Peter Forbrig, Daniel Sinnig, 2007, TAMODIA.
Patrice Chalin, Perry R. James, Frédéric Rioux, 2008, IET Softw..
Patrice Chalin, Perry R. James, Patrice Chalin, 2007, ECOOP.
Patrice Chalin, Patrice Chalin, 2010, IEEE Transactions on Software Engineering.
Patrice Chalin, Patrice Chalin, 2007, 29th International Conference on Software Engineering (ICSE'07).
Gary T. Leavens, Erik Poll, Patrice Chalin, 2005, FMCO.
Patrice Chalin, Jooyong Yi, Robby, 2010, International Journal on Software Tools for Technology Transfer.
Patrice Chalin, Perry R. James, Patrice Chalin, 2009, SAC '09.
Patrice Chalin, Patrice Chalin, 2007, Formal Aspects of Computing.
Patrice Chalin, Patrice Chalin, 2006, RODIN Book.
Patrice Chalin, Patrice Chalin, 2004, J. Object Technol..
Brandon Irwin, Patrice Chalin, Nicholas Thompson, 2016, Journal of medical Internet research.
Patrice Chalin, Perry R. James, Patrice Chalin, 2010, Journal of Automated Reasoning.
Ferhat Khendek, Daniel Sinnig, Patrice Chalin, 2009, SAC '09.
Patrice Chalin, John Hatcliff, Brian R. Larson, 2013, NASA Formal Methods.
Peter Grogono, Patrice Chalin, P. Grogono, 1994, COODBSE.
Patrice Chalin, Patrice Chalin, 2005 .
Patrice Chalin, Patrice Chalin, 2003, FME.
Patrice Chalin, Patrice Chalin, 2006, SAVCBS '06.
Patrice Chalin, Patrice Chalin, 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Ferhat Khendek, Daniel Sinnig, Patrice Chalin, 2011, Formal Aspects of Computing.
Ferhat Khendek, Daniel Sinnig, Patrice Chalin, 2010, 2010 Third International Conference on Software Testing, Verification and Validation.
Gregory Butler, Stephen Barrett, Daniel Sinnig, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Daniel Sinnig, Patrice Chalin, Kianoush Torkzadeh, 2008, SAC '08.
Ferhat Khendek, Daniel Sinnig, Patrice Chalin, 2007, IFM.
Patrice Chalin, Perry R. James, Patrice Chalin, 2009, SAVCBS '09.