Journals

  1. Amel Mammar, Marc Frappier, Régine Laleau: An Event-B Model of an Automotive Adaptive Exterior Light System, Journal of Software Tools for Technology Transfer, Springer, to appear
  2. Amel Mammar, Marc Frappier: Modeling of a Speed Control System using Event-B, Journal of Software Tools for Technology Transfer, Springer, to appear
  3. Krings, S., Leuschel, M., Schmidt, J., Schneider, D., Frappier, M.: Translating Alloy and Extensions to Classical B, Science of Computer Programming, Elsevier, 188(1), March 2020, PDF.
  4. Tueno Fotso, S.J., Frappier, M. Mammar, A., Laleau, R.: Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach, Journal of Software Tools for Technology Transfer, Springer, 22, pp. 349–363 (2020.
  5. Mammar, A., Frappier, M., Laleau, R., Tueno Fotso, S.J. : A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard, Journal of Software Tools for Technology Transfer, Springer, 22, pp. 333–347 (2020).
  6. Nganyewou Tidjon, L., Frappier, M., Mammar, A.: Intrusion Detection Systems: A Cross-Domain Overview, IEEE Communications Surveys and Tutorials, 21(4), 2019, pp. 3639-3681.
  7. Huynh, N., Frappier, M., Pooda., H., Mammar, A., Laleau, R. : SGAC: a Multi-Layered Access Control Model with Conflict Resolution Strategy, The Computer Journal, British Computer Society, Oxford University Press, 62(12), December 2019, pp. 1707–1733.
  8. 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, pp. 463–489.
  9. 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, (1), December 2016, pp. 76–93.
  10. Mammar, A., Frappier, M.: Proof-Based Verification Approaches for Dynamic Properties: Application to the Information System Domain, Formal Aspects of Computing, Springer-Verlag, (2), 2015, pp. 335-374.
  11. Fraikin, B., Frappier, M., St-Denis, R.: Supervisory Control Theory with Alloy, Science of Computer Programming, Elsevier, 94, 2014, pp. 217-237.
  12. Frappier, M., Gervais, F., Laleau, R., Milhau, J.: Refinement Patterns for ASTDs, Formal Aspects of Computing, Springer-Verlag, 2014, 26(5) pp. 919-941.
  13. 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, pp. 303-313.
  14. Embe Jiague, M., Frappier, M.,Gervais, F., Laleau, R., St-Denis, R.: Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments, International Journal of Systems and Service-Oriented Engineering, (2) (2011) pp. 37-59.
  15. Konopacki, P., Frappier, M., Laleau., R.: Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. RSTI - Ingénierie des Systèmes d'Information (ISI), Hermès-Lavoisier 2010, (3), pp. 113-136.
  16. Gervais, F., Frappier, M., Laleau, R.: Generating Relational Database Transactions from EB3 Attribute Definitions, Software and System Modeling, Springer-Verlag, 8(3), July 2009, pp. 423-445.
  17. Fraikin, B., Frappier, M.: Efficient Symbolic Computation of Process Expressions,  Science of Computer Programming, Elsevier, 74(9), 1 July 2009, pp. 723-753.
  18. Frappier, M., Gervais, F., Laleau, R., Fraikin, B., St-Denis, R.: Extending Statecharts with Process Algebra Operators, Innovations in Systems and Software Engineering, Springer-Verlag, 4(3), October 2008, pp. 285-292
  19. Evans, N., Treharne, H., Laleau, R., Frappier, M.: Applying CSP||B to Information Systems, Software and System Modeling, Springer-Verlag, 7(1), February 2008, pp. 85-102.
  20. Fraikin, B., Frappier, M., Laleau, R.: State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3, Software and Systems Modeling, Springer-Verlag, 4(3), July 2005, pp. 236-257.
  21. Diab, H., Koukane, F., Frappier, M., St-Denis, R.: µcROSE: Automated Measurement of COSMIC-FFP for Rational Rose RealTime, Information and Software Technology, Elsevier, 47(3), March 2005, pp.  151-166.
  22. Frappier, M., St-Denis, R.: EB3: an Entity-Based Black-Box Specification Method for Information Systems, Software and Systems Modeling, Springer-Verlag, 2(2), July 2003, pp. 134-149.
  23. Mili, R., Desharnais, J., Frappier, M., Mili, A.: Semantic Distance Bewtween Specifications. Theoretical Computer Science, Elsevier, 247(1-2), September 2000, 257-276.
  24. Ben Ayed, R., Desharnais, J., Frappier, M., Mili, A.: A Calculus of Program Adaptation and Its Application. Science of Computer Programming, Elsevier, 38(1-3), September 2000, 73-123..
  25. Desharnais, J., Frappier, M., Khédri, R., Mili, A.: Integration of Sequential Scenarios. IEEE Transactions on Software Engineering, 24(9), September 1998, pp. 695-708.
  26. Frappier, M., Mili, A., Desharnais, J.: Unifying Program Construction and Modification. Logic Journal of the IGPL (International Interest Group in Pure and Applied Logics), Oxford University Press, 6(2), pp. 317-340 (1998). (79K).
  27. Frappier, M., Mili, A., Desharnais, J.: A Relational Calculus for Program Construction by Parts. Science of Computer Programming, Elsevier, 26(1-3) (1996) pp. 237-254.
  28. Frappier, M.: Gestion de la maintenabilité. Expertise informatique 2(1) (1996) 25-27. (27K)
  29. Frappier, M., St-Denis, R.: Transformation partielle de spécifications sous Refine. ICO: Intelligence Artificielle et Sciences Cognitives au Québec 3(3) (1991) pp. 19-31.

    30. Books

  30. Frappier, M.; Glässer, U.; Khurshid, S.; Laleau, R.; Reeves, S. (Eds.) : Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Lecture Notes in Computer Science  5977, Springer-Verlag, 2010.
  31. Frappier, M., Habrias, H. (Eds): Software Specification Methods : An Overview Using a Case Study, Hermes Science Publishing, London, England, ISBN: 1905209347, Publication Date: April 2006.
  32. Desharnais, J., Frappier, M., McCaull, W. (Eds): Relational Methods in Computer Science : The Québec Seminar, Methodos, ISBN 3-934641-04-0, 2002.
  33. Frappier, M., Habrias, H. (Eds): Software Specification Methods: An Overview Using a Case Study, Springer-Verlag, ISBN 1-85233-353-7, 2000.

    34. Guest Editor

  34. Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (Eds.) : ABZ2010 Special issue, Science of Computer Programming, 78(3): 270-271 (2013).
  35. Desharnais, J., Frappier, M., McCaull, W. (Eds): Relational Methods in Computer Science, special issue of Information Sciences, 139(3-4), December 2001.

    36. Conferences and Workshops

  36. Fayçal Baba, Amel Mammar, Marc Frappier, Regine Laleau: Modeling and Verification of Solidity Smart Contracts with the B Method, 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024), IEEE, Limassol, Cyprus, 19-21 June, 2024, to appear
  37. Quelen Cartellier, Marc Frappier, Amel Mammar: Proving Local Invariants in ASTDs. 24th International Conference on Formal Engineering Methods (ICFEM 2023), Lecture Notes in Computer Science 14308, Springer 2023, pp. 228-246
  38. D. de Azevedo Oliveira, M. Frappier: Modelling an Automotive Software System with TASTD. 8th International Conference on Rigorous State Based Methods (ABZ 2023), Nancy, France, May 30-June 02, 2023, Lecture Notes in Computer Science 14010, Springer, pp. 124-141.
  39. D. de Azevedo Oliveira, M. Frappier: TASTD: a real-time extension for ASTD. 8th International Conference on Rigorous State Based Methods (ABZ 2023), Nancy, France, May 30-June 02, 2023, Lecture Notes in Computer Science 14010, Springer, pp. 142-159
  40. A. Mammar, M. Frappier and R. Laleau: An Event-B Model of an Automotive Adaptive Exterior Light System, 7th International Conference on Rigorous State Based Methods (ABZ 2020), Ulm, Germany, May 27-29, 2020, Lecture Notes in Computer Science 12071, Springer, pp. 351–366.
  41. C. El Jabri, M. Frappier, T. Ecarot, P. M. Tardif: Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. Theoretical Aspects of Software Engineering - 16th International Symposium (TASE 2022), Cluj-Napoca, Romania, July 8-10, 2022, Lecture Notes in Computer Science 13299, Springer 2022, pp. 274-289
  42. D. Kanda Nkashama, A. Soltani, J.-C. Verdier, M. Frappier, P. M. Tardif, F. Kabanza: Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems, ICML Workshop on Machine Learning for Cybersecurity, 39th International Conference on Machine Learning (ICML2022), July 22, 2022, Baltimore, USA.
  43. M. Alvarez, J.-C. Verdier, D. Kanda Nkashama, M. Frappier, P. M. Tardif, F. Kabanza: A Revealing Large-Scale Evaluation of Unsupervised Anomaly Detection Algorithms, Machine Learning Evaluation Standards Workshop, 10th International Conference on Learning Representations (ICLR2022), April 29, 2022, online.
  44. Létourneau, L.-S., El Jabri, C., Frappier, M., Tardif, P.-M., Lépine, G., Boisvert, G.: Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study, Workshop on Data-Centric Dependability and Security, 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, June 21, 2021, Taipei, Taiwan, pp. 15-18.
  45. A. Mammar, M. Frappier and R. Laleau: An Event-B Model of an Automotive Adaptive Exterior Light System, 7th International Conference on Rigorous State Based Methods (ABZ 2020), Ulm, Germany, May 27-29, 2020, Lecture Notes in Computer Science 12071, Springer, pp. 351–366.
  46. A. Mammar, M. Frappier: Modeling a Speed Control System using Event-B, 7th International Conference on Rigorous State Based Methods (ABZ 2020), Ulm, Germany, May 27-29, 2020, Lecture Notes in Computer Science 12071, Springer, pp. 367–381.
  47. D. de Azevedo Oliveira, M. Frappier: Verifying SGAC Access Control Policies: a Comparison of ProB, Alloy and Z3. 7th International Conference on Rigorous State Based Methods (ABZ 2020), Ulm, Germany, May 27-29, 2020, Lecture Notes in Computer Science 12071, Springer, pp. 223-229.
  48. NganyewouTidjon, L., Frappier, M., Mammar, A.: Intrusion Detection using ASTDs, The 34-th International Conference on Advanced Information Networking and Applications (AINA-2020),  April 15 - 17, 2020, Caserta, Italy, AISC - Advances in Intelligent Systems and Computing, vol 1151,  Springer-Verlag, pp. 1397-1411, PDF.
  49. S.J. Tueno Fotso, R. Laleau, M. Frappier, A. Mammar, F. Thibodeau and M. Nsangou Mouchili: Assessment of a Formal Requirements Modeling Approach on a Transportation System, 21st International Conference on Formal Engineering Methods (ICFEM 2019), November 5th-9th, 2019, Shenzhen, China, Lecture Notes in Computer Science 11852, Springer-Verlag, pp. 470-486.
  50. S.J. Tueno Fotso, R. Laleau, H.R. Barradas, M. Frappier, A. Mammar: A Formal Requirements Modeling Approach: Application to Rail Communication, 14th International Conference on Software Technologies - ICSOFT 2019, Prague, July 26-28, 2019, INSTICC, pp. 170-177
  51. L. Nganyewou Tidjon, M. Frappier, M. Leuschel and A. Mammar: Extended Algebraic State-Transition Diagrams,23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, Australia, Dec 12-14, 2018, IEEE Computer Society, pp. 146-155.
  52. S. J. Tueno Fotso, M. Frappier, R. Laleau and A. Mammar: Back Propagating B System Updates on SysML/KAOS Domain Models,23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Melbourne, Australia, 2018, IEEE Computer Society, pp. 160-169.
  53. Tueno Fotso, S.J., Frappier, M., Laleau, R., Mammar, A., Leuschel, M.: Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions, International Conference on Integrated Formal Methods (IFM2018), Maynooth University, Ireland,  September 5-7, 2018, Lecture Notes in Computer Science   11023, Springer-Verlag, pp. 377-397.
  54. Tueno Fotso, S.J., Mammar, A., Laleau, R., Frappier, M.: Event-B Expression and Validation of Translation Rules Between SysML/KAOS Domain Models and B System Specifications, Abstract State Machines, Alloy, B and Z, 6th International Conference (ABZ 2018), Southampton, UK, June 5-8, 2018, Lecture Notes in Computer Science 10817, Springer-Verlag, pp. 55-70.
  55. Tueno Fotso, S.J., Frappier, M. Mammar, A., Laleau, R.: Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach, Abstract State Machines, Alloy, B and Z, 6th International Conference (ABZ 2018), Southampton, UK, June 5-8, 2018, Lecture Notes in Computer Science 10817, Springer-Verlag, pp. 262-276.
  56. Mammar, A., Frappier, M., Laleau, R., Tueno Fotso, S.J. :An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard, Abstract State Machines, Alloy, B and Z, 6th International Conference (ABZ 2018), Southampton, UK, June 5-8, 2018, Lecture Notes in Computer Science 10817, Springer-Verlag, pp.  353-366.
  57. Krings, S., Schmidt, J., Brings, C., Frappier, M. Leuschel, M.:  A Translation from Alloy to B, Abstract State Machines, Alloy, B and Z, 6th International Conference (ABZ 2018), Southampton, UK, June 5-8, 2018, Lecture Notes in Computer Science 10817, Springer-Verlag, pp. 71-86.
  58. Kenfack Ngankam, H., Pigot, H. Frappier, M., Oliveira, C.H.S., Giroux, S.:  Formal Specification for Ambient Assisted Living Scenarios, 11th International Conference on Ubiquitous Computing and Ambient ?Intelligence (UCAmI), Philadelphia, PA, USA, November 7-10, 2017, Lecture Notes in Computer Science 10586, Springer-Verlag, pp. 508-519.
  59. Tueno Fotso, S.J., Laleau, R., Mammar, A., Frappier, M.: Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach, 7th International Workshop on Model-Driven Requirements Engineering (MoDRE), Lisbon, Portugal, September 4, 2017, IEEE Computer Society, pp. 1-5.
  60. Huynh, N., Frappier, M., Mammar, A., Laleau, R.: Verification of SGAC Access Control Policies using Alloy and ProB, 18th IEEE International Symposium on High Assurance Systems Engineering (HASE), IEEE Computer Society, Singapore, January 12-14, 2017, pp.  120-123.
  61. Huynh, N., Frappier, M., Pooda, H., Mammar, A., Laleau, R.: SGAC: A Patient-Centered Access Control Method, 10th IEEE International Conference on Research Challenges in Information Science (RCIS), Grenoble, France, June 1-3, 2016, pp. 385-396.
  62. Fayolle, T., Frappier, M., Gervais, F.,  Laleau, R.: Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods, Abstract State Machines, Alloy, B and Z, 5th International Conference (ABZ 2016), Linz, Austria, May 23-27, 2016, Lecture Notes in Computer Science 9675, Springer-Verlag, pp. 394-408.
  63. Savary, A., Frappier, M., Leuschel, M., and Lanet, J.-L.: Model-Based Robustness Testing in Event-B using Mutation, 13th International Conference on Software Engineering and Formal Methods (SEFM 2015),  York, UK, 7-11 September 2015, Lecture Notes in Computer Science 9276, Springer-Verlag, pp. 132-147.
  64. Fayolle, T., Frappier, M.,  Gervais, F.,  and Laleau, R.: Formal refinement of extended state machines, Refinement Workshop, 22 June 2015, Oslo, Norway (co-located with FM2015), Electronic Proceedings in Theoretical Computer Science 209, pp. 1-16.
  65. Diagne, F., Mammar, A., Frappier, M.: A Tool for Verifying Dynamic Properrties in B, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014),  Grenoble, France, 1-5 September 2014, Lecture Notes in Computer Science 8702, Springer-Verlag, pp.  290-295.
  66. Huynh, N., Frappier, M., Mammar, A., Laleau, R., Desharnais, J.: Validating the RBAC ANSI 2012 Standard using B, Abstract State Machines, Alloy, B and Z, 4th International Conference (ABZ 2014), Toulouse, France, June 2-6, 2014, Lecture Notes in Computer Science 8477, Springer-Verlag, pp. 255-270.
  67. Mammar, A., Frappier, M.: Verifying the Precedence Property Pattern Using the B Method, 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), IEEE Computer Society, Miami, FL, USA, 2014, pp. 229 - 233.
  68. Savary, A., Frappier, M., Lanet, J.-L.: Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. International Conference on Integrated Formal Methods (IFM2013), Turku, Finland, June 10-14, 2013, Lecture Notes in Computer Science 7940, Springer-Verlag, pp. 223-237.
  69. Mammar, A., Frappier, M., Chane-Yack-Fa, R.: Proving the Absence Property Pattern Using the B Method, 14th IEEE International Symposium on High Assurance Systems Engineering (HASE), IEEE Computer Society, Omaha, NE, USA, October 25-27, 2012, pp. 167-170.
  70. Frappier, M., Mammar, A.: An Assertions-Based Approach to Verifying the Absence Property Pattern, 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE), IEEE Computer Society, Nov 27-30, 2012 Dallas, TX USA, pp. 361-370.
  71. Milhau, J., Gervais, F., Laleau, R., Frappier, M. : Refinement Patterns for ASTD, 5th International workshop UML and Formal Methods (UML&FM'2012), ACM SIGSOFT Software Engineering Notes 37(4), July 2012, pp. 1-8, 2012.
  72. Ferrier-Belhaouari, H., Konopacki, P., Laleau, R., Frappier, M. : A Design by Contract Approach to Verify Access Control Policies, 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, July 18-20, 2012, IEEE Computer Society, pp.  263-272, 2012.
  73. Fraikin, B., Frappier, M., St-Denis, R.: Modeling the Supervisory Control Theory with Alloy, Abstract State Machines, Alloy, B and Z, 3rd International Conference, ABZ 2012, Pisa, Italy, June 19-21, 2012, Lecture Notes in Computer Science 7316, Springer-Verlag, pp.  94-107, 2012.
  74. Frappier, M., Mammar, A.: Proving Non-Interference on Reachability Properties: a Refinement Approach, 18th Asia-Pacific Software Engineering Conference (APSEC 2011), IEEE  Computer Society, December 5-8, 2011, pp. 25-32.
  75. Côté, D., Fraikin, B., Frappier, M., St-Denis, R.: A SAT-based Approach for the Construction of Reusable Control System Components.  16th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011), Trento, Italy, August 29-30, 2011, Lecture Notes in Computer Science 6959, Springer-Verlag,  pp. 52-67, 2011.
  76. Embe Jiague, M., Frappier, M., Gervais, F., Konopacki, P., Milhau, J., Laleau, R., St-Denis, R.: A four-concern-oriented secure IS development approach. In 8th International Joint Conference on e-Business and Telecommunications (ICETE 2011), Seville, Spain, 18-21 July. INSTICC Press, volume SECRYPT 2011, pp. 464-471, 2011.
  77. Konopacki, P., Frappier, M., Laleau, R.: Expressing Access Control Policies with an Event-Based Approach, C. Salinesi and O. Pastor (Eds.): CAiSE 2011 Workshops, LNBIP 83, Springer-Verlag, pp. 607?621, 2011.
  78. Savary, A., Frappier, M., Lanet, J.-L.: Automatic generation of vulnerability tests for the java card byte code verifier, 6th Int.Conference on Network and Information Systems Security, IEEE Computer Society, Larochelle, France, May 18-21, 2011, pp. 1-7.
  79. Frappier, M., Diagne, F., Mammar, A.:  Proving Reachability in B using Substitution Refinement, B 2011 Workshop, Limerick, Ireland, June 21, 2011, Electronic Notes in Theoretical Computer Science, Elsevier, 280(14), December 2011, 47-56.
  80. de Champs, T., Abdulrazak, B., Pigot, H., Ouenzar, M., Frappier, M., Fraikin, B.: Pervasive Safety Application with Model Checking in Smart Houses: the INOVUS Intelligent Oven, Workshop on Smart Environments to Enhance Health Care, in 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM), IEEE Computer Society, pp. 586-591.
  81. Mammar, A., Frappier, M., Diagne, F.: A Proof-Based Approach to Verifying Reachability Properties, 26th ACM Symposium on Applied Computing (SAC'11),Tunghai University, TaiChung, Taiwan. March 21-25, 2011, pp. 1651-1655.
  82. M. Embe Jiague, Frappier, M., Gervais, F., Laleau, R., St-Denis, R.: From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment, 1st International Symposium on Web Intelligent Systems & Services (WISS 2010), December 12-14, 2010, Hong Kong, Lecture Notes in Computer Science 6724, Springer-Verlag, pp. 126-141, The original publication is available at www.springerlink.com.
  83. Mammar, A., Diagne, F., Frappier, M.: A Proof-Based Approach to Verifying Reachability Properties, Workshop on B Dissemination 2010, Natal, Brazil, November 8-9, 9 pages.
  84. Michelin, P., Frappier, M.: Distinction-Based and Verification-Assisted Knowledge Modeling, Third IEEE International Workshop on Requirements Engineering and Law, Sydney, Australia, 28 September 2010, pp. 11-16.
  85. Frappier, M., Fraikin, B., Chossart, R., Chane-Yack-Fa, R., Ouenzar, M.: Comparison of Model Checking Tools for Information Systems, 12th International Conference on Formal Engineering Methods (ICFEM 2010), 16-19 November 2010, Shanghai, China, Lecture Notes in Computer Science 6396, Springer-Verlag, 2010, pp. 581-596.The original publication is available at www.springerlink.com
  86. Milhau, J., Frappier, Laleau, R.: Systematic translation rules from ASTD to Event-B, 8th International Conference on Integrated Formal Methods (IFM2010), 11-14 October, Nancy, France, 2010, Lecture Notes in Computer Science 6396, Springer-Verlag, 2010, pp. 245-259.The original publication is available at www.springerlink.com
  87. Amar, P., Frappier, M., Lartaud, C., Milhau, J.: Integrating ASTD in the Rodin Platform, Rodin User and Developer Workshop 2010, 21-22 September 2010, Düsseldorf, Germany.
  88. M. Embe Jiague, Frappier, M., Gervais, F., Konopacki, P., Milhau, J., Laleau, R., St-Denis, R.: Model-Driven Engineering of Functional Security Policies, International Conference on Enterprise Information Systems (ICEIS 2010), Funchal, Madeira, June 8-12, 2010.
  89. Salabert, K., Milhau, J., Fraikin, B., Frappier, M., Gervais, F., Laleau, R.: iASTD : un interpréteur pour les ASTD, Atelier Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), 9-11 June, 2010, Poitiers, France, 3-6.
  90. Konopacki, P. , Frappier, M. , Laleau, R. :  Modélisation de politiques de sécurité à l'aide d'une algèbre de processus, Informatique des organisations et systèmes d?information et de décision (INFORSID 2009), Toulouse, mai 2009.
  91. P. Michelin, M. Frappier : Formal modeling for deploying improvement and innovation in information technology, International Conference on Knowledge Management and Information Sharing (KMIS 2009),  INSTICC, Funchal, Madeira, Oct. 6-8, 2009, 318-323.
  92. Milhau, J., Fraikin, B., Frappier, M.: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions, 7th International Conference on Integrated Formal Methods (IFM2009),  Düsseldorf, Germany, 16-19 February, 2009, Lecture Notes in Computer Science 5423, Springer-Verlag, 2009, 337-351.
  93. Fraikin, B., Frappier, M.: Efficient Symbolic Execution of Large Quantifications in a Process Algebra,  9th International Conference on Formal Engineering Methods (ICFEM 2007), 13-15 November 2007 Florida Atlantic University Boca Raton, Florida, USA, Lecture Notes in Computer Science 4789, Springer-Verlag, 2007, 327-344..
  94. Frappier, M., Fraikin, B., Gervais, F., Laleau, R., Richard, M., : Synthesizing Information Systems: the APIS Project, First International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, April 23-26, 2007, 73-84.
  95. Gervais, F., Frappier, M., Laleau, R.: Refinement of EB3 process patterns into B specifications.7th International B Conference (B 2007), Besançon, France, January17-19 2007,  Lecture Notes in Computer Science 4355, Springer-Verlag, 2007, 201-215.
  96. Fraikin, B., Frappier, M.: Efficient Interpretation of Large Quantifications in a Process Algebra, 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2006), May 23-24, 2006, Paphos, Cyprus, INSTICC Press.
  97. Gervais, F., Batanado, P., Frappier, M., Laleau, R. : EB3TG: A tool synthesizing relational database transactions from EB3 attribute definitions. In 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Chypre, 23-27 Mai. INSTICC Press, 2006.
  98. Gervais, F., Batanado, P., Frappier, M., Laleau, R. : Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3. Atelier Approches Formelles dans l'Assistance au Développement du Logiciel (AFADL 2006), Paris, France, 15-17 Mars 2006.
  99. Batanado, P., Gervais, F., Frappier, M., Laleau, R.  : EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3. Session Outils de l'Atelier AFADL 2006, Paris, France, 15-17 Mars 2006.
  100. Gervais, F., Frappier, M., Laleau, R.: Synthesizing B Specifications from EB3Attribute Definitions Traces, 5th International Conference on Integrated Formal Methods (IFM 2005), November 29  to  December 2, 2005, Eindhoven, The Netherlands, Lecture Notes in Computer Science 3771, pp. 207-226.
  101. Gervais, F., Frappier, M., Laleau, R.: Generating Relational Database Transactions from Recursive Functions Defined on EB3 Traces, 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany September 5-9, 2005, IEEE Computer Society Press, pp.  117-126.
  102. Gervais, F., Frappier, M., Laleau, R.: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?, 3rd  International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS-2005), May 24-25, 2005 ? Miami, USA, INSTICC Press, pp. 83-88.
  103. Bherer, H., Desharnais, J., Frappier, M., St. Denis, R.: Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems, 2nd International Symposium on Automated Technology for Verification and Analysis, National Taiwan University, October 31 to November 3, 2004, Lecture Notes in Computer Science 3299, Springer-Verlag, pp. 487-490.
  104. Evans, N., Treharne, H., Laleau, R., Frappier, M.: How to Verify Dynamic Properties of Information Systems, 2nd IEEE International Conference on Software Engineering and Formal Methods, Beijing, China, 26-30 September 2004, IEEE Computer Society Press, pp. 416-425.
  105. Roy J.F., Pigot H., Frappier M.: A Proposal for a Software Architecture of the Intelligent Health Home. 2nd International Conference On Smart homes and health Telematic ICOST. 15-17 September 2004. Singapore. pp. 90-97.
  106. Bherer, H., Desharnais, J., Frappier, M., St. Denis, R.: Investigating Discrete Controllability with Kleene Algebra, in Relational and Kleene-Algebraic Methods in Computer Science (7th International Seminar on Relational Methods in Computer Science / 2nd International Workshop on Applications of Kleene Algebra), Berghammer, R.; Möller, B.; Struth, G. (Eds.), Lecture Notes in Computer Science 3051, Springer-Verlag, 2004, pp. 74-85.
  107. Frappier, M., Richard, M.: SMP: A Process-Driven Approach to Project Management, 37th Hawaii International Conference on System Sciences, January 5-8, 2004, Hawaï, IEEE Computer Society Press, 9 pages.
  108. Fraikin, B., Frappier, M, Laleau, R.:  A Comparison of EB3 and B for Information System Specification. State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineering (StEve), Satellite Workshop @ FM'03, Pisa, Italy, Sept. 13, 2003, 18 pages.
  109. Bherer, H., Desharnais, J., Frappier, M., St-Denis, R.: Intégration d?une technique de vérification dans une procédure de synthèse de contrôleurs de systèmes paramétrés, Modélisation des Systèmes Réactifs, MSR'03, Metz, France, September 2003, 14 pages.
  110. Frappier, M., Laleau, R.: Proving Event Ordering Properties for Information Systems. The 3rd International Conference of B and Z Users , Lecture Notes in Computer Science 2651, Springer-Verlag, Turku, Finland, 4-6 June 2003, pp. 421-436.
  111. Frappier, M., Richard, M.: SMP: An Integrated Approach to Project Management. 3rd ASERC Workshop on Quantitative and Soft-Computing based Software Engineering , Alberta Software Engineering Research Center, Banff, Alberta, Canada, February 17-19, 2003, 5 pages.
  112. Fraikin, B., Frappier, M.: EB3PAI: an interpreter for the EB3 language specification. 15th International Conference on Software & Systems Engineering & their Applications, Paris, France, December 3-5, 2002, 5 pages.
  113. Diab, H., Frappier, M., St-Denis, R. :  A Formal Definition of Function Points for Automated Measurement of B Specifications. 4th International Conference on Formal Engineering Methods (ICFEM 2002), Lecture Notes in Computer Science 2495, Springer-Verlag, Shanghai, China, October 21-25, 2002, pp. 483-494.
  114. Fraikin, B., Frappier, M.: EB3PAI: an efficient process algebra interpreter. 5th Workshop on Tools for System Design and Verification (FM-TOOLS 2002), Reisensburg Castle, Günzburg, Germany, July 15-17, 2002, pp. 83-87.
  115. Diab, H. Koukane, F., Frappier, M., St-Denis, R. : McRose : Functional Size Measurement for Rational Rose RealTime, 6th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2002), June 11th, 2002, University of Málaga, Spain, pp15-24.
  116. Frappier, M., Fraikin, B., Laleau, R., Richard, M., : Automatic Production of Information Systems, AAAI Symposium on Logic-Based Program Synthesis, March 25-27, 2002, Stanford University, Stanford, CA, 7 pages.
  117. Diab, H. Frappier, M., St-Denis, R.: Formalizing Full Function Points Using ROOM, ACS/IEEE International Conference on Computer Systems and Applications, Beirut, Lebanon, June 26-29, , IEEE Computer Society, 2001, pp. 312-318.
  118. Diab, H. Frappier, M., St-Denis: A Formal Definition of Cosmic-FFP for Automated Measurement of ROOM Specifications, 4th European Software Measurement Conference, Heidelberg, Germany, May 8-11, ISBN 90-76019-15-0, Technologisch Institut, Antwerp, Belgium, 2001, pp.  185-196.
  119. Frappier, M., St-Denis: Towards a Computer Aided Design of Reactive Systems, Eight International Conference on Computer Aided Systems Theory, Las Palmas, Spain, February 13-19, Lecture Notes in Computer Science 2178, Springer-Verlag, 2001, pp. 421-436.
  120. Diab, H. Frappier, M., St-Denis, R., Déry, D.: Counting Function Points From B Specifications, International Workshop on Software Measurement, Lac Supérieur, Canada, Université du Québec à Montréal, Département d'informatique, September 1999, pp. 256-273.
  121. Labyad, S., Frappier, M., St-Denis, R., Déry, D.: Calcul des points de fonction à partir du diagramme des cas d'utilisation de la notation UML, International Workshop on Software Measurement, Lac Supérieur, Canada, Université du Québec à Montréal, Département d'informatique, September 1999, pp. 216-229.
  122. Frappier, M., Desharnais, J., Mili, A., Mili, F.: Verifying Objects Against Axiomatic Specifications: A Fixpoint Approach, 5th Maghrebian Conference on Software Engineering and Artificial Intelligence, Tunis, Tunisia, December 8-10, 1998, 16 pages.
  123. Frappier, M., St-Denis, R.: Specifying Information Systems using Input-Output Traces and JSD Entities, OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, B.C., Technical Report, Technische Universität München, Institut für Informatik, September 1998, pp.  121-134.
  124. Ben Ayed, R., Desharnais, J., Frappier, M., Mili, A.: A Calculus of Program Transformations and Its Applications. 8th International Workshop on Logic-based Program Synthesis and Transformation, Manchester, United Kingdom, 15-19 June 1998, Lecture Notes in Computer Science 1559, Springer-Verlag, pp.
  125. Diab, H. Frappier, M.: Specification of the Invoicing Case Study in B. Proc. of International Workshop on Comparing Systems Specification Techniques, H. Habrias and A. Galloway, eds, Nantes, (France), March 26-27, 1998.
  126. Barbeau, M. Frappier, M., Kabanza, F., St-Denis, R.: A Supervisory Control Synthesis Case-Study: The Antenna Control System. Proc. of 35th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois, 1997.
  127. Frappier, M., St-Denis, R.: A Specification Method for Cleanroom's Black Box Description. 31st Hawaii International Conference on System Sciences, IEEE Computer Society Press, 1998.
  128. Labed Jilani, L., Frappier, M., Desharnais, J., Mili, A., Mili, R.: Retrieving Software Components that Minimize Adaptation Effort. 12th IEEE International Conference on Automated Software Engineering, M. Lowry and Y. Ledru, eds, IEEE Computer Society, 1997.
  129. Desharnais, J., Khédri, R., Frappier, M., Mili, A.: Integration of Sequential Scenarios. Sixth European Software Engineering Conference / Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, M. Jazayeri and H. Schauer, eds, Lecture Notes in Computer Science 1031, Springer-Verlag, 1997, 310-326.
  130. Frappier, M., Mili, A., Desharnais, J.: Detecting Feature Interactions on Relational Specifications. Feature Interactions in Telecommunications IV, P. Dini, R. Boutaba, L. Logrippo, eds., IOS Press, 1997, 123-137.
  131. Frappier, M., Mili, A., Desharnais, J.: Defining and Detecting Feature Interactions. IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, R.S. Bird and L.G.L.T. Meertens, eds., Chapman and Hall, 1997, isbn 0-412-82050-1.
  132. Mili, A., Desharnais, J., Frappier, M., Mili, R.: A Calculus of Program Modifications. ACM SIGSOFT Symposium on Software Reusability, ACM Software Engineering Notes, 22(3), 1997.
  133. Ben Arfa, L., Mili, R., Frappier, M., Mili, A.: Verification Based Inspection of Object Oriented Software: A Relational Approach, 3rd Annual International Conference on Cleanroom Software Engineering Practices, S. Becker, ed. College Park, Maryland, October 1996. (46k) (dvi 17K).
  134. Frappier, M., Mili, A., Desharnais, J.: Program Construction by Parts. in Mathematics of Program Construction: Third International Conference. B. Moller, ed., Kloster Irsee, Germany, July 17-21, 1995, Lecture Notes in Computer Science 947, Springer-Verlag, 257-281. (69K)
  135. Frappier, M., Mili, A., Ben Ayed, R.: A Relational Calculus for Software Reuse.Workshop on Formal Approaches to the Reuse of Plans, Proofs and Programs. J. Koehler, ed., Montreal, Canada, August 19-20, 1995, 6-10. (52K)
  136. Ben Arfa, L., Frappier, M., Mili, R., Mili, A., Skuce, D.: A Process for Verification-Based Inspections. Proc. of the 6th Int. Conf. on Software Engineering and Knowledge Engineering, Knowledge Systems Institute and IEEE Computer Society, Jurmala, Latvia, June 21-23, 1994, 100-107.
  137. Crabtree, D., Frappier, M., Matwin, S., Mili, A.: Life Cycle Maintainability Estimation for a Space Robotic Simulator. Proc. of the 45th Congress of the International Astronautical Federation, Jerusalem, Israel, October 9-14, 1994.

    138. Book Chapters

  138. Gervais, F., Frappier, M., St-Denis, R.: EB3. in Software Specification Methods: An Overview Using a Case Study, M. Frappier, H. Habrias, Eds., Hermes Science Publishing, London, England, ISBN: 1905209347, Publication Date: April 2006.
  139. Diab, H., Frappier, M.: B : A Model-Based Method using Generalized Substitutions. in Software Specification Methods: An Overview Using a Case Study, M. Frappier, H. Habrias, Eds., Springer-Verlag, ISBN 1-85233-353-7, 2000.
  140. Frappier, M., St-Denis, R.: A Trace-Based Method using Cleanroom and JSD.in Software Specification Methods: An Overview Using a Case Study, M. Frappier, H. Habrias, Eds, Springer-Verlag, ISBN 1-85233-353-7, 2000.
  141. Frappier, M., St-Denis, R.: Combining JSD and Cleanroom for Object-Oriented Scenario Specification. in Object-Oriented Behavioral Specifications, H. Kilov, B. Rumpe, I. Simmonds, eds., Kluwer Academic Publishers, 1999.
  142. Desharnais, J., Frappier, M., Mili, A.: State Transition Diagrams. in Handbook on Architectures of Information Systems, P. Bernus, K. Mertins, G. Schmidt, eds., Springer-Verlag, 1998, ISBN 3-540-64453-9.
  143. Mili, A., Desharnais, J., Mili, F., contributing author Marc Frappier: Computer Program Construction. Oxford University Press, 1994, isbn 0-19-509236-8.

    144. Reports

  144. Frappier, M., Mammar, A.: Verifying the Absence Property Pattern, Technical Report, Département d'informatique, Université de Sherbrooke, Québec, Canada, May 27, 2012.
  145. Frappier, M., Mammar, A.: Proving Reachability and Non-Interference in B, Technical Report 34, Département d'informatique, Université de Sherbrooke, Québec, Canada, January 11, 2011.
  146. Frappier, M., Fraikin, B., Chossart, R., Chane-Yack-Fa, R., Ouenzar, M.: Comparison of Model Checking Tools for Information Systems, Technical Report 29, Département d'informatique, Université de Sherbrooke, Québec, Canada, 16 Juin 2010.
  147. Frappier, M.,Gervais, F., Laleau, R., Fraikin, B.: Algebraic State Transition Diagrams, Technical Report 24, Version 1.1, Département d'informatique, , Université de Sherbrooke, Québec, Canada, October 22, 2010.
  148. Frappier, M.: An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of Function Points, Project FP-Formal, Bell Canada and Université de Sherbrooke, Technical report 1, version 1.1, February 18, 1999.
  149. Frappier, M.: A Relational Basis for Program Construction by Parts. Ph.D. Thesis, University of Ottawa, 1995. (301K) dvi (165K)
  150. Frappier, M., Matwin, S., Mili, A.: Maintainability: Factors and Crtiteria. Software Metrics Study: Technical Memorandum 1, Canadian Space Agency, March 1994.
  151. Frappier, M., Matwin, S., Mili, A.: Software Metrics for Predicting Maintainability. Software Metrics Study: Technical Memorandum 2, Canadian Space Agency, March 1994.
  152. Cheaito, R., Frappier, M., Matwin, S., Mili, A. and Crabtree, D.: Defining and Measuring Maintainability. Technical Report, Dept. of Computer Science, University of Ottawa, March 1995. (69K)
  153. Frappier, M.: Transformation de spécifications: de Telos a JSD. mémoire de maîtrise, Département de mathématiques et d'informatique, Université de Sherbrooke, juin 1990.

(September , 2019)