Marc Frappier - RankMe

137 papers A* 1A 1B 20C 27Misc 2Journal 46Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	ANADOE: Autoencoder-Based Network Anomaly Detection With Outlier Exposure. IEEE Internet Things J. D'Jeff Kanda Nkashama, Jordan F. Masakuna, Arian Soltani, François Charest, Yassir Chekour, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2026	J	`jnl`	Enhancing Anomaly Alert Prioritization Through Calibrated Standard Deviation Uncertainty Estimation With an Ensemble of Auto-Encoders. IEEE Trans. Netw. Serv. Manag. Jordan F. Masakuna, D'Jeff K. Nkashama, Arian Soltani, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2025	—	`conf`	A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD. SBMF Alex Rodrigue Ndouna, Marc Frappier, Frédéric Mallet
2025	—	`conf`	A Proof-Based Ground Algebraic Meta-Model for Reasoning on ASTD in Event-B. FormaliSE Christophe Chen, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït-Ameur, Marc Frappier
2025	B	`conf`	A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. SEFM Quelen Cartellier, Marc Frappier, Amel Mammar
2025	C	`conf`	EHKEA: A Lightweight and Secure Authentication Protocol for Healthcare Iot Systems in 5G Networks with Enhanced Resistance to Emerging Threats. WINCOM Younes-Amine Loutfi, Marc Frappier, Brahim El Bhiri, Pierre-Martin Tardif, Mohammed Raiss El-Fenni
2025	C	`conf`	Model-Based Testing of Non-deterministic Systems. ABZ Alexander Onofrei, Marc Frappier, Émilie Bernard
2025	J	`jnl`	Streamlined and Resource-Efficient Estimation of Epistemic Uncertainty in Deep Ensemble Classification Decision via Regression. IEEE Trans. Emerg. Top. Comput. Intell. Jordan F. Masakuna, D'Jeff K. Nkashama, Arian Soltani, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2024	J	`jnl`	ASTD Patterns for Integrated Continuous Anomaly Detection In Data Logs. CoRR Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif
2024	—	`conf`	ASTD Patterns for Integrated Continuous Anomaly Detection in Data Logs. SFPVV Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif
2024	J	`jnl`	An Event-B model of an automotive adaptive exterior light system. Int. J. Softw. Tools Technol. Transf. Amel Mammar, Marc Frappier, Régine Laleau
2024	—	`conf`	Deep Learning for Network Anomaly Detection Under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. ESORICS Workshops (2) D'Jeff K. Nkashama, Jordan F. Masakuna, Arian Soltani, Jean-Charles Verdier, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2024	J	`jnl`	Deep Learning for Network Anomaly Detection under Data Contamination: Evaluating Robustness and Mitigating Performance Degradation. CoRR D'Jeff K. Nkashama, Jordan Masakuna Félicien, Arian Soltani, Jean-Charles Verdier, Pierre-Martin Tardif, Marc Frappier, Froduald Kabanza
2024	B	`conf`	Extended Abstract: Assessing Language Models for Semantic Textual Similarity in Cybersecurity. DIMVA Arian Soltani, D'Jeff K. Nkashama, Jordan F. Masakuna, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2024	J	`jnl`	Impact of Inaccurate Contamination Ratio on Robust Unsupervised Anomaly Detection. CoRR Jordan F. Masakuna, D'Jeff Kanda Nkashama, Arian Soltani, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2024	B	`conf`	Modeling and Verification of Solidity Smart Contracts with the B Method. ICECCS Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau
2024	J	`jnl`	Modeling of a speed control system using Event-B. Int. J. Softw. Tools Technol. Transf. Amel Mammar, Marc Frappier
2024	C	`conf`	Modelling a Mechanical Lung Ventilation System Using TASTD. ABZ Alex Rodrigue Ndouna, Marc Frappier
2024	J	`jnl`	Preventing Jailbreak Prompts as Malicious Tools for Cybercriminals: A Cyber Defense Perspective. CoRR Jean Marie Tshimula, Xavier Ndona, D'Jeff K. Nkashama, Pierre-Martin Tardif, Froduald Kabanza, Marc Frappier, Shengrui Wang
2024	—	`conf`	Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. WISE (PhD Symposium, Demos and Workshops) 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, Shengrui Wang, Ali Mulenda Sumbu, Xavier Ndona, Raoul Kienge-Kienge Intudi
2024	J	`jnl`	Psychological Profiling in Cybersecurity: A Look at LLMs and Psycholinguistic Features. CoRR 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
2023	J	`jnl`	Characterizing Financial Market Coverage using Artificial Intelligence. CoRR 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
2023	C	`conf`	Modelling an Automotive Software System with TASTD. ABZ Diego de Azevedo Oliveira, Marc Frappier
2023	C	`conf`	Proving Local Invariants in ASTDs. ICFEM Quelen Cartellier, Marc Frappier, Amel Mammar
2023	C	`conf`	TASTD: A Real-Time Extension for ASTD. ABZ Diego de Azevedo Oliveira, Marc Frappier
2022	J	`jnl`	A Revealing Large-Scale Evaluation of Unsupervised Anomaly Detection Algorithms. CoRR Maxime Alvarez, Jean-Charles Verdier, D'Jeff K. Nkashama, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2022	Misc	`conf`	Development of Monitoring Systems for Anomaly Detection Using ASTD Specifications. TASE Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif
2022	J	`jnl`	Development of monitoring systems for anomaly detection using ASTD specifications. CoRR Chaymae El Jabri, Marc Frappier, Thibaud Ecarot, Pierre-Martin Tardif
2022	J	`jnl`	Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems. CoRR D'Jeff Kanda Nkashama, Arian Soltani, Jean-Charles Verdier, Marc Frappier, Pierre-Martin Tardif, Froduald Kabanza
2022	—	`conf`	SCADA Radio Blackbox Reverse Engineering. FPS Jean-Benoit Larouche, Sébastien Roy, Frédéric Mailhot, Pierre-Martin Tardif, Marc Frappier
2021	—	`conf`	Statistical Approach For Cloud Security: Microsoft Office 365 audit logs case study. DSN Workshops Louis-Simon Létourneau, Chaymae El Jabri, Marc Frappier, Pierre-Martin Tardif, Guy Lépine, Guillaume Boisvert
2020	J	`jnl`	A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
2020	C	`conf`	An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ Amel Mammar, Marc Frappier, Régine Laleau
2020	B	`conf`	Intrusion Detection Using ASTDs. AINA Lionel N. Tidjon, Marc Frappier, Amel Mammar
2020	C	`conf`	Modeling of a Speed Control System Using Event-B. ABZ Amel Mammar, Marc Frappier
2020	J	`jnl`	Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Int. J. Softw. Tools Technol. Transf. Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
2020	J	`jnl`	Translating Alloy and extensions to classical B. Sci. Comput. Program. Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
2020	C	`conf`	Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3. ABZ Diego de Azevedo Oliveira, Marc Frappier
2019	C	`conf`	A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
2019	C	`conf`	Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
2019	J	`jnl`	Intrusion Detection Systems: A Cross-Domain Overview. IEEE Commun. Surv. Tutorials Lionel N. Tidjon, Marc Frappier, Amel Mammar
2019	J	`jnl`	SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau
2018	C	`conf`	A Translation from Alloy to B. ABZ Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
2018	C	`conf`	An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
2018	B	`conf`	Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
2018	C	`conf`	Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
2018	B	`conf`	Extended Algebraic State-Transition Diagrams. ICECCS Lionel N. Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar
2018	B	`conf`	Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
2018	J	`jnl`	From SysML/KAOS Domain Models to B System Specifications. CoRR Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
2018	C	`conf`	Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
2018	J	`jnl`	Parameterized verification of monotone information systems. Formal Aspects Comput. Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel
2018	J	`jnl`	The Generic SysML/KAOS Domain Metamodel. CoRR Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
2017	J	`jnl`	Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
2017	—	`conf`	Formal Specification for Ambient Assisted Living Scenarios. UCAmI Hubert Kenfack Ngankam, Hélène Pigot, Marc Frappier, Camila Helena Souza Oliveira, Sylvain Giroux
2017	J	`jnl`	The SysML/KAOS Domain Modeling Approach. CoRR Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
2017	—	`conf`	Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. RE Workshops Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier
2017	—	`conf`	Verification of SGAC Access Control Policies Using Alloy and ProB. HASE Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau
2016	J	`jnl`	A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2016	C	`conf`	Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
2016	B	`conf`	SGAC: A patient-centered access control method. RCIS Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau
2015	—	`conf`	Formal refinement of extended state machines. Refine@FM Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
2015	B	`conf`	Model-Based Robustness Testing in Event-B Using Mutation. SEFM Aymerick Savary, Marc Frappier, Michael Leuschel, Jean-Louis Lanet
2015	J	`jnl`	Proof-based verification approaches for dynamic properties: application to the information system domain. Formal Aspects Comput. Amel Mammar, Marc Frappier
2014	B	`conf`	A Tool for Verifying Dynamic Properties in B. SEFM Fama Diagne, Amel Mammar, Marc Frappier
2014	J	`jnl`	Refinement patterns for ASTDs. Formal Aspects Comput. Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
2014	J	`jnl`	Supervisory control theory with Alloy. Sci. Comput. Program. Benoît Fraikin, Marc Frappier, Richard St-Denis
2014	C	`conf`	Validating the RBAC ANSI 2012 Standard Using B. ABZ Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2014	—	`conf`	Verifying the Precedence Property Pattern Using the B Method. HASE Amel Mammar, Marc Frappier
2013	J	`jnl`	Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2013	B	`conf`	Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. IFM Aymerick Savary, Marc Frappier, Jean-Louis Lanet
2012	B	`conf`	A Design by Contract Approach to Verify Access Control Policies. ICECCS Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier
2012	A	`conf`	An Assertions-Based Approach to Verifying the Absence Property Pattern. ISSRE Marc Frappier, Amel Mammar
2012	C	`conf`	Modeling the Supervisory Control Theory with Alloy. ABZ Benoît Fraikin, Marc Frappier, Richard St-Denis
2012	—	`conf`	Proving the Absence Property Pattern Using the B Method. HASE Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa
2012	J	`jnl`	Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
2011	C	`conf`	A Four-concern-oriented Secure IS Development Approach. SECRYPT Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
2011	—	`conf`	A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2011	—	`conf`	A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS Jérémy Milhau, Marc Frappier, Régine Laleau
2011	C	`conf`	A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis
2011	Misc	`conf`	A proof-based approach to verifying reachability properties. SAC Amel Mammar, Marc Frappier, Fama Diagne
2011	J	`jnl`	Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier
2011	J	`jnl`	Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. Int. J. Syst. Serv. Oriented Eng. Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2011	—	`conf`	Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops Pierre Konopacki, Marc Frappier, Régine Laleau
2011	—	`conf`	Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven. PerCom Workshops Thibault De Champs, Bessam Abdulrazak, Hélène Pigot, Mohammed Ouenzar, Marc Frappier, Benoît Fraikin
2011	C	`conf`	Proving Non-interference on Reachability Properties: A Refinement Approach. APSEC Marc Frappier, Amel Mammar
2011	—	`conf`	Proving Reachability in B using Substitution Refinement. B@FM Marc Frappier, Fama Diagne, Amel Mammar
2011	—	`conf`	Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
2010	—	`ed.`	Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ABZ Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2010	C	`conf`	Comparison of Model Checking Tools for Information Systems. ICFEM Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar
2010	—	`conf`	Distinction-based and verification-assisted knowledge modeling. RELAW Philippe Michelin, Marc Frappier
2010	—	`conf`	From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2010	—	`conf`	Model-driven Engineering of Functional Security Policies. ICEIS (3) Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
2010	J	`jnl`	Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB Ingénierie des Systèmes d Inf. Pierre Konopacki, Marc Frappier, Régine Laleau
2010	B	`conf`	Systematic Translation Rules from astd to Event-B. IFM Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
2009	B	`conf`	Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. IFM Jérémy Milhau, Benoît Fraikin, Marc Frappier
2009	J	`jnl`	Efficient symbolic computation of process expressions. Sci. Comput. Program. Benoît Fraikin, Marc Frappier
2009	—	`conf`	Formal Modeling for Deploying Improvement and Innovation in Information Technology. KMIS Philippe Michelin, Marc Frappier
2009	J	`jnl`	Generating relational database transactions from eb Softw. Syst. Model. Frédéric Gervais, Marc Frappier, Régine Laleau
2009	—	`conf`	Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID Pierre Konopacki, Marc Frappier, Régine Laleau
2008	J	`jnl`	Applying CSP \|\| B to information systems. Softw. Syst. Model. Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
2008	J	`jnl`	Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
2007	—	`conf`	Domain specific languages: another silver bullet? OOPSLA Companion Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson
2007	C	`conf`	Efficient Symbolic Execution of Large Quantifications in a Process Algebra. ICFEM Benoît Fraikin, Marc Frappier
2007	—	`conf`	Refinement of eb B Frédéric Gervais, Marc Frappier, Régine Laleau
2007	B	`conf`	Synthesizing Information Systems: the APIS Project. RCIS Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
2006	—	`conf`	EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. ICEIS (3) Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
2006	—	`conf`	Efficient Interpretation of Large Quantifications in a Process Algebra. MSVVEIS Benoît Fraikin, Marc Frappier
2005	B	`conf`	Generating Relational Database Transactions From Recursive Functions Defined on EB SEFM Frédéric Gervais, Marc Frappier, Régine Laleau
2005	—	`conf`	How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS Frédéric Gervais, Marc Frappier, Régine Laleau
2005	J	`jnl`	State-based versus event-based specifications for information systems: a comparison of B and eb Softw. Syst. Model. Benoît Fraikin, Marc Frappier, Régine Laleau
2005	B	`conf`	Synthesizing B Specifications from EB IFM Frédéric Gervais, Marc Frappier, Régine Laleau
2005	J	`jnl`	mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. Inf. Softw. Technol. Hassan B. Diab, Fouad Koukane, Marc Frappier, Richard St-Denis
2004	B	`conf`	How to Verify Dynamic Properties of Information Systems. SEFM Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
2004	—	`conf`	SMP: A Process-Driven Approach to Project Management. HICSS Marc Frappier, Mario Richard
2004	B	`conf`	Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
2003	J	`jnl`	EB 3: an entity-based black-box specification method for information systems. Softw. Syst. Model. Marc Frappier, Richard St-Denis
2003	—	`conf`	Investigating Discrete Controllability with Kleene Algebra. RelMiCS Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
2003	—	`conf`	Proving Event Ordering Properties for Information Systems. ZB Marc Frappier, Régine Laleau
2002	C	`conf`	A Formal Definition of Function Points for Automated Measurement of B Specifications. ICFEM Hassan B. Diab, Marc Frappier, Richard St-Denis
2001	C	`conf`	Formalizing COSMIC-FFP Using ROOM. AICCSA Hassan B. Diab, Marc Frappier, Richard St-Denis
2001	J	`jnl`	Relational methods in computer science - Preface. Inf. Sci. Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
2001	—	`conf`	Towards a Computer-Aided Design of Reactive Systems. EUROCAST Marc Frappier, Richard St-Denis
2000	J	`jnl`	A calculus of program adaptation and its applications. Sci. Comput. Program. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
2000	J	`jnl`	Semantic distance between specifications. Theor. Comput. Sci. Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili
1999	—	`ch.`	Combining JSD and Cleanroom for Object-Oriented Scenario Specification. Behavioral Specifications of Businesses and Systems Marc Frappier, Richard St-Denis
1998	—	`conf`	A Specification Method for Cleanroom's Black Box Description. HICSS (6) Marc Frappier, Richard St-Denis
1998	J	`jnl`	Integration of Sequential Scenarios. IEEE Trans. Software Eng. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1998	C	`conf`	Mathematical Foundations for Program Transformations. LOPSTR Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
1998	J	`jnl`	Unifying Program Construction and Modification. Log. J. IGPL Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	A Calculus of Program Modifications. SSR Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
1997	—	`conf`	Defining and detecting feature interactions. Algorithmic Languages and Calculi Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	Detecting Feature Interactions on Relational Specifications. FIW Marc Frappier, Ali Mili, Jules Desharnais
1997	—	`conf`	Integration of Sequential Scenarios. ESEC / SIGSOFT FSE Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1997	A*	`conf`	Retrieving Software Components that Minimize Adaptation Effort. ASE Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
1996	J	`jnl`	A Relational Calculus for Program Construction by Parts. Sci. Comput. Program. Marc Frappier, Ali Mili, Jules Desharnais
1995	B	`conf`	Program Construction by Parts. MPC Marc Frappier, Ali Mili, Jules Desharnais
1994	C	`conf`	A process for verification based inspections. SEKE Latifa Ben Arfa Rabai, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce