Fabrice Kordon
Orcid: 0000-0002-5626-828XAffiliations:
- LIP6, Paris
According to our database1,
Fabrice Kordon
authored at least 125 papers
between 1991 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2021
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.
Int. J. Softw. Tools Technol. Transf., 2021
Int. J. Softw. Tools Technol. Transf., 2021
2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice.
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Trans. Petri Nets Other Model. Concurr., 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
2014
Formal Framework to improve the reliability of concurrent and collaborative learning games.
EAI Endorsed Trans. Serious Games, 2014
Int. J. Space Based Situated Comput., 2014
Int. J. Crit. Comput. Based Syst., 2014
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Proceedings of the Open Learning and Teaching in Educational Communities, 2014
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014
2013
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow.
Trans. Petri Nets Other Model. Concurr., 2013
Proceedings of the 12th IEEE International Conference on Trust, 2013
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Trans. Petri Nets Other Model. Concurr., 2012
Trans. Petri Nets Other Model. Concurr., 2012
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
Trans. Petri Nets Other Model. Concurr., 2012
Trans. Petri Nets Other Model. Concurr., 2012
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Softw. Pract. Exp., 2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
2011
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.
Proceedings of the Applications and Theory of Petri Nets, 2010
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example.
Trans. Petri Nets Other Model. Concurr., 2009
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.
Fundam. Informaticae, 2009
Acta Informatica, 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets.
Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Proceedings of the American Control Conference, 2009
2008
ACM Trans. Embed. Comput. Syst., 2008
Formalisation and verification of interaction protocols for business process integration: a Petri net approach.
Int. J. Simul. Process. Model., 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.
Proceedings of the Advances in Enterprise Engineering I, 2008
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration.
Int. J. Interoperability Bus. Inf. Syst., 2007
IEEE Distributed Syst. Online, 2007
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents.
Proceedings of the Modelling, 2007
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.
Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007
Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs.
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
An Ontology Based Architecture for Integrating Enterprise Applications.
Proceedings of the Modelling, 2006
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2005
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005
Using the AADL to Describe Distributed Applications from Middleware to Software Components.
Proceedings of the Reliable Software Technology, 2005
2004
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables.
Tech. Sci. Informatiques, 2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 2004
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.
Proceedings of the Reliable Software Technologies, 2004
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004
2003
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003
2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
2001
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001
A Modular Approach to the Specification and Validation of an Electrical Flight Control System.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001
2000
Proceedings of the 11th IEEE International Workshop on Rapid System Prototyping (RSP 2000), 2000
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000
1999
Proceedings of the Reliable Software Technologies, 1999
1998
Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998
1997
Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997
1996
A multi formalisms prototyping approach from formal description to implementation of distributed systems.
Proceedings of the Seventh IEEE International Workshop on Rapid System Prototyping (RSP '96), 1996
1995
Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995
1994
An integrated framework for rapid system prototyping and automatic code distribution.
Proceedings of IEEE 5th International Workshop on Rapid System Prototyping, 1994
1993
A generic prototype model for distributed systems based on high level object oriented specification.
Proceedings of the Fourth International Workshop on Rapid System Prototyping, 1993
1991
Proceedings of the Second International Workshop on Rapid System Prototyping, 1991