Marc Frappier

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 48

Top Venues

ABZ

CoRR

Int. J. Softw. Tools Technol. Transf.

Formal Aspects Comput.

Publications

Alex Rodrigue Ndouna, Marc Frappier
Modelling a Mechanical Lung Ventilation System Using TASTD. ABZ (2024)
Amel Mammar, Marc Frappier, Régine Laleau
An Event-B model of an automotive adaptive exterior light system. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Arian Soltani, D'Jeff K. Nkashama, Jordan F. Masakuna, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
Extended Abstract: Assessing Language Models for Semantic Textual Similarity in Cybersecurity. DIMVA (2024)
D'Jeff K. Nkashama, Jordan Masakuna Félicien, Arian Soltani, Jean-Charles Verdier, Pierre-Martin Tardif, Marc Frappier, Froduald Kabanza
Deep Learning for Network Anomaly Detection under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. CoRR (2024)
Amel Mammar, Marc Frappier
Modeling of a speed control system using Event-B. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
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, Christian N. Mayemba, Nathanaël M. Kasoro, Selain K. Kasereka, Hardy Mikese, Pierre-Martin Tardif, Marc Frappier, Froduald Kabanza, Belkacem Chikhaoui, Shengrui Wang, Ali Mulenda Sumbu, Xavier Ndona, Raoul Kienge-Kienge Intudi
Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. CoRR (2024)
Diego de Azevedo Oliveira, Marc Frappier
TASTD: A Real-Time Extension for ASTD. ABZ (2023)
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
Characterizing Financial Market Coverage using Artificial Intelligence. CoRR (2023)
Diego de Azevedo Oliveira, Marc Frappier
Modelling an Automotive Software System with TASTD. ABZ (2023)
Quelen Cartellier, Marc Frappier, Amel Mammar
Proving Local Invariants in ASTDs. ICFEM (2023)
D'Jeff Kanda Nkashama, Arian Soltani, Jean-Charles Verdier, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems. CoRR (2022)
Jean-Benoit Larouche, Sébastien Roy, Frédéric Mailhot, Pierre-Martin Tardif, Marc Frappier
SCADA Radio Blackbox Reverse Engineering. FPS (2022)
Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif
Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. TASE (2022)
Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif
Development of monitoring systems for anomaly detection using ASTD specifications. CoRR (2022)
Maxime Alvarez, Jean-Charles Verdier, D'Jeff K. Nkashama, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
A Revealing Large-Scale Evaluation of Unsupervised Anomaly Detection Algorithms. CoRR (2022)
Louis-Simon Létourneau, Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif, Guy Lépine, Guillaume Boisvert
Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study. DSN Workshops (2021)
Diego de Azevedo Oliveira, Marc Frappier
Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. ABZ (2020)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Amel Mammar, Marc Frappier, Régine Laleau
An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ (2020)
Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar
Intrusion Detection Using ASTDs. AINA (2020)
Amel Mammar, Marc Frappier
Modeling of a Speed Control System Using Event-B. ABZ (2020)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B. Sci. Comput. Program. 188 (2020)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. 62 (12) (2019)
Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM (2019)
Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT (2019)
Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar
Intrusion Detection Systems: A Cross-Domain Overview. IEEE Commun. Surv. Tutorials 21 (4) (2019)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
The Generic SysML/KAOS Domain Metamodel. CoRR (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
From SysML/KAOS Domain Models to B System Specifications. CoRR (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS (2018)
Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel
Parameterized verification of monotone information systems. Formal Aspects Comput. 30 (3-4) (2018)
Lionel Nganyewou Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar
Extended Algebraic State-Transition Diagrams. ICECCS (2018)
Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ (2018)
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
A Translation from Alloy to B. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM (2018)
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
The SysML/KAOS Domain Modeling Approach. CoRR (2017)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau
Verification of SGAC Access Control Policies Using Alloy and ProB. HASE (2017)
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR (2017)
Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. RE Workshops (2017)
Hubert Kenfack Ngankam, Hélène Pigot, Marc Frappier, Camila Helena Souza Oliveira, Sylvain Giroux
Formal Specification for Ambient Assisted Living Scenarios. UCAmI (2017)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau
SGAC: A patient-centered access control method. RCIS (2016)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. 131 (2016)
Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ (2016)
Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
Model-Based Robustness Testing in Event-B Using Mutation. SEFM (2015)
Amel Mammar, Marc Frappier
Proof-based verification approaches for dynamic properties: application to the information system domain. Formal Aspects Comput. 27 (2) (2015)
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
Formal refinement of extended state machines. Refine@FM (2015)
Fama Diagne, Amel Mammar, Marc Frappier
A Tool for Verifying Dynamic Properties in B. SEFM (2014)
Amel Mammar, Marc Frappier
Verifying the Precedence Property Pattern Using the B Method. HASE (2014)
Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
Refinement patterns for ASTDs. Formal Aspects Comput. 26 (5) (2014)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
Validating the RBAC ANSI 2012 Standard Using B. ABZ (2014)
Benoît Fraikin, Marc Frappier, Richard St-Denis
Supervisory control theory with Alloy. Sci. Comput. Program. 94 (2014)
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) (2013)
Aymerick Savary, Marc Frappier, Jean-Louis Lanet
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. IFM (2013)
Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa
Proving the Absence Property Pattern Using the B Method. HASE (2012)
Benoît Fraikin, Marc Frappier, Richard St-Denis
Modeling the Supervisory Control Theory with Alloy. ABZ (2012)
Marc Frappier, Amel Mammar
An Assertions-Based Approach to Verifying the Absence Property Pattern. ISSRE (2012)
Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier
A Design by Contract Approach to Verify Access Control Policies. ICECCS (2012)
Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Jérémy Milhau, Marc Frappier, Régine Laleau
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS (2011)
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)
Marc Frappier, Amel Mammar
Proving Non-interference on Reachability Properties: A Refinement Approach. APSEC (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. Innov. Syst. Softw. Eng. 7 (4) (2011)
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)
Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS (2011)
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)
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. Int. J. Syst. Serv. Oriented Eng. 2 (2) (2011)
Marc Frappier, Fama Diagne, Amel Mammar
Proving Reachability in B using Substitution Refinement. Electron. Notes Theor. Comput. Sci. 280 (2011)
Pierre Konopacki, Marc Frappier, Régine Laleau
Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops (2011)
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)
Amel Mammar, Marc Frappier, Fama Diagne
A proof-based approach to verifying reachability properties. SAC (2011)
Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar
Comparison of Model Checking Tools for Information Systems. ICFEM (2010)
Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
Systematic Translation Rules from astd to Event-B. IFM (2010)
Pierre Konopacki, Marc Frappier, Régine Laleau
SEC. Ingénierie des Systèmes d Inf. 15 (3) (2010)
Philippe Michelin, Marc Frappier
Distinction-based and verification-assisted knowledge modeling. RELAW (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)
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)
Frédéric Gervais, Marc Frappier, Régine Laleau
attribute definitions. Softw. Syst. Model. 8 (3) (2009)
Benoît Fraikin, Marc Frappier
Efficient symbolic computation of process expressions. Sci. Comput. Program. 74 (9) (2009)
Pierre Konopacki, Marc Frappier, Régine Laleau
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID (2009)
Philippe Michelin, Marc Frappier
Formal Modeling for Deploying Improvement and Innovation in Information Technology. KMIS (2009)
Jérémy Milhau, Benoît Fraikin, Marc Frappier
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM (2009)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
Applying CSP || B to information systems. Softw. Syst. Model. 7 (1) (2008)
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4 (3) (2008)
Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Synthesizing Information Systems: the APIS Project. RCIS (2007)
Benoît Fraikin, Marc Frappier
Efficient Symbolic Execution of Large Quantifications in a Process Algebra. ICFEM (2007)
Frédéric Gervais, Marc Frappier, Régine Laleau
Process Patterns into B Specifications. B (2007)
Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson
Domain specific languages: another silver bullet? OOPSLA Companion (2007)
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)
Benoît Fraikin, Marc Frappier
Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS (2006)
Frédéric Gervais, Marc Frappier, Régine Laleau
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS (2005)
Hassan B. Diab, Fouad Koukane, Marc Frappier, Richard St-Denis
mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Inf. Softw. Technol. 47 (3) (2005)
Benoît Fraikin, Marc Frappier, Régine Laleau
. Softw. Syst. Model. 4 (3) (2005)
Frédéric Gervais, Marc Frappier, Régine Laleau
Attribute Definitions. IFM (2005)
Frédéric Gervais, Marc Frappier, Régine Laleau
Traces. SEFM (2005)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA (2004)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
How to Verify Dynamic Properties of Information Systems. SEFM (2004)
Marc Frappier, Mario Richard
SMP: A Process-Driven Approach to Project Management. HICSS (2004)
Marc Frappier, Richard St-Denis
EB 3: an entity-based black-box specification method for information systems. Softw. Syst. Model. 2 (2) (2003)

Marc Frappier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Frappier