default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabrice Kordon
Person information
- affiliation: LIP6, Paris
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c88]Étienne André
, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci:
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets 2024: 432-444- 2022
- [e11]Maciej Koutny, Fabrice Kordon, Daniel Moldt:
Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science 13220, Springer Berlin Heidelberg 2022, ISBN 978-3-662-65303-6 [contents] - 2021
- [j34]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23(6): 879-881 (2021) - [j33]Fabrice Kordon, Lom-Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet:
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. Int. J. Softw. Tools Technol. Transf. 23(6): 931-952 (2021) - [e10]Maciej Koutny, Fabrice Kordon, Lucia Pomello:
Transactions on Petri Nets and Other Models of Concurrency XV. Lecture Notes in Computer Science 12530, Springer 2021, ISBN 978-3-662-63078-5 [contents] - 2020
- [c87]Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon:
On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM 2020: 222-229 - [c86]Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon:
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT 2020: 11-27
2010 – 2019
- 2019
- [c85]Hakan Metin, Souheib Baarir, Fabrice Kordon:
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving. NFM 2019: 316-332 - [c84]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:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c83]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:
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68 - [c82]Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon:
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. TACAS (1) 2019: 135-151 - [p4]Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg:
Software Architecture of Modern Model Checkers. Computing and Software Science 2019: 393-419 - [e9]Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen:
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. Lecture Notes in Computer Science 11429, Springer 2019, ISBN 978-3-030-17501-6 [contents] - 2018
- [j32]Fabrice Kordon, Daniel Moldt:
Introduction to the special issue from Petri Nets 2016. Sci. Comput. Program. 157: 1-2 (2018) - [j31]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:
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018) - [c81]Fabrice Kordon, Yann Thierry-Mieg:
Self-adaptive Model Checking, the Next Step? Petri Nets 2018: 3-15 - [c80]Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon:
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. TACAS (1) 2018: 99-114 - 2017
- [j30]Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin:
ASCENT: A Provably Terminating Decentralized Logging Service. Comput. J. 60(12): 1889-1911 (2017) - [j29]Lom-Messan Hillah, Ariele-Paolo Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin, Riccardo Fontanelli, Sergio Di Bona, Davide Guerri, Libero Maesano:
Automation and intelligent scheduling of distributed system functional testing - Model-based functional testing in practice. Int. J. Softw. Tools Technol. Transf. 19(3): 281-308 (2017) - [j28]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. 19(6): 653-673 (2017) - [c79]Lom-Messan Hillah, Fabrice Kordon:
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Petri Nets 2017: 125-135 - [c78]Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon:
PaInleSS: A Framework for Parallel SAT Solving. SAT 2017: 233-250 - [e8]Lin Zhang, Lei Ren, Fabrice Kordon:
Challenges and Opportunity with Big Data - 19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10228, Springer 2017, ISBN 978-3-319-61993-4 [contents] - 2016
- [j27]Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, César Rodríguez, Francis Hulin-Hubard:
MCC'2015 - The Fifth Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 11: 262-273 (2016) - [c77]Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault:
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA 2016: 340-356 - [c76]Lom-Messan Hillah, Ariele-Paolo Maesano, Libero Maesano, Fabio De Rosa, Fabrice Kordon, Pierre-Henri Wuillemin:
Service functional testing automation with intelligent scheduling and planning. SAC 2016: 1605-1610 - [e7]Fabrice Kordon, Daniel Moldt:
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Lecture Notes in Computer Science 9698, Springer 2016, ISBN 978-3-319-39085-7 [contents] - 2015
- [c75]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:
The MIDAS Cloud Platform for Testing SOA Applications. ICST 2015: 1-8 - [c74]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS 2015: 613-627 - 2014
- [j26]Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg:
Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. 5(3/4): 218-240 (2014) - [j25]Meriem Thabet, Mahmoud Boufaïda, Fabrice Kordon:
An approach for developing an interoperability mechanism between cloud providers. Int. J. Space Based Situated Comput. 4(2): 88-99 (2014) - [j24]Isabelle Mounier, Amel Yessad, Thibault Carron, Fabrice Kordon, Jean-Marc Labat:
Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Trans. Serious Games 1(2): e4 (2014) - [c73]Fabrice Kordon, Francis Hulin-Hubard:
BenchKit, a Tool for Massive Concurrent Benchmarking. ACSD 2014: 159-165 - [c72]Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron:
Have You Found the Error? A Formal Framework for Learning Game Verification. EC-TEL 2014: 476-481 - [c71]Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg:
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS 2014: 440-454 - 2013
- [j23]Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow. Trans. Petri Nets Other Model. Concurr. 8: 24-47 (2013) - [c70]Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Towards Distributed Software Model-Checking Using Decision Diagrams. CAV 2013: 830-845 - [c69]Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, Lom Hillah, Fabrice Kordon:
CosyVerif: An Open Source Extensible Verification Environment. ICECCS 2013: 33-36 - [c68]Étienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci:
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. ICFEM 2013: 199-214 - [c67]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR 2013: 668-682 - [c66]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS 2013: 580-593 - [c65]Xavier Bonnaire, Rudyar Cortés, Fabrice Kordon, Olivier Marin:
A Scalable Architecture for Highly Reliable Certification. TrustCom/ISPA/IUCC 2013: 328-335 - [i2]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:
Model Checking Contest @ Petri Nets, Report on the 2013 edition. CoRR abs/1309.2485 (2013) - 2012
- [j22]Julien Delange, Laurent Pautet, Fabrice Kordon:
Design, implementation and verification of MILS systems. Softw. Pract. Exp. 42(7): 799-816 (2012) - [j21]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:
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42(12): 1467-1494 (2012) - [j20]Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista:
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. Trans. Petri Nets Other Model. Concurr. 5: 121-140 (2012) - [j19]Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci:
Extending pnml Scope: A Framework to Combine Petri Nets Types. Trans. Petri Nets Other Model. Concurr. 6: 46-70 (2012) - [j18]Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon:
Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. 6: 94-122 (2012) - [j17]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (2012) - [c64]Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir:
State Space Analysis Using Symmetries on Decision Diagrams. ACSD 2012: 164-172 - [c63]Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg:
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. PNSE 2012: 60-76 - [c62]Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto:
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach. Monterey Workshop 2012: 330-352 - [i1]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:
Raw Report on the Model Checking Contest at Petri Nets 2012. CoRR abs/1209.2382 (2012) - 2011
- [c61]Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci:
Extending PNML Scope: the Prioritised Petri Nets Experience. PNSE 2011: 92-106 - [c60]Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. Petri Nets 2011: 338-347 - 2010
- [c59]Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon:
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. ACSD 2010: 57-66 - [c58]Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron:
polyDD: Towards a Framework Generalizing Decision Diagrams. ACSD 2010: 124-133 - [c57]Didier Buchs, Fabrice Kordon, Alexander Serebrenik, Natalia Sidorova, Jeremy Spronston, Yann Thierry-Mieg:
Introduction. ACSD/Petri Nets Workshops 2010: 371 - [c56]Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves:
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Petri Nets 2010: 318-327 - [c55]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. ISORC 2010: 87-91 - [c54]Souheib Baarir, Lom-Messan Hillah, Fabrice Kordon, Etienne Renault:
Self-reconfigurable Modular Robots and Their Symbolic Configuration Space. Monterey Workshop 2010: 103-121 - [c53]Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon:
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. NOTERE 2010: 17-24 - [c52]Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg:
Automated controllability and synthesis with hierarchical set decision diagrams. WODES 2010: 281-286
2000 – 2009
- 2009
- [j16]Rza Bashirov, Fabrice Kordon, Hüseyin Lort:
Exploiting colored Petri nets to decide on permutation admissibility. Acta Informatica 46(1): 43-55 (2009) - [j15]Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. Fundam. Informaticae 94(3-4): 413-437 (2009) - [j14]Fabien Bonnefoi, Christine Choppy, Fabrice Kordon:
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Trans. Petri Nets Other Model. Concurr. 3: 159-188 (2009) - [c51]Serge Haddad, Fabrice Kordon, Laure Petrucci, Jean-François Pradat-Peyre, Nicolas Trèves:
Efficient state-based analysis by introducing bags in Petri nets color domains. ACC 2009: 5018-5025 - [c50]Fabrice Kordon:
Model Driven Engineering versus Organic Computing, Two Complementary Approaches. ISORC 2009: 99-100 - [c49]Xavier Renault, Fabrice Kordon, Jérôme Hugues:
From AADL Architectural Models to Petri Nets: Checking Model Viability. ISORC 2009: 313-320 - [c48]Xavier Renault, Fabrice Kordon, Jérôme Hugues:
Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets. IEEE International Workshop on Rapid System Prototyping 2009: 26-33 - [c47]Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon:
Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda 2009: 31-44 - [c46]Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models. TACAS 2009: 1-15 - [e6]Fabrice Kordon, Yvon Kermarrec:
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. Lecture Notes in Computer Science 5570, Springer 2009, ISBN 978-3-642-01923-4 [contents] - 2008
- [j13]Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda:
Formalisation and verification of interaction protocols for business process integration: a Petri net approach. Int. J. Simul. Process. Model. 4(3/4): 195-204 (2008) - [j12]Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon:
From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Trans. Embed. Comput. Syst. 7(4): 42:1-42:25 (2008) - [c45]Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon:
Hierarchical Set Decision Diagrams and Automatic Saturation. Petri Nets 2008: 211-230 - [c44]Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda:
A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. CIAO! / EOMAS 2008: 78-92 - [c43]Xavier Renault, Jérôme Hugues, Fabrice Kordon:
Formal Modeling of a Generic Middleware to Ensure Invariant Properties. FMOODS 2008: 185-200 - [c42]Fabrice Kordon:
Design Methodologies for Embedded Systems: Where is the Super-Glue? ISORC 2008: 358-359 - [c41]Fabrice Kordon, Yann Thierry-Mieg:
Experiences in Model Driven Verification of Behavior with UML. Monterey Workshop 2008: 181-200 - [c40]Fabrice Kordon, Jérôme Hugues, Xavier Renault:
From Model Driven Engineering to Verification Driven Engineering. SEUS 2008: 381-393 - [c39]Jean-Baptiste Voron, Fabrice Kordon:
Transforming sources to petri nets: a way to analyze execution of parallel programs. SimuTools 2008: 13 - [e5]Fabrice Kordon, Tullio Vardanega:
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings. Lecture Notes in Computer Science 5026, Springer 2008, ISBN 978-3-540-68621-7 [contents] - 2007
- [j11]Fabrice Kordon:
Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online 8(3) (2007) - [j10]Fabrice Kordon:
Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online 8(4) (2007) - [j9]Fabrice Kordon:
Guest Editor's Introduction: Rapid System Prototyping. IEEE Distributed Syst. Online 8(5) (2007) - [j8]Razika Driouche, Zizette Boufaïda, Fabrice Kordon:
An Enterprise Application Integration Architecture Supporting Ontology Based Approach for B2B Collaboration. Int. J. Interoperability Bus. Inf. Syst. 5: 39-64 (2007) - [c38]Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN 2007: 495-504 - [c37]Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg:
IibDMC: a Library to Operate Efficient Distributed Model Checking. IPDPS 2007: 1-8 - [c36]Fabrice Kordon:
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. ISORC 2007: 420-427 - [c35]Fabien Bonnefoi, Lom-Messan Hillah, Fabrice Kordon, Xavier Renault:
Design, modeling and analysis of ITS using UML and Petri Nets. ITSC 2007: 314-319 - [c34]Luqi, Fabrice Kordon:
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs. Monterey Workshop 2007: 15-24 - [c33]Fabrice Kordon, Jean-Baptiste Voron:
Rapid Prototyping of Intrusion Detection Systems. IEEE International Workshop on Rapid System Prototyping 2007: 89-98 - [c32]Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon:
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. IEEE International Workshop on Rapid System Prototyping 2007: 106-112 - [c31]Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon:
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. MSVVEIS 2007: 163-168 - [e4]Nabil Abdennadher, Fabrice Kordon:
Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings. Lecture Notes in Computer Science 4498, Springer 2007, ISBN 978-3-540-73229-7 [contents] - [e3]Fabrice Kordon, Janos Sztipanovits:
Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers. Lecture Notes in Computer Science 4322, Springer 2007, ISBN 978-3-540-71155-1 [contents] - [e2]Fabrice Kordon, Oleg Sokolsky:
Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4888, Springer 2007, ISBN 978-3-540-77418-1 [contents] - 2006
- [j7]Fabrice Kordon, Laure Petrucci:
Toward Formal-Methods Oecumenism? IEEE Distributed Syst. Online 7(7) (2006) - [c30]Alexandre Hamez, Lom Hillah, Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet, Xavier Renault, Yann Thierry-Mieg:
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems. ACSD 2006: 273-275 - [c29]Razika Driouche, Zizette Boufaïda, Fabrice Kordon:
Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario. DEXA Workshops 2006: 299-303 - [c28]Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves:
PN Standardisation: A Survey. FORTE 2006: 307-322 - [c27]Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet:
Optimized Colored Nets Unfolding. FORTE 2006: 339-355 - [c26]Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg:
Tutorial on Formal Methods for Distributed and Cooperative Systems. ICTAC 2006: 362-365 - [c25]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
A Framework for DRE middleware, an Application to DDS. ISORC 2006: 224-231 - [c24]Razika Driouche, Zizette Boufaïda, Fabrice Kordon:
An Ontology Based Architecture for Integrating Enterprise Applications. MSVVEIS 2006: 26-37 - 2005
- [j6]Fabrice Kordon, Laurent Pautet:
Toward Nex-Generation Middleware? IEEE Distributed Syst. Online 6(3) (2005) - [c23]Thomas Vergnaud, Laurent Pautet, Fabrice Kordon:
Using the AADL to Describe Distributed Applications from Middleware to Software Components. Ada-Europe 2005: 67-78 - [c22]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Revisiting COTS middleware for DRE systems. ISORC 2005: 72-79 - [c21]Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud:
A Factory to Design and Build Tailorable and Verifiable Middleware. Monterey Workshop 2005: 121-142 - [c20]Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Rapid Development Methodology for Customized Middleware. IEEE International Workshop on Rapid System Prototyping 2005: 111-117 - 2004
- [j5]Linda M. Wills, Fabrice Kordon, Luqi:
Rapid system prototyping. J. Syst. Softw. 70(3): 225-227 (2004) - [j4]Laurent Pautet, Fabrice Kordon:
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables. Tech. Sci. Informatiques 23(10): 1301-1328 (2004) - [c19]Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. Ada-Europe 2004: 106-119 - [c18]Frédéric Gilliers, Jean-Pierre Velu, Fabrice Kordon:
Generation of Distributed Programs in Their Target Execution Environment. IEEE International Workshop on Rapid System Prototyping 2004: 127-134 - [c17]Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon:
On the Formal Verification of Middleware Behavioral Properties. FMICS 2004: 139-157 - [p3]Victor L. Winter, Fabrice Kordon, Michel Lemoine:
The BART Case Study. Formal Methods for Embedded Distributed Systems 2004: 3-22 - [p2]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:
Modeling and verifying behavioral aspects. Formal Methods for Embedded Distributed Systems 2004: 171-211 - [p1]Fabrice Kordon, Michel Lemoine:
Conclusions. Formal Methods for Embedded Distributed Systems 2004: 259-263 - [e1]Fabrice Kordon, Michel Lemoine:
Formal Methods for Embedded Distributed Systems - How to Master the Complexity. Kluwer 2004, ISBN 978-1-4020-7996-2 [contents] - 2003
- [j3]Fabrice Kordon, Jörg Henkel:
An Overview of Rapid System Prototyping Today. Des. Autom. Embed. Syst. 8(4): 275-282 (2003) - [c16]Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
Contributions to middleware architectures to prototype distribution infrastructures. IEEE International Workshop on Rapid System Prototyping 2003: 124- - 2002
- [j2]Fabrice Kordon, Luqi:
An Introduction to Rapid System Prototyping. IEEE Trans. Software Eng. 28(9): 817-821 (2002) - [c15]Frédéric Gilliers, Fabrice Kordon, Dan Marius Regep:
A Model Based Development Approach for Distributed Embedded Systems. RISSEF 2002: 137-151 - 2001
- [c14]Thomas Quinot, Laurent Pautet, Fabrice Kordon:
From Functional to Architectural Analysis of a Middleware Supporting Interoperability across Heterogeneous Distribution Models. DOA 2001: 165-175 - [c13]Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon:
A Modular Approach to the Specification and Validation of an Electrical Flight Control System. FME 2001: 590-610 - [c12]Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System. HASE 2001: 55-64 - [c11]Dan Marius Regep, Fabrice Kordon:
LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. IEEE International Workshop on Rapid System Prototyping 2001: 90-96 - 2000
- [j1]Klaus D. Müller-Glaser, Fabrice Kordon, Alexander Burst:
Guest Editorial. Des. Autom. Embed. Syst. 5(3-4): 213 (2000) - [c10]Innocent Bakam, Fabrice Kordon, Christophe Le Page, François Bousquet:
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System. FAABS 2000: 123-132 - [c9]Dan Marius Regep, Fabrice Kordon:
Using MetaScribe to Prototype an UML to C++/Ada95 Code Generator. IEEE International Workshop on Rapid System Prototyping 2000: 128-133
1990 – 1999
- 1999
- [c8]Fabrice Kordon:
MetaScribe, an Ada-based Tool for the Construction of Transformation Engines. Ada-Europe 1999: 308-319 - 1998
- [c7]Didier Buchs, Alioune Diagne, Fabrice Kordon:
Testing Prototypes Validity to Enhance Code Reuse. International Workshop on Rapid System Prototyping 1998: 6-12 - 1997
- [c6]Fabrice Kordon, Jean-Luc Mounier:
FrameKit and the prototyping of CASE environments. IEEE International Workshop on Rapid System Prototyping 1997: 91-97 - 1996
- [c5]Alioune Diagne, Fabrice Kordon:
A multi formalisms prototyping approach from formal description to implementation of distributed systems. RSP 1996: 102-107 - 1995
- [c4]Fabrice Kordon, William El Kaim:
H-COSTAM: a hierarchical communicating state-machine model for generic prototyping. RSP 1995: 131-139 - 1994
- [c3]William El Kaim, Fabrice Kordon:
An integrated framework for rapid system prototyping and automatic code distribution. RSP 1994: 52-61 - 1993
- [c2]Fabrice Kordon:
A generic prototype model for distributed systems based on high level object oriented specification. RSP 1993: 194-204 - 1991
- [c1]Fabrice Kordon, Pascal Estraillier:
Complex system prototyping using environment abstraction. RSP 1991: 34-46
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
