Marc Frappier
Orcid: 0000-0002-4402-2514
According to our database1,
Marc Frappier
authored at least 112 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
2022
Robustness Evaluation of Deep Unsupervised Learning Algorithms for Intrusion Detection Systems.
CoRR, 2022
CoRR, 2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the Foundations and Practice of Security - 15th International Symposium, 2022
2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the Advanced Information Networking and Applications, 2020
2019
IEEE Commun. Surv. Tutorials, 2019
Comput. J., 2019
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Formal Aspects Comput., 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Proceedings of the Ubiquitous Computing and Ambient Intelligence, 2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017
2016
Sci. Comput. Program., 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Proof-based verification approaches for dynamic properties: application to the information system domain.
Formal Aspects Comput., 2015
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
Sci. Comput. Program., 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Innov. Syst. Softw. Eng., 2011
Int. J. Syst. Serv. Oriented Eng., 2011
Proceedings of the B 2011 Workshop, 2011
A Four-concern-oriented Secure IS Development Approach.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011
Proceedings of the Foundations and Practice of Security, 2011
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.
Proceedings of the Foundations and Practice of Security, 2011
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress.
Proceedings of the Foundations and Practice of Security, 2011
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB<sup>3</sup>SEC.
Ingénierie des Systèmes d Inf., 2010
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment.
Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010
Proceedings of the Third International Workshop on Requirements Engineering and Law, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Model-driven Engineering of Functional Security Policies.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010
2009
Generating relational database transactions from eb<sup>3</sup> attribute definitions.
Softw. Syst. Model., 2009
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus.
Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
Formal Modeling for Deploying Improvement and Innovation in Information Technology.
Proceedings of the KMIS 2009 - Proceedings of the International Conference on Knowledge Management and Information Sharing, Funchal, 2009
2008
2007
Synthesizing Information Systems: the APIS Project.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007
Proceedings of the Formal Methods and Software Engineering, 2007
Proceedings of the B 2007: Formal Specification and Development in B, 2007
2006
Efficient Interpretation of Large Quantifications in a Process Algebra.
Proceedings of the Modelling, 2006
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.
Proceedings of the ICEIS 2006, 2006
2005
State-based versus event-based specifications for information systems: a comparison of B and eb<sup>3</sup>.
Softw. Syst. Model., 2005
Inf. Softw. Technol., 2005
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
Proceedings of the Modelling, 2005
Generating Relational Database Transactions From Recursive Functions Defined on EB<sup>3</sup> Traces.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
Softw. Syst. Model., 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
2002
A Formal Definition of Function Points for Automated Measurement of B Specifications.
Proceedings of the Formal Methods and Software Engineering, 2002
2001
Proceedings of the Computer Aided Systems Theory, 2001
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001
2000
1999
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
Proceedings of the Logic Programming Synthesis and Transformation, 1998
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998
1997
Proceedings of the 1997 ACM SIGSOFT Symposium on Symposium on Software Reusability, 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Detecting Feature Interactions on Relational Specifications.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997
Defining and detecting feature interactions.
Proceedings of the Algorithmic Languages and Calculi, 1997
1996
1995
Proceedings of the Mathematics of Program Construction, 1995
1994
A process for verification based inspections.
Proceedings of the SEKE'94, 1994