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)

• Génie logiciel
• Méthodes formelles de spécification et conception
• Sécurité informatique

Développement de méthodes et outils pour la construction de logiciels sûrs

• Spécification, raffinement, implémentation
• Vérification automatisée de propriété
• Détection d'intrusion
• Génération automatique de tests de vulnérabilité

Autres publications

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.