A process for verification based inspections. - Latifa Ben Arfa Rabai; Marc Frappier; Rym Mili; Ali Mili 001; Douglas R. Skuce (SEKE, 1994)

Program Construction by Parts. - Marc Frappier; Ali Mili 001; Jules Desharnais (MPC, 1995)

A Relational Calculus for Program Construction by Parts. - Marc Frappier; Ali Mili 001; Jules Desharnais (Sci. Comput. Program., 1996)

Defining and detecting feature interactions. - Marc Frappier; Ali Mili 001; Jules Desharnais (Algorithmic Languages and Calculi, 1997)

Detecting Feature Interactions on Relational Specifications. - Marc Frappier; Ali Mili 001; Jules Desharnais (FIW, 1997)

Retrieving Software Components that Minimize Adaptation Effort. - Lamia Labed Jilani; Jules Desharnais; Marc Frappier; Rym Mili; Ali Mili 001 (ASE, 1997)

A Calculus of Program Modifications. - Rym Mili; Marc Frappier; Jules Desharnais; Ali Mili 001 (SSR, 1997)

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

Mathematical Foundations for Program Transformations. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (LOPSTR, 1998)

Unifying Program Construction and Modification. - Marc Frappier; Ali Mili 001; Jules Desharnais (Log. J. IGPL, 1998)

Integration of Sequential Scenarios. - Jules Desharnais; Marc Frappier; Ridha Khédri; Ali Mili 001 (IEEE Trans. Software Eng., 1998)

Combining JSD and Cleanroom for Object-Oriented Scenario Specification. - Marc Frappier; Richard St-Denis (Behavioral Specifications of Businesses and Systems, 1999)

A calculus of program adaptation and its applications. - Rahma Ben Ayed; Jules Desharnais; Marc Frappier; Ali Mili 001 (Sci. Comput. Program., 2000)

Semantic distance between specifications. - Rym Mili; Jules Desharnais; Marc Frappier; Ali Mili 001 (Theor. Comput. Sci., 2000)

Formalizing COSMIC-FFP Using ROOM. - Hassan B. Diab; Marc Frappier; Richard St-Denis (AICCSA, 2001)

Towards a Computer-Aided Design of Reactive Systems. - Marc Frappier; Richard St-Denis (EUROCAST, 2001)

Relational methods in computer science - Preface. - Jules Desharnais; Marc Frappier; Ali Jaoua; Wendy MacCaull (Inf. Sci., 2001)

A Formal Definition of Function Points for Automated Measurement of B Specifications. - Hassan B. Diab; Marc Frappier; Richard St-Denis (ICFEM, 2002)

Investigating Discrete Controllability with Kleene Algebra. - Hans Bherer; Jules Desharnais; Marc Frappier; Richard St-Denis (RelMiCS, 2003)

Proving Event Ordering Properties for Information Systems. - Marc Frappier; Régine Laleau (ZB, 2003)

EB 3: an entity-based black-box specification method for information systems. - Marc Frappier; Richard St-Denis (Softw. Syst. Model., 2003)

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

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

How to Verify Dynamic Properties of Information Systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (SEFM, 2004)

Synthesizing B Specifications from EB3 Attribute Definitions. - Frédéric Gervais; Marc Frappier; Régine Laleau (IFM, 2005)

Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. - Frédéric Gervais; Marc Frappier; Régine Laleau (SEFM, 2005)

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

mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. - Hassan B. Diab; Fouad Koukane; Marc Frappier; Richard St-Denis (Inf. Softw. Technol., 2005)

State-based versus event-based specifications for information systems: a comparison of B and eb3. - Benoît Fraikin; Marc Frappier; Régine Laleau (Softw. Syst. Model., 2005)

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

Efficient Interpretation of Large Quantifications in a Process Algebra. - Benoît Fraikin; Marc Frappier (MSVVEIS, 2006)

Refinement of eb3 Process Patterns into B Specifications. - Frédéric Gervais; Marc Frappier; Régine Laleau (B, 2007)

Efficient Symbolic Execution of Large Quantifications in a Process Algebra. - Benoît Fraikin; Marc Frappier (ICFEM, 2007)

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

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

Extending statecharts with process algebra operators. - Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis (Innov. Syst. Softw. Eng., 2008)

Applying CSP || B to information systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (Softw. Syst. Model., 2008)

Formal Modeling for Deploying Improvement and Innovation in Information Technology. - Philippe Michelin; Marc Frappier (KMIS, 2009)

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

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

Efficient symbolic computation of process expressions. - Benoît Fraikin; Marc Frappier (Sci. Comput. Program., 2009)

Generating relational database transactions from eb3 attribute definitions. - Frédéric Gervais; Marc Frappier; Régine Laleau (Softw. Syst. Model., 2009)

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

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

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

Distinction-based and verification-assisted knowledge modeling. - Philippe Michelin; Marc Frappier (RELAW, 2010)

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

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC. - Pierre Konopacki; Marc Frappier; Régine Laleau (Ingénierie des Systèmes d Inf., 2010)

Proving Non-interference on Reachability Properties: A Refinement Approach. - Marc Frappier; Amel Mammar (APSEC, 2011)

Expressing Access Control Policies with an Event-Based Approach. - Pierre Konopacki; Marc Frappier; Régine Laleau (CAiSE Workshops, 2011)

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

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

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

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

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

A proof-based approach to verifying reachability properties. - Amel Mammar; Marc Frappier; Fama Diagne (SAC, 2011)

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

Proving Reachability in B using Substitution Refinement. - Marc Frappier; Fama Diagne; Amel Mammar (B@FM, 2011)

Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (Int. J. Syst. Serv. Oriented Eng., 2011)

Combining UML, ASTD and B for the formal specification of an access control filter. - Jérémy Milhau; Akram Idani; Régine Laleau; Mohamed-Amine Labiadh; Yves Ledru; Marc Frappier (Innov. Syst. Softw. Eng., 2011)

Modeling the Supervisory Control Theory with Alloy. - Benoît Fraikin; Marc Frappier; Richard St-Denis (ABZ, 2012)

Proving the Absence Property Pattern Using the B Method. - Amel Mammar; Marc Frappier; Raphaël Chane-Yack-Fa (HASE, 2012)

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

An Assertions-Based Approach to Verifying the Absence Property Pattern. - Marc Frappier; Amel Mammar (ISSRE, 2012)

Refinement patterns for ASTD. - Jérémy Milhau; Frédéric Gervais; Régine Laleau; Marc Frappier (ACM SIGSOFT Softw. Eng. Notes, 2012)

Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. - Aymerick Savary; Marc Frappier; Jean-Louis Lanet (IFM, 2013)

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

Validating the RBAC ANSI 2012 Standard Using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (ABZ, 2014)

Verifying the Precedence Property Pattern Using the B Method. - Amel Mammar; Marc Frappier (HASE, 2014)

A Tool for Verifying Dynamic Properties in B. - Fama Diagne; Amel Mammar; Marc Frappier (SEFM, 2014)

Refinement patterns for ASTDs. - Marc Frappier; Frédéric Gervais; Régine Laleau; Jérémy Milhau (Formal Aspects Comput., 2014)

Supervisory control theory with Alloy. - Benoît Fraikin; Marc Frappier; Richard St-Denis (Sci. Comput. Program., 2014)

Model-Based Robustness Testing in Event-B Using Mutation. - Aymerick Savary; Marc Frappier; Michael Leuschel; Jean-Louis Lanet (SEFM, 2015)

Formal refinement of extended state machines. - Thomas Fayolle; Marc Frappier; Régine Laleau; Frédéric Gervais (Refine@FM, 2015)

Proof-based verification approaches for dynamic properties: application to the information system domain. - Amel Mammar; Marc Frappier (Formal Aspects Comput., 2015)

Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. - Thomas Fayolle; Marc Frappier; Frédéric Gervais; Régine Laleau (ABZ, 2016)

SGAC: A patient-centered access control method. - Nghi Huynh; Marc Frappier; Herman Pooda; Amel Mammar; Regine Laleau (RCIS, 2016)

A formal validation of the RBAC ANSI 2012 standard using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (Sci. Comput. Program., 2016)

Verification of SGAC Access Control Policies Using Alloy and ProB. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau (HASE, 2017)

Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. - Steve Tueno; Regine Laleau; Amel Mammar; Marc Frappier (RE Workshops, 2017)

Formal Specification for Ambient Assisted Living Scenarios. - Hubert Kenfack Ngankam; Hélène Pigot; Marc Frappier; Camila Helena Souza Oliveira; Sylvain Giroux (UCAmI, 2017)

The SysML/KAOS Domain Modeling Approach. - Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier (CoRR, 2017)

Formal Representation of SysML/KAOS Domain Model (Complete Version). - Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier (CoRR, 2017)

Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. - Steve Jeffrey Tueno Fotso; Amel Mammar; Régine Laleau; Marc Frappier (ABZ, 2018)

A Translation from Alloy to B. - Sebastian Krings; Joshua Schmidt; Carola Brings; Marc Frappier; Michael Leuschel (ABZ, 2018)

An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. - Amel Mammar; Marc Frappier; Steve Jeffrey Tueno Fotso; Régine Laleau (ABZ, 2018)

Back Propagating B System Updates on SysML/KAOS Domain Models. - Steve Jeffrey Tueno Fotso; Marc Frappier; Regine Laleau; Amel Mammar (ICECCS, 2018)

Extended Algebraic State-Transition Diagrams. - Lionel N. Tidjon; Marc Frappier; Michael Leuschel; Amel Mammar (ICECCS, 2018)

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar; Michael Leuschel (IFM, 2018)

From SysML/KAOS Domain Models to B System Specifications. - Steve Jeffrey Tueno Fotso; Marc Frappier; Amel Mammar; Régine Laleau (CoRR, 2018)

The Generic SysML/KAOS Domain Metamodel. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar; Héctor Ruíz Barradas (CoRR, 2018)

Parameterized verification of monotone information systems. - Raphaël Chane-Yack-Fa; Marc Frappier; Amel Mammar; Alain Finkel (Formal Aspects Comput., 2018)

Assessment of a Formal Requirements Modeling Approach on a Transportation System. - Steve Jeffrey Tueno Fotso; Régine Laleau; Marc Frappier; Amel Mammar; Francois Thibodeau; Mama Nsangou Mouchili (ICFEM, 2019)

A Formal Requirements Modeling Approach: Application to Rail Communication. - Steve Jeffrey Tueno Fotso; Régine Laleau; Héctor Ruíz Barradas; Marc Frappier; Amel Mammar (ICSOFT, 2019)

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. - Nghi Huynh; Marc Frappier; Herman Pooda; Amel Mammar; Régine Laleau (Comput. J., 2019)

Intrusion Detection Systems: A Cross-Domain Overview. - Lionel N. Tidjon; Marc Frappier; Amel Mammar (IEEE Commun. Surv. Tutorials, 2019)

Intrusion Detection Using ASTDs. - Lionel N. Tidjon; Marc Frappier; Amel Mammar (AINA, 2020)

Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. - Diego de Azevedo Oliveira; Marc Frappier (ABZ, 2020)

Translating Alloy and extensions to classical B. - Sebastian Krings; Michael Leuschel; Joshua Schmidt; David Schneider 001; Marc Frappier (Sci. Comput. Program., 2020)

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar (Int. J. Softw. Tools Technol. Transf., 2020)

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. - Amel Mammar; Marc Frappier; Steve Jeffrey Tueno Fotso; Régine Laleau (Int. J. Softw. Tools Technol. Transf., 2020)

Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study. - Louis-Simon Létourneau; Chaymae El Jabri; Marc Frappier; Pierre-Martin Tardif; Guy Lépine; Guillaume Boisvert (DSN Workshops, 2021)

SCADA Radio Blackbox Reverse Engineering. - Jean-Benoit Larouche; Sébastien Roy 002; Frédéric Mailhot 001; Pierre-Martin Tardif; Marc Frappier (FPS, 2022)

Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. - Chaymae El Jabri; Marc Frappier; Thibaud Ecarot; Pierre-Martin Tardif (TASE, 2022)

A Revealing Large-Scale Evaluation of Unsupervised Anomaly Detection Algorithms. - Maxime Alvarez; Jean-Charles Verdier; D'Jeff K. Nkashama; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza (CoRR, 2022)

Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems. - D'Jeff Kanda Nkashama; Arian Soltani; Jean-Charles Verdier; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza (CoRR, 2022)

Proving Local Invariants in ASTDs. - Quelen Cartellier; Marc Frappier; Amel Mammar (ICFEM, 2023)

Modelling an Automotive Software System with TASTD. - Diego de Azevedo Oliveira; Marc Frappier (ABZ, 2023)

TASTD: A Real-Time Extension for ASTD. - Diego de Azevedo Oliveira; Marc Frappier (ABZ, 2023)

Characterizing Financial Market Coverage using Artificial Intelligence. - Jean Marie Tshimula; D'Jeff K. Nkashama; Patrick Owusu; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza; Armelle Brun; Jean-Marc Patenaude; Shengrui Wang; Belkacem Chikhaoui (CoRR, 2023)

Extended Abstract: Assessing Language Models for Semantic Textual Similarity in Cybersecurity. - Arian Soltani; D'Jeff K. Nkashama; Jordan F. Masakuna; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza (DIMVA, 2024)

Deep Learning for Network Anomaly Detection Under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. - D'Jeff K. Nkashama; Jordan F. Masakuna; Arian Soltani; Jean-Charles Verdier; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza (ESORICS Workshops (2), 2024)

Modeling and Verification of Solidity Smart Contracts with the B Method. - Fayçal Baba; Amel Mammar; Marc Frappier; Régine Laleau (ICECCS, 2024)

ASTD Patterns for Integrated Continuous Anomaly Detection in Data Logs. - Chaymae El Jabri; Marc Frappier; Pierre-Martin Tardif (SFPVV, 2024)

Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. - Jean Marie Tshimula; D'Jeff K. Nkashama; Jean Tshibangu Muabila; René Manassé Galekwa; Hugues Kanda; Maximilien V. Dialufuma; Mbuyi Mukendi Didier; Kalala Kalonji; Serge Mundele; Patience Kinshie Lenye; Tighana Wenge Basele; Aristarque Ilunga; et al. (WISE (PhD Symposium, Demos and Workshops), 2024)

Modelling a Mechanical Lung Ventilation System Using TASTD. - Alex Rodrigue Ndouna; Marc Frappier (ABZ, 2024)

Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. - Jean Marie Tshimula; D'Jeff K. Nkashama; Jean Tshibangu Muabila; René Manassé Galekwa; Hugues Kanda; Maximilien V. Dialufuma; Mbuyi Mukendi Didier; Kalala Kalonji; Serge Mundele; Patience Kinshie Lenye; Tighana Wenge Basele; Aristarque Ilunga; et al. (CoRR, 2024)

Deep Learning for Network Anomaly Detection under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. - D'Jeff K. Nkashama; Jordan Masakuna Félicien; Arian Soltani; Jean-Charles Verdier; Pierre-Martin Tardif; Marc Frappier; Froduald Kabanza (CoRR, 2024)

Impact of Inaccurate Contamination Ratio on Robust Unsupervised Anomaly Detection. - Jordan F. Masakuna; D'Jeff Kanda Nkashama; Arian Soltani; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza (CoRR, 2024)

Preventing Jailbreak Prompts as Malicious Tools for Cybercriminals: A Cyber Defense Perspective. - Jean Marie Tshimula; Xavier Ndona; D'Jeff K. Nkashama; Pierre-Martin Tardif; Froduald Kabanza; Marc Frappier; Shengrui Wang (CoRR, 2024)

Modeling of a speed control system using Event-B. - Amel Mammar; Marc Frappier (Int. J. Softw. Tools Technol. Transf., 2024)

An Event-B model of an automotive adaptive exterior light system. - Amel Mammar; Marc Frappier; Régine Laleau (Int. J. Softw. Tools Technol. Transf., 2024)

A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. - Christophe Chen; Peter Rivière; Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït-Ameur; Marc Frappier (FormaliSE, 2025)

Model-Based Testing of Non-deterministic Systems. - Alexander Onofrei; Marc Frappier; Émilie Bernard (ABZ, 2025)

Streamlined and Resource-Efficient Estimation of Epistemic Uncertainty in Deep Ensemble Classification Decision via Regression. - Jordan F. Masakuna; D'Jeff K. Nkashama; Arian Soltani; Marc Frappier; Pierre-Martin Tardif; Froduald Kabanza (IEEE Trans. Emerg. Top. Comput. Intell., 2025)