Marc Frappier

Publications

Articles

• D’Jeff Nkashama, Jordan F. Masakuna, Arian Soltani, François Charest, Yassir Chekour, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza. (2026). ANADOE: Auto-Encoder-Based Network Anomaly Detection with Outlier Exposure. IEEE Internet of Things Journal. DOI
• Jordan F. Masakuna, Djeff K. Nkashama, Arian Soltani, Marc Frappier, Pierre M. Tardif, Froduald Kabanza. (2026). Enhancing Anomaly Alert Prioritization through Calibrated Standard Deviation Uncertainty Estimation with an Ensemble of Auto-Encoders. IEEE Transactions on Network and Service Management. DOI
• Jordan F. Masakuna, Djeff K. Nkashama, Arian Soltani, Marc Frappier, Pierre M. Tardif, Froduald Kabanza. (2025). Streamlined and Resource-Efficient Estimation of Epistemic Uncertainty in Deep Ensemble Classification Decision via Regression. IEEE Transactions on Emerging Topics in Computational Intelligence. DOI
• Mammar, A., Frappier, M., Laleau, R. (2024). An Event-B model of an automotive adaptive exterior light system. International Journal on Software Tools for Technology Transfer. DOI
• Mammar, A., Frappier, M. (2024). Modeling of a speed control system using Event-B. International Journal on Software Tools for Technology Transfer. DOI
• Mammar, A., Frappier, M., Tueno Fotso, S.J., Laleau, R. (2020). A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer. DOI
• Tueno Fotso, S.J., Frappier, M., Laleau, R., Mammar, A. (2020). Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer. DOI
• Krings, S., Leuschel, M., Schmidt, J., Schneider, D., Frappier, M. (2020). Translating Alloy and extensions to classical B. Science of Computer Programming. DOI
• Tidjon, L.N., Frappier, M., Mammar, A. (2019). Intrusion Detection Systems: A Cross-Domain Overview. IEEE Communications Surveys and Tutorials. DOI
• Huynh, N., Frappier, M., Pooda, H., Mammar, A., Laleau, R. (2019). SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Computer Journal. DOI
• Chane-Yack-Fa, R., Frappier, M., Mammar, A., Finkel, A. (2018). Parameterized verification of monotone information systems. Formal Aspects of Computing. DOI
• Huynh, N., Frappier, M., Mammar, A., Laleau, R., Desharnais, J. (2016). A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming. DOI
• Mammar, A., Frappier, M. (2015). Proof-based verification approaches for dynamic properties: application to the information system domain. Formal Aspects of Computing. DOI
• Frappier, M., Gervais, F., Laleau, R., Milhau, J. (2014). Refinement patterns for ASTDs. Formal Aspects of Computing. DOI
• Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (2013). Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Science of Computer Programming. DOI
• Milhau, J., Idani, A., Laleau, R., Labiadh, M.A., Ledru, Y., Frappier, M. (2011). Combining UML, ASTD and B for the formal specification of an access control filter. Innovations in Systems and Software Engineering. DOI
• Fraikin, B., Frappier, M. (2009). Efficient symbolic computation of process expressions. Science of Computer Programming. DOI
• Gervais, F., Frappier, M., Laleau, R. (2009). Generating relational database transactions from EB3 attribute definitions. Software and Systems Modeling. DOI
• Frappier, M., Gervais, F., Laleau, R., Fraikin, B., St-Denis, R. (2008). Extending statecharts with process algebra operators. Innovations in Systems and Software Engineering. DOI
• Fraikin, B., Frappier, M., Laleau, R. (2005). State-based versus event-based specifications for information systems: A comparison of B and EB3. Software and Systems Modeling. DOI
• Diab, H., Koukane, F., Frappier, M., St-Denis, R. (2005). μcROSE: Automated measurement of COSMIC-FFP for Rational Rose RealTime. Information and Software Technology. DOI
• Ayed, R.B., Desharnais, J., Frappier, M., Mili, A. (2000). Calculus of program adaptation and its applications. Science of Computer Programming. DOI
• Mili, R., Desharnais, J., Frappier, M., Mili, A. (2000). Semantic distance between specifications. Theoretical Computer Science. DOI
• Desharnais, J., Frappier, M., Khédri, R., Mili, A. (1998). Integration of sequential scenarios. IEEE Transactions on Software Engineering. DOI
• Frappier, M., Mili, A., Desharnais, J. (1996). A relational calculus for program construction by parts. Science of Computer Programming. DOI

Livres

• Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (2010). Abstract State Machines, Alloy, B and Z: Preface. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics.
• Frappier, M., Habrias, H. (2010). Preface. Software Specification Methods. DOI
• Habrias, H., Frappier, M. (2010). Software Specification Methods. Software Specification Methods. DOI
• Bherer, H., Desharnais, J., Frappier, M., St-Denis, R. (2004). Investigating discrete controllability with kleene algebra. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Bherer, H., Desharnais, J., Frappier, M., St-Denis, R. (2004). Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Frappier, M., Laleau, R. (2003). Proving event ordering properties for information systems. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI

Chapitres de livre

• Alex Rodrigue Ndouna, Marc Frappier, Frédéric Mallet. (2026). A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD. DOI
• Quelen Cartellier, Marc Frappier, Amel Mammar. (2026). A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. DOI
• Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif. (2025). ASTD Patterns for Integrated Continuous Anomaly Detection in Data Logs. DOI
• D’Jeff K. Nkashama, Jordan F. Masakuna, Arian Soltani, Jean-Charles Verdier, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza. (2025). Deep Learning for Network Anomaly Detection Under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. DOI
• Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau. (2025). Modeling and Verification of Solidity Smart Contracts with the B Method. DOI
• Alex Rodrigue Ndouna, Marc Frappier. (2024). Modelling a Mechanical Lung Ventilation System Using TASTD. DOI
• Tueno, S., Laleau, R., Mammar, A., Frappier, M. (2020). Integrating Domain Modeling Within a Formal Requirements Engineering Method. Implicit and Explicit Semantics Integration in Proof Based Developments of Discrete Systems Communications of NII Shonan Meetings. DOI
• Embe Jiague, M., Frappier, M., Gervais, F., Laleau, R., St-Denis, R. (2012). Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. Mobile and Web Innovations in Systems and Service Oriented Engineering. DOI
• Frappier, M., Habrias, H., Poizat, P. (2010). A Comparison of the Specification Methods. Software Specification Methods. DOI
• Diab, H., Frappier, M. (2010). B. Software Specification Methods. DOI
• Gervais, F., Frappier, M., St-Denis, R. (2010). EB3. Software Specification Methods. DOI
• Habrias, H., Poizat, P., Frappier, M. (2010). Glossary. Software Specification Methods. DOI

Articles de conférence

• Onofrei, A., Frappier, M., Bernard, É. (2026). Model-Based Testing of Non-deterministic Systems. Lecture Notes in Computer Science. DOI
• Loutfi, Y.-A., Tardif, P.-M., Fenni, M.R.E., Bhiri, B.E., Frappier, M., Laraig, Y. (2025). A Comprehensive Survey of Lightweight Authentication Schemes for the Internet of Things. Advances in Science Technology and Innovation. DOI
• Chen, C., Rivière, P., Singh, N.K., Dupont, G., Ameur, Y.A., Frappier, M. (2025). A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B. Proceedings 2025 IEEE ACM 13th International Conference on Formal Methods in Software Engineering Formalise 2025. DOI
• Tshimula, J.M., Nkashama, D.K., Muabila, J.T., Galekwa, R.M., Kanda, H., Dialufuma, M.V., Didier, M.M., Kalonji, K., Mundele, S., Lenye, P.K., Basele, T.W., Ilunga, A., Mayemba, C.N., Kasoro, N.M., Kasereka, S.K., Mikese, H., Tardif, P.-M., Frappier, M., Kabanza, F., ... Intudi, R.K.-K. (2025). Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. Lecture Notes in Computer Science. DOI
• Soltani, A., Nkashama, D.K., Masakuna, J.F., Frappier, M., Tardif, P.-M., Kabanza, F. (2024). Extended Abstract: Assessing Language Models for Semantic Textual Similarity in Cybersecurity. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• de Azevedo Oliveira, D., Frappier, M. (2023). Modelling an Automotive Software System with TASTD. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Cartellier, Q., Frappier, M., Mammar, A. (2023). Proving Local Invariants in ASTDs. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Larouche, J.-B., Roy, S., Mailhot, F., Tardif, P.-M., Frappier, M. (2023). SCADA Radio Blackbox Reverse Engineering. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• de Azevedo Oliveira, D., Frappier, M. (2023). TASTD: A Real-Time Extension for ASTD. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Létourneau, L.-S., El Jabri, C., Frappier, M., Tardif, P.-M., Lépine, G., Boisvert, G. (2021). Statistical Approach for Cloud Security: Microsoft Office 365 audit logs case study. Proceedings 51st Annual IEEE IFIP International Conference on Dependable Systems and Networks Workshops Dsn W 2021. DOI
• Mammar, A., Frappier, M., Laleau, R. (2020). An Event-B Model of an Automotive Adaptive Exterior Light System. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Tidjon, L.N., Frappier, M., Mammar, A. (2020). Intrusion Detection Using ASTDs. Advances in Intelligent Systems and Computing. DOI
• Mammar, A., Frappier, M. (2020). Modeling of a Speed Control System Using Event-B. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• de Azevedo Oliveira, D., Frappier, M. (2020). Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Fotso, S.J.T., Laleau, R., Barradas, H.R., Frappier, M., Mammar, A. (2019). A formal requirements modeling approach: Application to rail communication. Icsoft 2019 Proceedings of the 14th International Conference on Software Technologies. DOI
• Tueno Fotso, S.J., Laleau, R., Frappier, M., Mammar, A., Thibodeau, F., Nsangou Mouchili, M. (2019). Assessment of a Formal Requirements Modeling Approach on a Transportation System. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Krings, S., Schmidt, J., Brings, C., Frappier, M., Leuschel, M. (2018). A translation from alloy to B. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Mammar, A., Frappier, M., Tueno Fotso, S.J., Laleau, R. (2018). An event-B model of the hybrid ERTMS/ETCS level 3 standard. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Tueno, S., Frappier, M., Laleau, R., Mammar, A. (2018). Back propagating B system updates on SysML/KAOS domain models. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS. DOI
• Tueno Fotso, S.J., Mammar, A., Laleau, R., Frappier, M. (2018). Event-B expression and verification of translation rules between sysML/KAOS domain models and B system specifications. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Tidjon, L.N., Frappier, M., Leuschel, M., Mammar, A. (2018). Extended algebraic state-transition diagrams. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems ICECCS. DOI
• Tueno Fotso, S.J., Frappier, M., Laleau, R., Mammar, A., Leuschel, M. (2018). Formalisation of SysML/KAOS goal assignments with B system component decompositions. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Tueno Fotso, S.J., Frappier, M., Laleau, R., Mammar, A. (2018). Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Kenfack Ngankam, H., Pigot, H., Frappier, M., Oliveira, C.H., Giroux, S. (2017). Formal specification for ambient assisted living scenarios. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Tueno, S., Laleau, R., Mammar, A., Frappier, M. (2017). Towards using ontologies for domain modeling within the SysML/KAOS approach. Proceedings 2017 IEEE 25th International Requirements Engineering Conference Workshops Rew 2017. DOI
• Huynh, N., Frappier, M., Mammar, A., Laleau, R. (2017). Verification of SGAC access control policies using alloy and ProB. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. DOI
• Fayolle, T., Frappier, M., Laleau, R., Gervais, F. (2016). Formal refinement of extended state machines. Electronic Proceedings in Theoretical Computer Science Eptcs. DOI
• Fayolle, T., Frappier, M., Gervais, F., Laleau, R. (2016). Modelling a hemodialysis machine using Algebraic state-Transition Diagrams and B-like methods. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Huynh, N., Frappier, M., Pooda, H., Mammar, A., Laleau, R. (2016). SGAC: A patient-centered access control method. Proceedings International Conference on Research Challenges in Information Science. DOI
• Savary, A., Frappier, M., Leuschel, M., Lanet, J.-L. (2015). Model-based robustness testing in EVENT-B using mutation. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Diagne, F., Mammar, A., Frappier, M. (2014). A tool for verifying dynamic properties in B. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Fraikin, B., Frappier, M., St-Denis, R. (2014). Supervisory control theory with Alloy. Science of Computer Programming. DOI
• Huynh, N., Frappier, M., Mammar, A., Laleau, R., Desharnais, J. (2014). Validating the RBAC ANSI 2012 standard using B. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Mammar, A., Frappier, M. (2014). Verifying the precedence property pattern using the B method. Proceedings 2014 IEEE 15th International Symposium on High Assurance Systems Engineering Hase 2014. DOI
• Savary, A., Frappier, M., Lanet, J.-L. (2013). Detecting vulnerabilities in java-card bytecode verifiers using model-based testing. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Ferrier-Belhaouari, H., Konopacki, P., Laleau, R., Frappier, M. (2012). A design by contract approach to verify access control policies. Proceedings 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems ICECCS 2012. DOI
• Embe Jiague, M., Frappier, M., Gervais, F., Laleau, R., St-Denis, R. (2012). A metamodel for the design of access-control policy enforcement managers: Work in progress. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Milhau, J., Frappier, M., Laleau, R. (2012). A metamodel of the B modeling of access-control policies: Work in progress. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Frappier, M., Mammar, A. (2012). An assertions-based approach to verifying the absence property pattern. Proceedings International Symposium on Software Reliability Engineering ISSRE. DOI
• Fraikin, B., Frappier, M., St-Denis, R. (2012). Modeling the supervisory control theory with alloy. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Mammar, A., Frappier, M., Chane-Yack-Fa, R. (2012). Proving the absence property pattern using the B method. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. DOI
• Konopacki, P., Belhaouari, H., Frappier, M., Laleau, R. (2012). Specification and verification of access control policies in EB 3SEC: Work in progress. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Côté, D., Fraikin, B., Frappier, M., St-Denis, R. (2011). A SAT-based approach for the construction of reusable control system components. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Jiague, M.E., Frappier, M., Gervais, F., Konopacki, P., Laleau, R., Milhau, J., St-Denis, R. (2011). A four-concern-oriented secure is development approach. Secrypt 2011 Proceedings of the International Conference on Security and Cryptography.
• Mammar, A., Frappier, M., Diagne, F. (2011). A proof-based approach to verifying reachability properties. Proceedings of the ACM Symposium on Applied Computing. DOI
• Savary, A., Frappier, M., Lanet, J.-L. (2011). Automatic generation of vulnerability tests for the java card byte code verifier. 2011 Conference on Network and Information Systems Security SAR Ssi 2011 Proceedings. DOI
• Konopacki, P., Frappier, M., Laleau, R. (2011). Expressing access control policies with an event-based approach. Lecture Notes in Business Information Processing. DOI
• Jiague, M.E., Frappier, M., Gervais, F., Laleau, R., St-Denis, R. (2011). From ASTD access control policies to WS-BPEL processes deployed in a SOA environment. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• De Champs, T., Abdulrazak, B., Pigot, H., Ouenzar, M., Frappier, M., Fraikin, B. (2011). Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. 2011 IEEE International Conference on Pervasive Computing and Communications Workshops Percom Workshops 2011. DOI
• Frappier, M., Mammar, A. (2011). Proving non-interference on reachability properties: A refinement approach. Proceedings Asia Pacific Software Engineering Conference APSEC. DOI
• Frappier, M., Diagne, F., Mammar, A. (2011). Proving reachability in B using substitution refinement. Electronic Notes in Theoretical Computer Science. DOI
• Frappier, M., Fraikin, B., Chossart, R., Chane-Yack-Fa, R., Ouenzar, M. (2010). Comparison of model checking tools for information systems. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Michelin, P., Frappier, M. (2010). Distinction-based and verification-assisted knowledge modeling. 2010 3rd International Workshop on Requirements Engineering and Law Relaw 2010. DOI
• Jiague, M.E., Frappier, M., Gervais, F., Konopacki, P., Laleau, R., Milhau, J., St-Denis, R. (2010). Model-driven engineering of functional security policies. Iceis 2010 Proceedings of the 12th International Conference on Enterprise Information Systems.
• Milhau, J., Frappier, M., Gervais, F., Laleau, R. (2010). Systematic translation rules from astd to event-B. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Milhau, J., Fraikin, B., Frappier, M. (2009). Automatic generation of error messages for the symbolic execution of EB3 process expressions. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Michelin, P., Frappier, M. (2009). Formal modeling for deploying improvement and innovation in information technology. Kmis 2009 1st International Conference on Knowledge Management and Information Sharing Proceedings.
• Konopacki, P., Frappier, M., Laleau, R. (2009). Security policy modeling using the process algebra,Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Xxviieme Congres Inforsid 2009.
• Evans, N., Treharne, H., Laleau, R., Frappier, M. (2008). Applying CSP ∥ B to information systems. Software and Systems Modeling. DOI
• Fraikin, B., Frappier, M. (2007). Efficient symbolic execution of large quantifications in a process algebra. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Gervais, F., Batanado, P., Frappier, M., Laleau, R. (2006). EB3TG: A tool synthesizing relational database transactions from EB3 attribute definitions. Iceis 2006 8th International Conference on Enterprise Information Systems Proceedings.
• Fraikin, B., Frappier, M. (2006). Efficient interpretation of large quantifications in a process Algebra. Proceedings of the 4th International Workshop on Modelling Simulation Verification and Validation of Enterprise Information Systems Msvveis 2006 in Conjunction with Iceis 2006.
• Gervais, F., Frappier, M., Laleau, R. (2006). Refinement of EB3 process patterns into B specifications. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Gervais, F., Frappier, M., Laleau, R. (2005). Generating relational database transactions from recursive functions defined on EB3 traces. Proceedings 3rd IEEE International Conference on Software Engineering and Formal Methods Sefm 2005. DOI
• Gervais, F., Frappier, M., Laleau, R. (2005). How to synthesize relational database transactions from EB3 attribute definitions?. Proceedings of the 3rd International Workshop on Modelling Simulation Verification and Validation of Enterprise Information Systems Msvveis 2005 in Conjunction with Iceis 2005.
• Gervais, F., Frappier, M., Laleau, R. (2005). Synthesizing B specifications from EB3 attribute definitions. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Evans, N., Treharne, H., Laleau, R., Frappier, M. (2004). How to verify dynamic properties of information systems. Proceedings of the Second International Conference on Software Engineering and Formal Methods Sefm 2004. DOI
• Frappier, M., Richard, M. (2004). SMP: A process-driven approach to project management. Proceedings of the Hawaii International Conference on System Sciences. DOI
• Diab, H., Frappier, M., St-Denis, R. (2002). A formal definition of function points for automated measurement of B specifications. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Diab, H., Frappier, M., St. Denis, R. (2001). Formalizing COSMIC-FFP using ROOM. Proceedings of IEEE ACS International Conference on Computer Systems and Applications Aiccsa. DOI
• Desharnais, J., Frappier, M., Jaoua, A., MacCaull, W. (2001). Relational methods in computer science. Information Sciences. DOI
• Frappier, M., St-Denis, R. (2001). Towards a computer-aided design of reactive systems. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Ben Ayed, R., Desharnais, J., Frappier, M., Mili, A. (1998). Mathematical foundations for program transformations. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics.
• Frappier, M., St-Denis, R. (1998). Specification method for Cleanroom's black box description. Proceedings of the Hawaii International Conference on System Sciences.
• Mili, R., Frappier, M., Desharnais, J., Mili, A. (1997). A calculus of program modifications. Proceedings of the 1997 Symposium on Software Reusability Ssr 1997. DOI
• Desharnais, J., Frappier, M., Khédri, R., Mili, A. (1997). Integration of sequential scenarios. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Jilani, Lamia Labed, Desharnais, Jules, Frappier, Marc, Mili, Rym, Mili, Ali. (1997). Retrieving software components that minimize adaptation effort. Proceedings of the IEEE International Automated Software Engineering Conference Ase.
• Frappier, M., Mili, A., Desharnais, J. (1995). Program construction by parts. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. DOI
• Alpert, N.M., Burnham, C.A., Deveau, L.A., Krevy, R.H., Bradshaw, J., Brownell, G.L., Kaufman, D., Frappier, M. (1978). NEW DATA PROCESSING SYSTEM FOR GATED CARDIAC STUDIES. undefined.

Autres contributions

Cours enseignés à l'UdeS

• IGL501 - Méthodes formelles en génie logiciel. (2025). (3CR).
• IGL710 - Méthodes formelles en génie logiciel. (2025). (3CR).
• MAT115 - Logique et mathématiques discrètes. (2023-2025). (3CR).

Divers

• Nkashama, D.K., Masakuna, J.F., Soltani, A., Charest, F., Chekour, Y., Frappier, M., Tardif, P.-M., Kabanza, F. (2025). ANADOE: Auto-Encoder-Based Network Anomaly Detection with Outlier Exposure. Techrxiv.
• Masakuna, J.F., Nkashama, D.K., Soltani, A., Frappier, M., Tardif, P.M., Kabanza, F., Kafunda, P.K. (2025). Impact of Inaccurate Contamination Ratios on Robust Unsupervised Anomaly Detection: Experimental Investigation. Techrxiv.
• Jabri, C.E., Frappier, M., Tardif, P.-M. (2024). ASTD Patterns for Integrated Continuous Anomaly Detection In Data Logs. Arxiv.
• Masakuna, J.F., Bouchouareb, A.Y., Nkashama, D.K., Soltani, A., Frappier, M., Tardif, P.M., Kabanza, F. (2024). Data Cleaning for Unsupervised Anomaly Detection. Techrxiv.
• Nkashama, D.K., Félicien, J.M., Soltani, A., Verdier, J.-C., Tardif, P.-M., Frappier, M., Kabanza, F. (2024). Deep Learning for Network Anomaly Detection under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. Arxiv.
• Masakuna, J.F., Nkashama, D.K., Soltani, A., Frappier, M., Tardif, P.M., Kabanza, F. (2024). Enhancing Security Anomaly Alert Prioritization through Calibrated Standard Deviation Uncertainty Estimation with an Ensemble of Auto-Encoders. Techrxiv.
• Masakuna, J.F., Nkashama, D.K., Soltani, A., Frappier, M., Tardif, P.-M., Kabanza, F. (2024). Impact of Inaccurate Contamination Ratio on Robust Unsupervised Anomaly Detection. Arxiv.
• Tshimula, J.M., Ndona, X., Nkashama, D.K., Tardif, P.-M., Kabanza, F., Frappier, M., Wang, S. (2024). Preventing Jailbreak Prompts as Malicious Tools for Cybercriminals: A Cyber Defense Perspective. Arxiv.
• Tshimula, J.M., Nkashama, D.K., Muabila, J.T., Galekwa, R.M., Kanda, H., Dialufuma, M.V., Didier, M.M., Kalala, K., Mundele, S., Lenye, P.K., Basele, T.W., Ilunga, A., Mayemba, C.N., Kasoro, N.M., Kasereka, S.K., Mikese, H., Tardif, P.-M., Frappier, M., Kabanza, F., ... Intudi, R.K.-K. (2024). Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. Arxiv.
• Masakuna, J.F., Nkashama, D.K., Soltani, A., Frappier, M., Tardif, P.-M., Kabanza, F. (2023). Calibrated Uncertainty Quantification on Auto-Encoders for Anomaly Detection with Standard Deviation as Metric. Techrxiv.
• Tshimula, J.M., Nkashama, D.K., Owusu, P., Frappier, M., Tardif, P.-M., Kabanza, F., Brun, A., Patenaude, J.-M., Wang, S., Chikhaoui, B. (2023). Characterizing Financial Market Coverage using Artificial Intelligence. Arxiv.
• Masakuna, J.F., Nkashama, D.K., Soltani, A., Frappier, M., Tardif, P.-M., Kabanza, F. (2023). Streamlined and Resource-Efficient Predictive Uncertainty Estimation of Deep Ensemble Predictions via Regression. Techrxiv.
• Verdier, J.-C., Nkashama, D.K., Frappier, M., Tardif, P.-M., Kabanza, F. (2023). The Drawback of Binary Labeling for the Evaluation of Unsupervised Intrusion Detection Algorithms. Ssrn.
• Alvarez, M., Verdier, J.-C., Nkashama, D.K., Frappier, M., Tardif, P.-M., Kabanza, F. (2022). A REVEALING LARGE-SCALE EVALUATION OF UNSUPERVISED ANOMALY DETECTION ALGORITHMS. Arxiv.
• Nkashama, D.K., Soltani, A., Verdier, J.-C., Frappier, M., Tardif, P.-M., Kabanza, F. (2022). Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems. Arxiv.
• Fotso, S.J.T., Frappier, M., Mammar, A., Laleau, R. (2018). SysML/KAOS domain models and B System specifications. Arxiv.
• Tueno Fotso, S.J., Frappier, M., Laleau, R., Mammar, A., Barradas, H.R. (2018). The generic SysML/KAOS domain metamodel. Arxiv.
• Fotso, S.J.T., Mammar, A., Laleau, R., Frappier, M. (2017). Formal representation of SysML/KAOS domain model (complete version). Arxiv.
• TUENO, S., LALEAU, R., MAMMAR, A., FRAPPIER, M. (2017). The SysML/KAOS Domain Modeling Approach. Arxiv.