Journals
  1. 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.
  2. Fraikin, B., Frappier, M.: Efficient Symbolic Computation of Process Expressions,  Science of Computer Programming, Elsevier, 74(9), 1 July 2009, 723-753.
  3. 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
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Mili, R., Desharnais, J., Frappier, M., Mili, A.: Semantic Distance Bewtween Specifications. Theoretical Computer Science, Elsevier, 247(1-2), September 2000, 257-276.
  9. 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..
  10. 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.
  11. 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).
  12. 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.
  13. Frappier, M.: Gestion de la maintenabilité. Expertise informatique 2(1) (1996) 25-27. (27K)
  14. 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.

    15. Books

  15. 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.
  16. Desharnais, J., Frappier, M., McCaull, W. (Eds): Relational Methods in Computer Science : The Québec Seminar, Methodos, ISBN 3-934641-04-0, 2002.
  17. Frappier, M., Habrias, H. (Eds): Software Specification Methods: An Overview Using a Case Study, Springer-Verlag, ISBN 1-85233-353-7, 2000.

    18. Guest Editor

  18. Desharnais, J., Frappier, M., McCaull, W. (Eds): Relational Methods in Computer Science, special issue of Information Sciences, 139(3-4), December 2001.

    19. Conferences and Workshops

  19. 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.
  20. 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..
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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.
  57. 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.
  58. 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.
  59. 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.
  60. 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).
  61. 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)
  62. 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)
  63. 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.
  64. 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.

    65. Book Chapters

  65. 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.
  66. 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.
  67. 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.
  68. 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.
  69. 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.
  70. Mili, A., Desharnais, J., Mili, F., contributing author Marc Frappier: Computer Program Construction. Oxford University Press, 1994, isbn 0-19-509236-8.

    71. Reports

  71. Frappier, M.,Gervais, F., Laleau, R., Fraikin, B.: Algebraic State Transition Diagrams, Technical 24, Département d'informatique, , Université de Sherbrooke, Québec, Canada, Juin 2008.
  72. Frappier, M., Laleau, R.: Proving the Refinement of Scenarios into Object-Oriented Models. Rapport technique CEDRIC n°277, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et Métiers, Évry, and Rapport technique n° 272, Département de mathématiques et d'informatique, Université de Sherbrooke, Québec, Canada, August 2001.
  73. 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.
  74. Frappier, M., St-Denis, R.: Specifying Information Systems through Structured Input-Output Traces, Rapport technique, Département de mathématiques et d'informatique, Université de Sherbrooke, Sherbrooke, Québec, Canada, 27 août 1998.
  75. Frappier, M.: A Relational Basis for Program Construction by Parts. Ph.D. Thesis, University of Ottawa, 1995. (301K) dvi (165K)
  76. Frappier, M., Matwin, S., Mili, A.: Maintainability: Factors and Crtiteria. Software Metrics Study: Technical Memorandum 1, Canadian Space Agency, March 1994.
  77. Frappier, M., Matwin, S., Mili, A.: Software Metrics for Predicting Maintainability. Software Metrics Study: Technical Memorandum 2, Canadian Space Agency, March 1994.
  78. 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)
  79. 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.
(June 2, 2009)

Le contenu de cette page est la responsabilité de son auteur et n'engage en rien l'Université de Sherbrooke.