Fabrice Kordon
Présentation
Publications
Publications
CosyVerif: The Path to Formalisms Cohabitation45th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ |
|
|
|
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023TOOLympics Challenge 2023, Apr 2023, Paris, France. pp.52-89, ⟨10.1007/978-3-031-67695-6_3⟩ |
|
|
Community and LBD-Based Clause Sharing Policy for Parallel SAT SolvingSAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, Jul 2020, Alghero / Virtual, Italy. pp.11-27, ⟨10.1007/978-3-030-51825-7_2⟩ |
On the Usefulness of Clause Strengthening in Parallel SAT SolvingNFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States |
|
|
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless FrameworkTACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.135-151, ⟨10.1007/978-3-030-17462-0_8⟩ |
|
|
TOOLympics 2019: An Overview of Competitions in Formal Methods25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩ |
|
|
Presentation of the 9th Edition of the Model Checking ContestTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩ |
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT SolvingNASA Formal Methods Symposium, May 2019, Houston, United States. pp.316-332, ⟨10.1007/978-3-030-20652-9_21⟩ |
|
Self-adaptive Model Checking, the Next Step?Application and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. ⟨10.1007/978-3-319-91268-4_1⟩ |
|
|
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingTools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece |
|
|
PaInleSS: a Framework for Parallel SAT SolvingThe 20th International Conference on Theory and Applications of Satisfiability Testing, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩ |
|
|
Petri Nets Repository: a tool to benchmark and debug Petri Net tools38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135 |
|
|
Service functional testing automation with intelligent scheduling and planningSymposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610 |
Heuristics for Checking Liveness Properties with Partial Order ReductionsAutomated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.340-356, ⟨10.1007/978-3-319-46520-3_22⟩ |
|
Parallel Explicit Model Checking for Generalized Büchi Automata21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, Apr 2015, London, United Kingdom. pp.613-627, ⟨10.1007/978-3-662-46681-0_56⟩ |
|
The MIDAS Cloud Platform for Testing SOA Applications8th International IEEE Conference on Software Testing, Verification and Validation (ICST), Apr 2015, Graz, Austria. pp.1-8, ⟨10.1109/ICST.2015.7102636⟩ |
|
Have you found the error? A Formal Framework for Learning Game Verification9th European Conference on Technology Enhanced Learning, Sep 2014, Graz, Austria. pp.476-481, ⟨10.1007/978-3-319-11200-8_45⟩ |
|
|
|
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif25th EAEEIE annual International Conference, May 2014, Cesme, Turkey. pp.25-28, ⟨10.1109/EAEEIE.2014.6879378⟩ |
BenchKit, a Tool for Massive Concurrent Benchmarking14th International Conference on Application of Concurrency to System Design (ACSD'14), Jun 2014, Tunis, Tunisia. pp.159-165, ⟨10.1109/ACSD.2014.12⟩ |
|
|
|
Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, Apr 2014, Grenoble, France. pp.440-454, ⟨10.1007/978-3-642-54862-8_38⟩ |
CosyVerif: An Open Source Extensible Verification Environment18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩ |
|
Toward Improvement of Serious Game Reliability7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87 |
|
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems15th International Conference on Formal Engineering Methods (ICFEM'13), Oct 2013, Queenstown, New Zealand. pp.199-214, ⟨10.1007/978-3-642-41202-8_14⟩ |
|
A Scalable Architecture for Highly Reliable CertificationTrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Jul 2013, Melbourne, Australia. pp.328-335, ⟨10.1109/TrustCom.2013.44⟩ |
|
|
|
Towards Distributed Software Model-Checking using Decision Diagrams25th International Conference on Computer Aided Verification (CAV), Jul 2013, Saint-Petersbourg, Russia. pp.830-845, ⟨10.1007/978-3-642-39799-8_58⟩ |
Verification of a Quasi certification Protocol over a DHTDagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany |
|
|
|
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Mar 2013, Rome, Italy. pp.580-593, ⟨10.1007/978-3-642-36742-7_42⟩ |
|
|
Three SCC-based Emptiness Checks for Generalized Büchi Automata19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13), Dec 2013, Stellenbosch, South Africa. pp.668-682, ⟨10.1007/978-3-642-45221-5_44⟩ |
Modeling and Verifying Distributed Systems with Petri Nets (tutorial)2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. pp.92-92, ⟨10.1109/IWAISE.2012.24⟩ |
|
|
|
Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time VerificationDagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. pp.38-39 |
Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented ApproachDevelopment, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. pp.330-352, ⟨10.1007/978-3-642-34059-8_17⟩ |
|
|
|
Modeling and Analyzing Wireless Sensor Networks with VeriSensorPetri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76 |
State Space Analysis using Symmetries on Decision Diagrams12th International Conference on Application of Concurrency to System Design (ACSD'2012), Jun 2012, Hamburg, Germany. pp.164-172, ⟨10.1109/ACSD.2012.28⟩ |
|
Modeling complex systems with VeriJ5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45 |
|
|
|
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩ |
{Compositional Analysis of Discrete Time Petri nets}1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31 |
|
{Extending PNML Scope: the Prioritised Petri Nets Experience}Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106 |
|
{Generalized Büchi Automata versus Testing Automata for Model Checking}2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), Jun 2011, Newcastle, United Kingdom. pp.65-79 |
|
|
|
A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL2nd International Conference on Information Management and Engineering (ICIME 2010), Apr 2010, Chengdu, China. pp.304-310, ⟨10.1109/ICIME.2010.5477558⟩ |
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. pp.87-91, ⟨10.1109/ISORC.2010.32⟩ |
|
PNML Framework: an extendable reference implementation of the Petri Net Markup Language31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.318-327, ⟨10.1007/978-3-642-13675-7_20⟩ |
|
Experiences in Model Driven Verification of Behavior with UMLFoundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers, Sep 2008, Budapest, Hungary. pp.181-200, ⟨10.1007/978-3-642-12566-9_10⟩ |
|
polyDD: Towards a Framework Generalizing Decision Diagrams10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. pp.124-133, ⟨10.1109/ACSD.2010.17⟩ |
|
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach10th International Conference on Application of Concurrency to System Design (ACSD'2010), Jun 2010, Braga, Portugal. pp.57-66, ⟨10.1109/ACSD.2010.32⟩ |
|
|
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8 |
Design, Verification and Implementation of MILS systemsThe 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8 |
|
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. pp.17-24, ⟨10.1109/NOTERE.2010.5536853⟩ |
|
Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. pp.281-286, ⟨10.3182/20100830-3-DE-4013.00047⟩ |
|
Self-Reconfigurable Modular Robots and their Symbolic Configuration SpaceModeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, Mar 2010, Redmond, United States. pp.103-121, ⟨10.1007/978-3-642-21292-5_6⟩ |
|
|
|
Hierarchical Set Decision Diagrams and Regular Models15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩ |
Model Driven Enginering versus Organic Computing, two complementary approaches12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Mar 2009, Tokyo, Japan. pp.99-100, ⟨10.1109/ISORC.2009.25⟩ |
|
Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains28th American Control Conference (ACC'09), Jun 2009, Saint Louis, MO, United States. pp.5018-5025, ⟨10.1109/ACC.2009.5160020⟩ |
|
Verification of large-scale distributed database systems in the NEOPPOD projectWorkshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316 |
|
Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri NetsThe 20th International Workshop on Rapid System Prototyping, Jun 2009, Paris, France. pp.26-33, ⟨10.1109/RSP.2009.30⟩ |
|
From AADL architectural models to Petri Nets: Checking model viability12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.313-320, ⟨10.1109/ISORC.2009.11⟩ |
|
A primer on the Petri Net Markup Language and ISO/IEC 15909-210th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19 |
|
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example9th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN' 08), Oct 2008, Aarhus, Denmark. pp.183-202 |
|
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. pp.346-351, ⟨10.1109/WODES.2008.4605970⟩ |
Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel ProgramsInternational Workshop on Petri Nets Tools and APplications (PNTAP), Mar 2008, Marseille, France. pp.1-10 |
|
Code Generation Strategies for Partitioned Systems29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56 |
|
|
|
From Model Driven Engineering to Verification Driven Engineering6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008), Oct 2008, Capri, Italy. pp.381-393, ⟨10.1007/978-3-540-87785-1_34⟩ |
Design Methodologies for Embedded Systems: Where is the Super-Glue?11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08), May 2008, Orlando, United States. pp.358-359, ⟨10.1109/ISORC.2008.88⟩ |
|
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal DesignsInnovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected Papers, Sep 2007, Monterey, United States. pp.15-24, ⟨10.1007/978-3-540-89778-1_5⟩ |
|
|
|
Formal Modeling of a Generic Middleware to Ensure Invariant Properties10th Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Jun 2008, Oslo, Norway. pp.185-200, ⟨10.1007/978-3-540-68863-1_12⟩ |
|
|
A Petri-Net based Formalisation of Interaction Protocols applied to Business Process IntegrationAdvances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), Jun 2008, Montpellier, France. pp.78-92, ⟨10.1007/978-3-540-68644-6_6⟩ |
|
|
Hierarchical Set Decision Diagrams and Automatic Saturation29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008), Jun 2008, Xian, China. pp.211-230, ⟨10.1007/978-3-540-68746-7_16⟩ |
A Factory To Design and Build Tailorable and Verifiable MiddlewareWorkshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Sep 2005, University of California, Irvine, United States. pp.121-142, ⟨10.1007/978-3-540-71156-8_7⟩ |
|
A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS'07), Jun 2007, Madeira, Portugal. pp.163-168 |
|
Rapid Prototyping of Intrusion Detection Systems18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.89-98, ⟨10.1109/RSP.2007.34⟩ |
|
|
|
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.106-112, ⟨10.1109/RSP.2007.33⟩ |
|
|
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport SystemsInternational Symposium on Object-oriented Real-time Distributed Computing (ISORC'07), May 2007, Santorini, Greece. pp.420-427, ⟨10.1109/ISORC.2007.42⟩ |
Design, Modeling and Analysis of ITS using UML and Petri Nets10th International IEEE Conference on Intelligent Transportation Systems, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩ |
|
A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots2nd National Workshop on Control Architectures of Robots: From Models to Execution on Distributed Control Architectures, May 2007, Paris, France. pp.15-26 |
|
libDMC: a library to Operate Efficient Distributed Model CheckingWorkshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007, Mar 2007, Long Beach, California, United States. ⟨10.1109/IPDPS.2007.370647⟩ |
|
dmcG: a distributed symbolic model checker based on GreatSPN28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. pp.495-504, ⟨10.1007/978-3-540-73094-1_29⟩ |
|
|
|
Tutorial on Formal Methods for Distributed and Cooperative Systems3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Nov 2006, Tunis, Tunisia. pp.362-365, ⟨10.1007/11921240_25⟩ |
A Multi-Views Business Process Ontology for Flexible CollaborationInternational Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06), Mar 2006, Bordeaux, France. pp.49-62, ⟨10.1002/9780470612200.ch4⟩ |
|
|
|
New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems6th International Conference on Application of Concurrency to System Design (ACSD '06), Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩ |
An Approach to Model Variations of a Scenario: Application to Intelligent Transport SystemsFourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86 |
|
PN standardisation: a survey26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Sep 2006, Paris, France. pp.307-322, ⟨10.1007/11888116_23⟩ |
|
|
|
A Framework for DRE Middleware, an Application to DDSInternational Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. pp.224-231, ⟨10.1109/ISORC.2006.4⟩ |
Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario6th International Workshop On Web Based Collaboration (WBC '2006), Sep 2006, Krakow, Poland. pp.299-303 |
|
|
|
An Ontology Based Architecture for Integrating Enterprise ApplicationsInternational Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006, May 2006, Paphos, Cyprus. pp.26-37, ⟨10.5220/0002493000260037⟩ |
|
|
Optimized Colored Nets UnfoldingInternational Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), Sep 2006, Paris, France. pp.339-355, ⟨10.1007/11888116_25⟩ |
|
|
Revisiting COTS Middleware for DRE SystemInternational Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), May 2005, Seattle, United States. pp.72-79, ⟨10.1109/ISORC.2005.46⟩ |
Towards Proof-Based Real-Time Distribution Middleware13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70 |
|
|
|
Rapid Development Methodology for Customized Middleware16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Jun 2005, Montreal, Canada. pp.111-117, ⟨10.1109/RSP.2005.42⟩ |
|
|
Using the AADL to Describe Distributed Applications from Middleware to Software ComponentsReliable Software Technologies (RST'05), Jun 2005, York, United Kingdom. pp.67-78, ⟨10.1007/11499909_6⟩ |
On the Formal Verification of Middleware Behavioral Properties9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157 |
|
Model Checking of Highlevelobject Oriented Specifications : The LfP Experience3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Oct 2004, Aarhus, Denmark. pp.149-168 |
|
PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications9th International Conference on Reliable Software Technologies - Ada-Europe 2004, Jun 2004, Palma de Mallorca, Spain. pp.106-119, ⟨10.1007/978-3-540-24841-5_8⟩ |
|
|
|
Generation of Distributed Programs in their Target Execution Environment15th IEEE International Workshop on Rapid System Prototyping, Jun 2004, Geneva, Switzerland. pp.127-134, ⟨10.1109/IWRSP.2004.1311107⟩ |
|
|
Contributions to middleware architectures to prototype distribution infrastructures14th IEEE International Workshop on Rapid System Prototyping (RSP'03), Jun 2003, San Diego, CA, United States. pp.124-131, ⟨10.1109/IWRSP.2003.1207039⟩ |
Refining Middleware Functions for Verification PurposeWorkshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States |
|
Modélisation et vérification de systèmes répartis :une approche intégrée avec LfPApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, France |
|
A case study of Middleware to Middleware: MOM and ORB interoperability4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United States |
|
A Model Based Development Approach for Distributed Embedded Systems2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, Oct 2002, Venice, Italy. pp.137-151, ⟨10.1007/978-3-540-24626-8_9⟩ |
|
A Survey: Applying Formal Methods to a Software Intensive System6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01), Oct 2001, Boco Raton, FL, United States. pp.55-64, ⟨10.1109/HASE.2001.966807⟩ |
|
LfP : A specification language for rapid prototyping of concurrent systems12th IEEE International Workshop on Rapid System Prototyping, Jun 2001, Monterey, United States. pp.90-96, ⟨10.1109/IWRSP.2001.933844⟩ |
|
Modular Approach to Specify and Validate an Electrical Fligh Control SystemFormal Method Europe (FME '2001), Mar 2001, Berlin, Germany. pp.590-610, ⟨10.1007/3-540-45251-6_34⟩ |
|
Architecture for a reuseable object-oriented polymorphic middlewareInternational Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States |
|
From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models3rd International Symposium on Distributed Objects and Applications (DOA'01), Sep 2001, Roma, Italy. pp.165-175, ⟨10.1109/DOA.2001.954082⟩ |
|
Formal Verification of Embedded Distributed Systems in a Prototyping ApproachInternational Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE |
|
|
|
Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management systemFormal Approaches to Agent-Based Systems, Apr 2000, Greenbelt, MD, United States. pp.123-132, ⟨10.1007/3-540-45484-5_10⟩ |
Formalisation de modèles multi-agents par les réseaux de petri: Application à l'étude d'un système de gestion de la chasse à l'Est-CamerounCARI' 2000, Oct 2000, Antananarive, Madagascar |
|
|
|
Using MetaScribe to prototype an UML to C++/Ada95 code generator11th IEEE International Workshop on Rapid System Prototyping, Jun 2000, Paris, France. pp.128-133, ⟨10.1109/IWRSP.2000.855209⟩ |
MetaScribe, an Ada-based Tool for the Construction of Tranformation EnginesInternational Conference on Reliable Software Technologies - Ada-Europe '99, Jun 1999, Santander, Spain. pp.308-319, ⟨10.1007/3-540-48753-0_27⟩ |
|
Using CPN-AMI to validate a safe channel protocolToolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United States |
|
|
|
Testing Prototypes Validity to Enhance Code Reuse9th IEEE International Workshop on Rapid System Prototyping, Jun 1998, Leuven, Belgium. pp.6-12, ⟨10.1109/IWRSP.1998.676661⟩ |
Implementation of Genericity for customizable CASE environmentsCARI '98, Oct 1998, Dakar, Senegal. pp.765-776 |
|
Quality Management Issues along Life-cycle of Distributed ApplicationsCARI '98, Oct 1998, Dakar, Senegal. pp.753-763 |
|
FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE Environments11th International Conference on Software Engineering and its Applications, Dec 1998, Paris, France. pp.91-99 |
|
BioMedScape: a Web based Environment for Diffusion and Analysis of Research Data in Discrete Areas of Life-SciencesThirteenth International Conference on Computer Communication, Nov 1997, Cannes, France. pp.149-154 |
|
|
|
FrameKit and the prototyping of CASE environments8th International Workshop on Rapid System Prototyping, Jun 1997, Raleigh-Durham, United States. pp.91-97, ⟨10.1109/IWRSP.1997.618846⟩ |
Process decomposition for Rapid Prototyping of Parallel systems6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey |
|
|
|
Generation of ADA code from a Petri Net : an application3rd International Symposium on Computer and Information Sciences (ISCIS III), Oct 1988, Izmir, Turkey |
|
|
Software Architecture of Modern Model CheckersComputing and Software Science, State of the Art and Perspectives, 10000, Springer, pp.393-419, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-91908-9_20⟩ |
Eléments pour la conception des systèmes embarquésModélisation et analyse de systèmes embarqués, Hermes, pp.21-44, 2013 |
|
Elements for the Design of Embedded Computer SystemsEmbedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.3-27, 2013 |
|
Introduction généraleModélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013 |
|
IntroductionEmbedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.xix-xxii, 2013 |
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142 |
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩ |
|
A Model-Based Approach To Configure and Reconfigure Avionics SystemsReconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. ⟨10.4018/978-1-60960-086-0.ch019⟩ |
|
Introduction to Large-Scale Peer-to-Peer Distributed SystemsDistibuted Systems: Design and Algorithms, 2, Wiley, pp.21-31, 2011, 9781848212503. ⟨10.1002/9781118601365.ch2⟩ |
|
Introduction aux systèmes répartis à large échelleSystèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermes, pp.189-200, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4 |
|
Introduction généraleSystèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4 |
|
Construction d'un intergiciel vérifiéMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4 |
|
Panorama sur le développementMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.253-264, 2006, 2-7462-1447-4 |
|
Introduction généraleMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4 |
|
Modeling and Verifying Behavioral AspectsFormal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6 |
|
Code GenerationPetri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, Springer-Verlag, pp.433-469, 2003, 3-540-41217-4 |
Ada2017 |
|
|
|
Web Report on the Model Checking Contest @ Petri Net 20132013 |