Fabrice Kordon

141 papers A* 1A 8B 11C 28Misc 7Journal 36Unranked 38

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	CosyVerif: The Path to Formalisms Cohabitation. Petri Nets Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci
2024	—	`ed.`	TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France TOOLympics@ETAPS Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
2023	—	`conf`	Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. TOOLympics@ETAPS Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2022	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XVI Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Fabrice Kordon, Daniel Moldt
2021	J	`jnl`	Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet
2021	J	`jnl`	TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2021	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XV Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Fabrice Kordon, Lucia Pomello
2020	A	`conf`	Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
2020	—	`conf`	On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
2019	—	`conf`	Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. NFM Hakan Metin, Souheib Baarir, Fabrice Kordon
2019	—	`conf`	Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. TACAS (1) Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
2019	—	`ch.`	Software Architecture of Modern Model Checkers. Computing and Software Science Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg
2019	—	`conf`	TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
2019	—	`ed.`	Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III TACAS (3) Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2018	—	`conf`	CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. TACAS (1) Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
2018	J	`jnl`	Introduction to the special issue from Petri Nets 2016. Sci. Comput. Program. Fabrice Kordon, Daniel Moldt
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
2018	B	`conf`	Self-adaptive Model Checking, the Next Step? Petri Nets Fabrice Kordon, Yann Thierry-Mieg
2017	J	`jnl`	ASCENT: A Provably Terminating Decentralized Logging Service. Comput. J. Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin
2017	J	`jnl`	Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. Int. J. Softw. Tools Technol. Transf. Lom-Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, Riccardo Fontanelli, Sergio Di Bona, Davide Guerri, Libero Maesano
2017	—	`ed.`	Challenges and Opportunity with Big Data - 19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016, Revised Selected Papers Monterey Workshop Lin Zhang, Lei Ren, Fabrice Kordon
2017	A	`conf`	PaInleSS: A Framework for Parallel SAT Solving. SAT Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
2017	B	`conf`	Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Petri Nets Lom-Messan Hillah, Fabrice Kordon
2017	J	`jnl`	Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2016	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings Petri Nets Fabrice Kordon, Daniel Moldt
2016	B	`conf`	Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
2016	J	`jnl`	MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard
2016	Misc	`conf`	Service functional testing automation with intelligent scheduling and planning. SAC Lom-Messan Hillah, Ariele-Paolo Maesano, Libero Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin
2015	A	`conf`	Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2015	A	`conf`	The MIDAS Cloud Platform for Testing SOA Applications. ICST Steffen Herbold, Alberto De Francesco, Jens Grabowski, Patrick Harms, Lom-Messan Hillah, Fabrice Kordon, Ariele-Paolo Maesano, Libero Maesano, Claudia Di Napoli, Fabio De Rosa, Martin A. Schneider, Nicola Tonellotto, Marc-Florian Wendland, Pierre-Henri Wuillemin
2014	J	`jnl`	An approach for developing an interoperability mechanism between cloud providers. Int. J. Space Based Situated Comput. Meriem Thabet, Mahmoud Boufaïda, Fabrice Kordon
2014	—	`conf`	BenchKit, a Tool for Massive Concurrent Benchmarking. ACSD Fabrice Kordon, Francis Hulin-Hubard
2014	J	`jnl`	Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg
2014	J	`jnl`	Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Trans. Serious Games Isabelle Mounier, Amel Yessad, Thibault Carron, Fabrice Kordon, Jean-Marc Labat
2014	B	`conf`	Have You Found the Error? A Formal Framework for Learning Game Verification. EC-TEL Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron
2014	A	`conf`	Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
2013	C	`conf`	A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci
2013	—	`conf`	A Scalable Architecture for Highly Reliable Certification. TrustCom/ISPA/IUCC Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin
2013	B	`conf`	CosyVerif: An Open Source Extensible Verification Environment. ICECCS Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon
2013	J	`jnl`	Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2013	J	`jnl`	Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets Other Model. Concurr. Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
2013	A	`conf`	Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2013	B	`conf`	Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2013	A*	`conf`	Towards Distributed Software Model-Checking Using Decision Diagrams. CAV Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
2012	J	`jnl`	Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. Trans. Petri Nets Other Model. Concurr. Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista
2012	J	`jnl`	Design, implementation and verification of MILS systems. Softw. Pract. Exp. Julien Delange, Laurent Pautet, Fabrice Kordon
2012	J	`jnl`	Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
2012	—	`conf`	Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto
2012	J	`jnl`	Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan F. Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier
2012	J	`jnl`	Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
2012	—	`conf`	Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
2012	J	`jnl`	Raw Report on the Model Checking Contest at Petri Nets 2012 CoRR Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Lukasz Fronc, Lom-Messan Hillah, Niels Lohmann, Emmanuel Paviot-Adet, Franck Pommereau, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf
2012	J	`jnl`	Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2012	—	`conf`	State Space Analysis Using Symmetries on Decision Diagrams. ACSD Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir
2011	B	`conf`	Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
2011	—	`conf`	Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
2010	—	`conf`	Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. ACSD Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon
2010	C	`conf`	Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon
2010	—	`conf`	Automated controllability and synthesis with hierarchical set decision diagrams. WODES Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg
2010	—	`conf`	Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. NOTERE Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon
2010	—	`conf`	Introduction. ACSD/Petri Nets Workshops Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg
2010	B	`conf`	PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Petri Nets Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves
2010	—	`conf`	Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault
2010	—	`conf`	polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron
2009	J	`jnl`	A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Trans. Petri Nets Other Model. Concurr. Fabien Bonnefoi, Christine Choppy, Fabrice Kordon
2009	C	`conf`	Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. IEEE International Workshop on Rapid System Prototyping Xavier Renault, Fabrice Kordon, Jérôme Hugues
2009	J	`jnl`	Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
2009	C	`conf`	Efficient state-based analysis by introducing bags in Petri nets color domains. ACC Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves
2009	J	`jnl`	Exploiting colored Petri nets to decide on permutation admissibility. Acta Informatica Rza Bashirov, Fabrice Kordon, Hüseyin Lort
2009	C	`conf`	From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC Xavier Renault, Fabrice Kordon, Jérôme Hugues
2009	A	`conf`	Hierarchical Set Decision Diagrams and Regular Models. TACAS Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
2009	C	`conf`	Model Driven Engineering versus Organic Computing, Two Complementary Approaches. ISORC Fabrice Kordon
2009	Misc	`ed.`	Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings Ada-Europe Fabrice Kordon, Yvon Kermarrec
2009	—	`conf`	Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon
2008	—	`conf`	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. CIAO! / EOMAS Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda
2008	C	`conf`	Design Methodologies for Embedded Systems: Where is the Super-Glue? ISORC Fabrice Kordon
2008	—	`conf`	Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop Fabrice Kordon, Yann Thierry-Mieg
2008	—	`conf`	Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS Xavier Renault, Jérôme Hugues, Fabrice Kordon
2008	J	`jnl`	Formalisation and verification of interaction protocols for business process integration: a Petri net approach. Int. J. Simul. Process. Model. Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda
2008	—	`conf`	From Model Driven Engineering to Verification Driven Engineering. SEUS Fabrice Kordon, Jérôme Hugues, Xavier Renault
2008	J	`jnl`	From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon
2008	B	`conf`	Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
2008	Misc	`ed.`	Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings Ada-Europe Fabrice Kordon, Tullio Vardanega
2008	—	`conf`	Transforming sources to petri nets: a way to analyze execution of parallel programs. SimuTools Jean-Baptiste Voron, Fabrice Kordon
2007	—	`conf`	A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon
2007	—	`conf`	Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Monterey Workshop Luqi, Fabrice Kordon
2007	J	`jnl`	An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration. Int. J. Interoperability Bus. Inf. Syst. Razika Driouche, Zizette Boufaïda, Fabrice Kordon
2007	—	`ed.`	Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers Monterey Workshop Fabrice Kordon, Oleg Sokolsky
2007	—	`conf`	Design, modeling and analysis of ITS using UML and Petri Nets. ITSC Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault
2007	J	`jnl`	Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online Fabrice Kordon
2007	J	`jnl`	Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online Fabrice Kordon
2007	J	`jnl`	Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online Fabrice Kordon
2007	A	`conf`	IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg
2007	C	`conf`	Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. ISORC Fabrice Kordon
2007	C	`conf`	Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. IEEE International Workshop on Rapid System Prototyping Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon
2007	C	`conf`	Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping Fabrice Kordon, Jean-Baptiste Voron
2007	Misc	`ed.`	Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings Ada-Europe Nabil Abdennadher, Fabrice Kordon
2007	—	`ed.`	Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers Monterey Workshop Fabrice Kordon, Janos Sztipanovits
2007	—	`conf`	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
2006	C	`conf`	A Framework for DRE middleware, an Application to DDS. ISORC Jérôme Hugues, Laurent Pautet, Fabrice Kordon
2006	—	`conf`	An Ontology Based Architecture for Integrating Enterprise Applications. MSVVEIS Razika Driouche, Zizette Boufaïda, Fabrice Kordon
2006	—	`conf`	New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg
2006	C	`conf`	Optimized Colored Nets Unfolding. FORTE Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet
2006	C	`conf`	PN Standardisation: A Survey. FORTE Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves
2006	J	`jnl`	Toward Formal-Methods Oecumenism? IEEE Distributed Syst. Online Fabrice Kordon, Laure Petrucci
2006	—	`conf`	Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. DEXA Workshops Razika Driouche, Zizette Boufaïda, Fabrice Kordon
2006	C	`conf`	Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg
2005	—	`conf`	A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud
2005	C	`conf`	Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
2005	C	`conf`	Revisiting COTS middleware for DRE systems. ISORC Jérôme Hugues, Laurent Pautet, Fabrice Kordon
2005	J	`jnl`	Toward Nex-Generation Middleware? IEEE Distributed Syst. Online Fabrice Kordon, Laurent Pautet
2005	Misc	`conf`	Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
2004	—	`ch.`	Conclusions. Formal Methods for Embedded Distributed Systems Fabrice Kordon, Michel Lemoine
2004	J	`jnl`	Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. Tech. Sci. Informatiques Laurent Pautet, Fabrice Kordon
2004	—	`book`	Formal Methods for Embedded Distributed Systems - How to Master the Complexity Formal Methods for Embedded Distributed Systems Fabrice Kordon, Michel Lemoine
2004	C	`conf`	Generation of Distributed Programs in Their Target Execution Environment. IEEE International Workshop on Rapid System Prototyping Frédéric Gilliers, Jean-Pierre Velu, Fabrice Kordon
2004	—	`ch.`	Modeling and verifying behavioral aspects. Formal Methods for Embedded Distributed Systems François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre
2004	C	`conf`	On the Formal Verification of Middleware Behavioral Properties. FMICS Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon
2004	Misc	`conf`	PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
2004	J	`jnl`	Rapid system prototyping. J. Syst. Softw. Linda M. Wills, Fabrice Kordon, Luqi
2004	—	`ch.`	The BART Case Study. Formal Methods for Embedded Distributed Systems Victor L. Winter, Fabrice Kordon, Michel Lemoine
2003	J	`jnl`	An Overview of Rapid System Prototyping Today. Des. Autom. Embed. Syst. Fabrice Kordon, Jörg Henkel
2003	C	`conf`	Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping Jérôme Hugues, Laurent Pautet, Fabrice Kordon
2002	—	`conf`	A Model Based Development Approach for Distributed Embedded Systems. RISSEF Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep
2002	J	`jnl`	An Introduction to Rapid System Prototyping. IEEE Trans. Software Eng. Fabrice Kordon, Luqi
2001	—	`conf`	A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon
2001	—	`conf`	A Survey: Applying Formal Methods to a Software Intensive System. HASE Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur
2001	—	`conf`	From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. DOA Thomas Quinot, Laurent Pautet, Fabrice Kordon
2001	C	`conf`	LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. IEEE International Workshop on Rapid System Prototyping Dan Marius Regep, Fabrice Kordon
2000	—	`conf`	Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. FAABS Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet
2000	J	`jnl`	Guest Editorial. Des. Autom. Embed. Syst. Klaus D. Müller-Glaser, Fabrice Kordon, Alexander Burst
2000	C	`conf`	Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. IEEE International Workshop on Rapid System Prototyping Dan Marius Regep, Fabrice Kordon
1999	Misc	`conf`	MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. Ada-Europe Fabrice Kordon
1998	C	`conf`	Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping Didier Buchs, Alioune Diagne, Fabrice Kordon
1997	C	`conf`	FrameKit and the prototyping of CASE environments. IEEE International Workshop on Rapid System Prototyping Fabrice Kordon, Jean-Luc Mounier
1996	C	`conf`	A multi formalisms prototyping approach from formal description to implementation of distributed systems. RSP Alioune Diagne, Fabrice Kordon
1995	C	`conf`	H-COSTAM: a hierarchical communicating state-machine model for generic prototyping. RSP Fabrice Kordon, William El Kaim
1994	C	`conf`	An integrated framework for rapid system prototyping and automatic code distribution. RSP William El Kaim, Fabrice Kordon
1993	C	`conf`	A generic prototype model for distributed systems based on high level object oriented specification. RSP Fabrice Kordon
1991	C	`conf`	Complex system prototyping using environment abstraction. RSP Fabrice Kordon, Pascal Estraillier