Fabrice Kordon

According to our database1, Fabrice Kordon
  • authored at least 104 papers between 1991 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
MCC'2015 - The Fifth Model Checking Contest.
T. Petri Nets and Other Models of Concurrency, 2016

Service functional testing automation with intelligent scheduling and planning.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Heuristics for Checking Liveness Properties with Partial Order Reductions.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Parallel Explicit Model Checking for Generalized Büchi Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

The MIDAS Cloud Platform for Testing SOA Applications.
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

An approach for developing an interoperability mechanism between cloud providers.
IJSSC, 2014

Controllability for discrete event systems modelled in VeriJ.
IJCCBS, 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

Have You Found the Error? A Formal Framework for Learning Game Verification.
Proceedings of the Open Learning and Teaching in Educational Communities, 2014

BenchKit, a Tool for Massive Concurrent Benchmarking.
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 and Other Models of Concurrency, 2013

Model Checking Contest @ Petri Nets, Report on the 2013 edition.
CoRR, 2013

A Scalable Architecture for Highly Reliable Certification.
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

Three SCC-Based Emptiness Checks for Generalized Büchi Automata.
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

CosyVerif: An Open Source Extensible Verification Environment.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Towards Distributed Software Model-Checking Using Decision Diagrams.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Model Checking Using Generalized Testing Automata.
Trans. Petri Nets and Other Models of Concurrency, 2012

Report on the Model Checking Contest at Petri Nets 2011.
Trans. Petri Nets and Other Models of Concurrency, 2012

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
Trans. Petri Nets and Other Models of Concurrency, 2012

Extending pnml Scope: A Framework to Combine Petri Nets Types.
Trans. Petri Nets and Other Models of Concurrency, 2012

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Softw., Pract. Exper., 2012

Design, implementation and verification of MILS systems.
Softw., Pract. Exper., 2012

Raw Report on the Model Checking Contest at Petri Nets 2012
CoRR, 2012

Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Modeling and Analyzing Wireless Sensor Networks with VeriSensor.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

State Space Analysis Using Symmetries on Decision Diagrams.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
Extending PNML Scope: the Prioritised Petri Nets Experience.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Automated controllability and synthesis with hierarchical set decision diagrams.
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

Self-reconfigurable Modular Robots and Their Symbolic Configuration Space.
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems.
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

polyDD: Towards a Framework Generalizing Decision Diagrams.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Introduction.
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 and Other Models of Concurrency, 2009

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.
Fundam. Inform., 2009

Exploiting colored Petri nets to decide on permutation admissibility.
Acta Inf., 2009

Hierarchical Set Decision Diagrams and Regular Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Validate, simulate, and implement ARINC653 systems using the AADL.
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

From AADL Architectural Models to Petri Nets: Checking Model Viability.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Model Driven Engineering versus Organic Computing, Two Complementary Approaches.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008
From the prototype to the final embedded system using the Ocarina AADL tool suite.
ACM Trans. Embedded Comput. Syst., 2008

Formalisation and verification of interaction protocols for business process integration: a Petri net approach.
IJSPM, 2008

Transforming sources to petri nets: a way to analyze execution of parallel programs.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

From Model Driven Engineering to Verification Driven Engineering.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

Experiences in Model Driven Verification of Behavior with UML.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Design Methodologies for Embedded Systems: Where is the Super-Glue?
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Formal Modeling of a Generic Middleware to Ensure Invariant Properties.
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

Hierarchical Set Decision Diagrams and Automatic Saturation.
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.
IBIS, 2007

Guest Editor's Introduction: Rapid System Prototyping.
IEEE Distributed Systems Online, 2007

Guest Editor's Introduction: Rapid System Prototyping.
IEEE Distributed Systems Online, 2007

Guest Editor's Introduction: Rapid System Prototyping.
IEEE Distributed Systems 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

Rapid Prototyping of Intrusion Detection Systems.
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

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

IibDMC: a Library to Operate Efficient Distributed Model Checking.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Toward Formal-Methods Oecumenism?
IEEE Distributed Systems Online, 2006

An Ontology Based Architecture for Integrating Enterprise Applications.
Proceedings of the Modelling, 2006

A Framework for DRE middleware, an Application to DDS.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.
Proceedings of the Theoretical Aspects of Computing, 2006

Optimized Colored Nets Unfolding.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

PN Standardisation: A Survey.
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

New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
On the Formal Verification of Middleware Behavioral Properties.
Electr. Notes Theor. Comput. Sci., 2005

Toward Nex-Generation Middleware?
IEEE Distributed Systems Online, 2005

Rapid Development Methodology for Customized Middleware.
Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Factory to Design and Build Tailorable and Verifiable Middleware.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Revisiting COTS middleware for DRE systems.
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.
Technique et Science Informatiques, 2004

Rapid system prototyping.
Journal of Systems and Software, 2004

Generation of Distributed Programs in Their Target Execution Environment.
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

2003
An Overview of Rapid System Prototyping Today.
Design Autom. for Emb. Sys., 2003

Contributions to middleware architectures to prototype distribution infrastructures.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2002
An Introduction to Rapid System Prototyping.
IEEE Trans. Software Eng., 2002

A Model Based Development Approach for Distributed Embedded Systems.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001
LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

A Survey: Applying Formal Methods to a Software Intensive System.
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
Guest Editorial.
Design Autom. for Emb. Sys., 2000

Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator.
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
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.
Proceedings of the Reliable Software Technologies, 1999

1998
Testing Prototypes Validity to Enhance Code Reuse.
Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

1997
FrameKit and the prototyping of CASE environments.
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
H-COSTAM: a hierarchical communicating state-machine model for generic prototyping.
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
Complex system prototyping using environment abstraction.
Proceedings of the Second International Workshop on Rapid System Prototyping, 1991


  Loading...