Marc Frappier

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves: Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013)

Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier: Refinement patterns for ASTD. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Benoît Fraikin, Marc Frappier, Richard St.-Denis: Modeling the Supervisory Control Theory with Alloy. ABZ 2012: 94-107

Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa: Proving the Absence Property Pattern Using the B Method. HASE 2012: 167-170

Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier: A Design by Contract Approach to Verify Access Control Policies. ICECCS 2012: 263-272

Marc Frappier, Amel Mammar: An Assertions-Based Approach to Verifying the Absence Property Pattern. ISSRE 2012: 361-370

Marc Frappier, Fama Diagne, Amel Mammar: Proving Reachability in B using Substitution Refinement. Electr. Notes Theor. Comput. Sci. 280: 47-56 (2011)

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis: Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. IJSSOE 2(2): 37-59 (2011)

Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier: Combining UML, ASTD and B for the formal specification of an access control filter. ISSE 7(4): 303-313 (2011)

Marc Frappier, Amel Mammar: Proving Non-interference on Reachability Properties: A Refinement Approach. APSEC 2011: 25-32

Pierre Konopacki, Marc Frappier, Régine Laleau: Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops 2011: 607-621

Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St.-Denis: A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS 2011: 52-67

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis: A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS 2011: 218-226

Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau: Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS 2011: 227-233

Jérémy Milhau, Marc Frappier, Régine Laleau: A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS 2011: 234-241

Thibault De Champs, Bessam Abdulrazak, Hélène Pigot, Mohammed Ouenzar, Marc Frappier, Benoît Fraikin: Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. PerCom Workshops 2011: 630-635

Amel Mammar, Marc Frappier, Fama Diagne: A proof-based approach to verifying reachability properties. SAC 2011: 1651-1657

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St.-Denis: A Four-concern-oriented Secure IS Development Approach. SECRYPT 2011: 464-471

Pierre Konopacki, Marc Frappier, Régine Laleau: Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB³SEC. Ingénierie des Systèmes d'Information 15(3): 113-136 (2010)

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St.-Denis: Model-driven Engineering of Functional Security Policies. ICEIS (3) 2010: 374-379

Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar: Comparison of Model Checking Tools for Information Systems. ICFEM 2010: 581-596

Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau: Systematic Translation Rules from astd to Event-B. IFM 2010: 245-259

Philippe Michelin, Marc Frappier: Distinction-based and verification-assisted knowledge modeling. RELAW 2010: 11-16

Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St.-Denis: From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops 2010: 126-141

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Eds.): Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, isbn 978-3-642-11810-4

Benoît Fraikin, Marc Frappier: Efficient symbolic computation of process expressions. Sci. Comput. Program. 74(9): 723-753 (2009)

Frédéric Gervais, Marc Frappier, Régine Laleau: Generating relational database transactions from eb³ attribute definitions. Software and System Modeling 8(3): 423-445 (2009)

Philippe Michelin, Marc Frappier: Formal Modeling for Deploying Improvement and Innovation in Information Technology. KMIS 2009: 318-323

Jérémy Milhau, Benoît Fraikin, Marc Frappier: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM 2009: 337-351

Pierre Konopacki, Marc Frappier, Régine Laleau: Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID 2009: 295-310

Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis: Extending statecharts with process algebra operators. ISSE 4(3): 285-292 (2008)

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: Applying CSP || B to information systems. Software and System Modeling 7(1): 85-102 (2008)

Frédéric Gervais, Marc Frappier, Régine Laleau: Refinement of eb³ Process Patterns into B Specifications. B 2007: 201-215

Benoît Fraikin, Marc Frappier: Efficient Symbolic Execution of Large Quantifications in a Process Algebra. ICFEM 2007: 327-344

Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson: Domain specific languages: another silver bullet? OOPSLA Companion 2007: 1024-1025

Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard: Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84

Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau: EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. ICEIS (3) 2006: 44-51

Benoît Fraikin, Marc Frappier: Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS 2006: 189-192

Hassan B. Diab, Fouad Koukane, Marc Frappier, Richard St.-Denis: mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Information & Software Technology 47(3): 151-166 (2005)

Benoît Fraikin, Marc Frappier, Régine Laleau: State-based versus event-based specifications for information systems: a comparison of B and eb³. Software and System Modeling 4(3): 236-257 (2005)

Frédéric Gervais, Marc Frappier, Régine Laleau: Synthesizing B Specifications from EB³ Attribute Definitions. IFM 2005: 207-226

Frédéric Gervais, Marc Frappier, Régine Laleau: Generating Relational Database Transactions From Recursive Functions Defined on EB³ Traces. SEFM 2005: 117-126

Frédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA 2004: 487-490

Marc Frappier, Mario Richard: SMP: A Process-Driven Approach to Project Management. HICSS 2004

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425

Marc Frappier, Richard St.-Denis: EB 3: an entity-based black-box specification method for information systems. Software and System Modeling 2(2): 134-149 (2003)

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis: Investigating Discrete Controllability with Kleene Algebra. RelMiCS 2003: 74-85

Marc Frappier, Régine Laleau: Proving Event Ordering Properties for Information Systems. ZB 2003: 421-436

Hassan B. Diab, Marc Frappier, Richard St.-Denis: A Formal Definition of Function Points for Automated Measurement of B Specifications. ICFEM 2002: 483-494

Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull: Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001)

Hassan B. Diab, Marc Frappier, Richard St.-Denis: Formalizing COSMIC-FFP Using ROOM. AICCSA 2001: 312-

Marc Frappier, Richard St.-Denis: Towards a Computer-Aided Design of Reactive Systems. EUROCAST 2001: 421-436

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: A calculus of program adaptation and its applications. Sci. Comput. Program. 38(1-3): 73-124 (2000)

Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili: Semantic distance between specifications. Theor. Comput. Sci. 247(1-2): 257-276 (2000)

Marc Frappier, Ali Mili, Jules Desharnais: Unifying Program Construction and Modification. Logic Journal of the IGPL 6(2): 317-340 (1998)

Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. IEEE Trans. Software Eng. 24(9): 695-708 (1998)

Marc Frappier, Richard St.-Denis: A Specification Method for Cleanroom's Black Box Description. HICSS (6) 1998: 112-121

Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili: Mathematical Foundations for Program Transformations. LOPSTR 1998: 319-321

Marc Frappier, Ali Mili, Jules Desharnais: Defining and detecting feature interactions. Algorithmic Languages and Calculi 1997: 212-239

Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili: Integration of Sequential Scenarios. ESEC / SIGSOFT FSE 1997: 310-326

Marc Frappier, Ali Mili, Jules Desharnais: Detecting Feature Interactions on Relational Specifications. FIW 1997: 123-137

Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili: Retrieving Software Components that Minimize Adaptation Effort. ASE 1997: 255-

Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili: A Calculus of Program Modifications. SSR 1997: 157-168

Marc Frappier, Ali Mili, Jules Desharnais: A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. 26(1-3): 237-254 (1996)

Marc Frappier, Ali Mili, Jules Desharnais: Program Construction by Parts. MPC 1995: 257-281

Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce: A process for verification based inspections. SEKE 1994: 100-107