


Остановите войну!
for scientists:


default search action
Fabrice 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
- 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]