Courriel : Marc.Frappier@USherbrooke.ca
Téléphone : 819 821-8000, poste 62096
Télécopieur : 819 821-8200
Local : D4-1010-8
M. Sc. Informatique, Université de Sherbrooke (1990)
Ph. D. Informatique, Université d'Ottawa (1996)
Développement de méthodes et outils pour la construction de logiciels sûrs
1. Chane-Yack-Fa, R., Frappier, M., Mammar, A., Finkel, A.: Parameterized verification of monotone information systems, Formal Aspects of Computing, Springer-Verlag, 30(3-4), August 2018, 463–489.
2. Huynh, N., Frappier, M., Mammar, A., Laleau, R., Desharnais, J.: A Formal Validation of the RBAC ANSI 2012 Standard using B, Science of Computer Programming, 131 (1), December 2016, 76–93.
3. Mammar, A., Frappier, M.: Proof-Based Verification Approaches for Dynamic Properties: Application to the Information System Domain, Formal Aspects of Computing, Springer-Verlag, 27(2), 2015, 335-374.
4. Fraikin, B., Frappier, M., St-Denis, R.: Supervisory Control Theory with Alloy, Science of Computer Programming, Elsevier, 94, 2014, 217-237.
5. Frappier, M., Gervais, F., Laleau, R., Milhau, J.: Refinement Patterns for ASTDs, Formal Aspects of Computing, Springer-Verlag, 2014, 26(5) 919-941.
6. Milhau, J., Idani, A., Laleau, R., Labiadh, M.A., Ledru, L., Frappier, M.: Combining UML and B for the Formal Specification of an Access Control Filter, Innovations in Systems and Software Engineering, Springer-Verlag, 7(4), 2011, 303-313.