Marc Frappier

Professeur titulaire

Page personnelle

Coordonnées

Courriel : Marc.Frappier@USherbrooke.ca
Téléphone : 819 821-8000, poste 62096
Télécopieur : 819 821-8200
Local : D4-1010-8

Formation

M. Sc. Informatique, Université de Sherbrooke (1990)
Ph. D. Informatique, Université d'Ottawa (1996)

Thèmes de recherche

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

Recherches actuelles

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é

Publications

Autres publications

1.    Chane-Yack-Fa, R., Frappier, M., Mammar, A., Finkel, A.: Parameterized verification of monotone information systemsFormal Aspects of Computing, Springer-Verlag30(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 Programming131 (1), December 2016, 76–93.

3.    Mammar, A., Frappier, M.: Proof-Based Verification Approaches for Dynamic Properties: Application to the Information System DomainFormal Aspects of Computing, Springer-Verlag27(2), 2015, 335-374.

4.    Fraikin, B., Frappier, M., St-Denis, R.: Supervisory Control Theory with AlloyScience of Computer Programming, Elsevier, 94, 2014, 217-237.

5.    Frappier, M., Gervais, F., Laleau, R., Milhau, J.: Refinement Patterns for ASTDsFormal Aspects of Computing, Springer-Verlag2014, 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.