Journals

  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 FilterInnovations in Systems and Software Engineering, Springer-Verlag, 7(4), 2011, 303-313.
  7. 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(2) (2011): 37-59.
  8. 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, 15(3),113-136.
  9. Gervais, F., Frappier, M., Laleau, R.: Generating Relational Database Transactions from EB3 Attribute Definitions, Software and System Modeling, Springer-Verlag, 8(3), July 2009, 423-445.
  10. Fraikin, B., Frappier, M.: Efficient Symbolic Computation of Process ExpressionsScience of Computer Programming, Elsevier, 74(9), 1 July 2009, 723-753.
  11. 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
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. Mili, R., Desharnais, J., Frappier, M., Mili, A.: Semantic Distance Bewtween Specifications. Theoretical Computer Science, Elsevier, 247(1-2), September 2000, 257-276.
  17. 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..
  18. 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.
  19. 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), 317-340, 1998. (79K).
  20. Frappier, M., Mili, A., Desharnais, J.: A Relational Calculus for Program Construction by Parts. Science of Computer Programming, Elsevier, 26(1-3) (1996) 237-254.
  21. Frappier, M.: Gestion de la maintenabilité. Expertise informatique 2(1) (1996) 25-27. (27K)
  22. Frappier, M., St-Denis, R.: Transformation partielle de spécifications sous Refine. ICO: Intelligence Artificielle et Sciences Cognitives au Québec 3(3) (1991) 19-31.
  23. Books

  24. Frappier, M.; Glässer, U.; Khurshid, S.; Laleau, R.; Reeves, S. (Eds.) : Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, LNCS 5977, Springer-Verlag, 2010.
  25. 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.
  26. Desharnais, J., Frappier, M., McCaull, W. (Eds): Relational Methods in Computer Science : The Québec Seminar, Methodos, ISBN 3-934641-04-0, 2002.
  27. Frappier, M., Habrias, H. (Eds): Software Specification Methods: An Overview Using a Case Study, Springer-Verlag, ISBN 1-85233-353-7, 2000.
  28. Guest Editor

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

  32. Tidjon, L., Frappier, M., Leuschel, M., Mammar, A.: Extended Algebraic State-Transition Diagrams, 23rd International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, Melbourne, Australia, 12-14 December 2018, to appear.
  33. Tueno Fotso S.J. Frappier, M., Laleau, R. Mammar, A.: Back Propagating B System Updates on SysML/KAOS Domain Models, 23rd International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, Melbourne, Australia, 12-14 December 2018, to appear.
  34. 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, LNCS  11023, Springer-Verlag, pp. 377-397.
  35. 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, LNCS 10817, Springer-Verlag, pp 55-70.
  36. 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, LNCS 10817, Springer-Verlag, pp. 262-276.
  37. 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, LNCS 10817, Springer-Verlag, pp 353-366.
  38. 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, LNCS 10817, Springer-Verlag, pp 71-86.
  39. 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, LNCS 10586, Springer-Verlag, pp. 508-519.
  40. 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.
  41. 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.
  42. 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.
  43. 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, LNCS 9675, Springer-Verlag, pp 394-408.
  44. 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, LNCS 9276, Springer-Verlag, pp 132-147.
  45. 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.
  46. 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, LNCS 8702, Springer-Verlag, pp 290-295.
  47. 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, LNCS 8477, Springer-Verlag, pp 255-270.
  48. 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.
  49. 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, LNCS 7940, Springer-Verlag, pp. 223-237.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. 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, LNCS 7316, Springer-Verlag, pp 94-107, 2012.
  55. 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.
  56. 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, LNCS 6959, Springer-Verlag,  pp 52-67, 2011.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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, LNCS 6724, Springer-Verlag, pp 126-141, The original publication is available at www.springerlink.com.
  64. Mammar, A., Diagne, F., Frappier, M.: A Proof-Based Approach to Verifying Reachability PropertiesWorkshop on B Dissemination 2010, Natal, Brazil, November 8-9, 9 pages.
  65. 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.
  66. 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, LNCS 6396, Springer-Verlag, 2010, pp. 581-596.The original publication is available at www.springerlink.com
  67. 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, LNCS 6396, Springer-Verlag, 2010, pp. 245-259.The original publication is available at www.springerlink.com
  68. 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.
  69. 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.
  70. 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.
  71. 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.
  72. 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.
  73. 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, LNCS 5423, Springer-Verlag, 2009, 337-351.
  74. 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, LNCS 4789, Springer-Verlag, 2007, 327-344..
  75. 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.
  76. 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,  LNCS 4355, Springer-Verlag, 2007, 201-215.
  77. 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.
  78. 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.
  79. 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.
  80. 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.
  81. 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, LNCS 3771, pp 207-226.
  82. 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.
  83. 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.
  84. 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, LNCS 3299, Springer-Verlag, pp 487-490.
  85. 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.
  86. 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.
  87. 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.), LNCS 3051, Springer-Verlag, 2004, pp 74-85.
  88. 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.
  89. 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.
  90. 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.
  91. Frappier, M., Laleau, R.: Proving Event Ordering Properties for Information Systems. The 3rd International Conference of B and Z Users , LNCS 2651, Springer-Verlag, Turku, Finland, 4-6 June 2003, pp 421-436.
  92. 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.
  93. 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.
  94. 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), LNCS 2495, Springer-Verlag, Shanghai, China, October 21-25, 2002, pp 483-494.
  95. 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.
  96. 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.
  97. 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.
  98. 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.
  99. 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.
  100. 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, LNCS 2178, Springer-Verlag, 2001, pp 421-436.
  101. 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.
  102. 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.
  103. 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.
  104. 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.
  105. 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, LNCS 1559, Springer-Verlag, pp
  106. 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.
  107. 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.
  108. 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.
  109. 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.
  110. 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, LNCS 1031, Springer-Verlag, 1997, 310-326.
  111. 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.
  112. 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.
  113. 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.
  114. 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).
  115. 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, LNCS 947, Springer-Verlag, 257-281. (69K)
  116. 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)
  117. 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.
  118. 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.
  119. Book Chapters

  120. 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.
  121. 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.
  122. 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.
  123. 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.
  124. 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.
  125. Mili, A., Desharnais, J., Mili, F., contributing author Marc Frappier: Computer Program Construction. Oxford University Press, 1994, isbn 0-19-509236-8.
  126. Reports

  127. Frappier, M., Mammar, A.: Verifying the Absence Property Pattern, Technical Report, Département d'informatique, Université de Sherbrooke, Québec, Canada, May 27, 2012.
  128. 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.
  129. Frappier, M., Fraikin, B., Chossart, R., Chane-Yack-Fa, R., Ouenzar, M.: Comparison of Model Checking Tools for Information SystemsTechnical Report 29, Département d'informatique, Université de Sherbrooke, Québec, Canada, 16 Juin 2010.
  130. 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.
  131. 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.
  132. Frappier, M.: A Relational Basis for Program Construction by Parts. Ph.D. Thesis, University of Ottawa, 1995. (301K) dvi (165K)
  133. Frappier, M., Matwin, S., Mili, A.: Maintainability: Factors and Crtiteria. Software Metrics Study: Technical Memorandum 1, Canadian Space Agency, March 1994.
  134. Frappier, M., Matwin, S., Mili, A.: Software Metrics for Predicting Maintainability. Software Metrics Study: Technical Memorandum 2, Canadian Space Agency, March 1994.
  135. 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)
  136. 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.

(Sept 4, 2018)