Marc Frappier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
29
Active years
1994–2025
Best venue rank
A*
Where they publish
- BSEFM5 papers
- CICFEM5 papers
- BIFM5 papers
- BICECCS4 papers
- BWISE2 papers
- ARE2 papers
- BRCIS2 papers
- CCRiSIS1 paper
- CWINCOM1 paper
- BDIMVA1 paper
- AESORICS1 paper
- NationalTASE1 paper
- ADSN1 paper
- BAINA1 paper
- CICSoft1 paper
- AISSRE1 paper
- CAPSEC1 paper
- ACaiSE1 paper
- CFMICS1 paper
- A*PERCOM1 paper
- MulticonferenceSAC1 paper
- CSECRYPT1 paper
- CIC3K1 paper
- AOOPSLA1 paper
- BATVA1 paper
- CAICCSA1 paper
- CLOPSTR1 paper
- BMPC1 paper
- CSEKE1 paper
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CRiSIS | Improving the Accuracy of Embeddings for Matching Tasks in Cybersecurity Using Generated Dictionaries. | Arian Soltani, Abir Bala, D'Jeff Kanda Nkashama, Pierre-Martin Tardif, Ayoub Bahnasse, Marc Frappier, Froduald Kabanza |
| 2025 | SEFM | A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. | Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2025 | WINCOM | EHKEA: A Lightweight and Secure Authentication Protocol for Healthcare Iot Systems in 5G Networks with Enhanced Resistance to Emerging Threats. | Younes-Amine Loutfi, Marc Frappier, Brahim El Bhiri, Pierre-Martin Tardif, Mohammed Raiss El-Fenni |
| 2024 | DIMVA | 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 |
| 2024 | ESORICS | 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 |
| 2024 | ICECCS | Modeling and Verification of Solidity Smart Contracts with the B Method. | Fayal Baba, Amel Mammar, Marc Frappier, Rgine Laleau |
| 2024 | WISE | 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, Christian N. Mayemba, Nathanal M. Kasoro, Selain K. Kasereka, Hardy Mikese, Pierre-Martin Tardif, Marc Frappier, Froduald Kabanza, Shengrui Wang, Ali Mulenda Sumbu, Xavier Ndona, Raoul Kienge-Kienge Intudi |
| 2023 | ICFEM | Proving Local Invariants in ASTDs. | Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2022 | TASE | Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. | Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif |
| 2021 | DSN | Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study. | Louis-Simon Ltourneau, Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif, Guy Lpine, Guillaume Boisvert |
| 2020 | AINA | Intrusion Detection Using ASTDs. | Lionel N. Tidjon, Marc Frappier, Amel Mammar |
| 2019 | ICFEM | Assessment of a Formal Requirements Modeling Approach on a Transportation System. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili |
| 2019 | ICSoft | A Formal Requirements Modeling Approach: Application to Rail Communication. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Hctor Ruz Barradas, Marc Frappier, Amel Mammar |
| 2018 | ICECCS | Back Propagating B System Updates on SysML/KAOS Domain Models. | Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar |
| 2018 | ICECCS | Extended Algebraic State-Transition Diagrams. | Lionel N. Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar |
| 2018 | IFM | Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. | Steve Jeffrey Tueno Fotso, Marc Frappier, Rgine Laleau, Amel Mammar, Michael Leuschel |
| 2017 | RE | Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. | Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier |
| 2016 | RCIS | SGAC: A patient-centered access control method. | Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau |
| 2015 | SEFM | Model-Based Robustness Testing in Event-B Using Mutation. | Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet |
| 2014 | SEFM | A Tool for Verifying Dynamic Properties in B. | Fama Diagne, Amel Mammar, Marc Frappier |
| 2013 | IFM | Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
| 2012 | ICECCS | A Design by Contract Approach to Verify Access Control Policies. | Hakim Ferrier-Belhaouari, Pierre Konopacki, Rgine Laleau, Marc Frappier |
| 2012 | ISSRE | An Assertions-Based Approach to Verifying the Absence Property Pattern. | Marc Frappier, Amel Mammar |
| 2011 | APSEC | Proving Non-interference on Reachability Properties: A Refinement Approach. | Marc Frappier, Amel Mammar |
| 2011 | CaiSE | Expressing Access Control Policies with an Event-Based Approach. | Pierre Konopacki, Marc Frappier, Rgine Laleau |
| 2011 | FMICS | A SAT-Based Approach for the Construction of Reusable Control System Components. | Daniel Ct, Benot Fraikin, Marc Frappier, Richard St-Denis |
| 2011 | PERCOM | Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. | Thibault De Champs, Bessam Abdulrazak, Hlne Pigot, Mohammed Ouenzar, Marc Frappier, Benot Fraikin |
| 2011 | SAC | A proof-based approach to verifying reachability properties. | Amel Mammar, Marc Frappier, Fama Diagne |
| 2011 | SECRYPT | A Four-concern-oriented Secure IS Development Approach. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Pierre Konopacki, Rgine Laleau, Jrmy Milhau, Richard St-Denis |
| 2010 | ICFEM | Comparison of Model Checking Tools for Information Systems. | Marc Frappier, Benot Fraikin, Romain Chossart, Raphal Chane-Yack-Fa, Mohammed Ouenzar |
| 2010 | IFM | Systematic Translation Rules from astd to Event-B. | Jrmy Milhau, Marc Frappier, Frdric Gervais, Rgine Laleau |
| 2010 | RE | Distinction-based and verification-assisted knowledge modeling. | Philippe Michelin, Marc Frappier |
| 2010 | WISE | From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Rgine Laleau, Richard St-Denis |
| 2009 | IC3K | Formal Modeling for Deploying Improvement and Innovation in Information Technology. | Philippe Michelin, Marc Frappier |
| 2009 | IFM | Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. | Jrmy Milhau, Benot Fraikin, Marc Frappier |
| 2007 | ICFEM | Efficient Symbolic Execution of Large Quantifications in a Process Algebra. | Benot Fraikin, Marc Frappier |
| 2007 | OOPSLA | Domain specific languages: another silver bullet? | Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson |
| 2007 | RCIS | Synthesizing Information Systems: the APIS Project. | Marc Frappier, Benot Fraikin, Frdric Gervais, Rgine Laleau, Mario Richard |
| 2005 | IFM | Synthesizing B Specifications from EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2005 | SEFM | Generating Relational Database Transactions From Recursive Functions Defined on EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2004 | ATVA | Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. | Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis |
| 2004 | SEFM | How to Verify Dynamic Properties of Information Systems. | Neil Evans, Helen Treharne, Rgine Laleau, Marc Frappier |
| 2002 | ICFEM | A Formal Definition of Function Points for Automated Measurement of B Specifications. | Hassan B. Diab, Marc Frappier, Richard St-Denis |
| 2001 | AICCSA | Formalizing COSMIC-FFP Using ROOM. | Hassan B. Diab, Marc Frappier, Richard St-Denis |
| 1998 | LOPSTR | Mathematical Foundations for Program Transformations. | Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
| 1995 | MPC | Program Construction by Parts. | Marc Frappier, Ali Mili, Jules Desharnais |
| 1994 | SEKE | A process for verification based inspections. | Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce |