- 148
- 17
- 9
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Fabrice Kordon
189
Documents
Presentation
My research work is related to distributed systems, software engineering and formal methods.
My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques.
So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets
I also try to provide prototype implementations of these techniques in dedicated verification tools. It is thus possible to assess these with realistic problems. So far, I tackle applications such Middleware, Intelligent Transport Systems, Intrusion Detection Systems, or wireless sensor networks that are typical examples of complex distributed systems.
Publications
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 34
- 29
- 25
- 24
- 15
- 12
- 11
- 9
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 150
- 38
- 1
On the Usefulness of Clause Strengthening in Parallel SAT SolvingNFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Conference papers
hal-02545756v1
|
|
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⟩
Conference papers
hal-02906505v1
|
|
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⟩
Conference papers
hal-02094030v1
|
|
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⟩
Conference papers
hal-02093520v1
|
|
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⟩
Conference papers
hal-02145257v1
|
|
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⟩
Conference papers
hal-02094047v1
|
|
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⟩
Conference papers
hal-01822143v1
|
|
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingTools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece
Conference papers
hal-01766948v1
|
PaInleSS: a Framework for Parallel SAT Solving.The 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⟩
Conference papers
hal-01540785v1
|
|
|
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
Conference papers
hal-01492419v1
|
|
Service functional testing automation with intelligent scheduling and planningSymposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
Conference papers
hal-01306954v1
|
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⟩
Conference papers
hal-01368309v1
|
|
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⟩
Conference papers
hal-01212852v1
|
|
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⟩
Conference papers
hal-01216666v1
|
|
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⟩
Conference papers
hal-01091157v1
|
|
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⟩
Conference papers
hal-01215588v1
|
|
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⟩
Conference papers
hal-01215670v1
|
|
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⟩
Conference papers
hal-01216559v1
|
|
|
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⟩
Conference papers
hal-01066992v1
|
|
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⟩
Conference papers
hal-01066995v1
|
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⟩
Conference papers
hal-00926165v1
|
|
Toward Improvement of Serious Game Reliability7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87
Conference papers
hal-01216093v1
|
|
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⟩
Conference papers
hal-00926126v1
|
|
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⟩
Conference papers
hal-00931444v1
|
|
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⟩
Conference papers
hal-01215999v1
|
|
Verification of a Quasi certification Protocol over a DHTDagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany
Conference papers
hal-00931415v1
|
|
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⟩
Conference papers
hal-01282265v1
|
|
|
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
Conference papers
hal-00822416v1
|
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⟩
Conference papers
hal-01282434v1
|
|
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⟩
Conference papers
hal-01270057v1
|
|
|
Modeling and Analyzing Wireless Sensor Networks with VeriSensorPetri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76
Conference papers
hal-00822408v1
|
Modeling complex systems with VeriJ5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45
Conference papers
hal-01288126v1
|
|
{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
Conference papers
hal-01282490v1
|
|
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⟩
Conference papers
hal-01282493v1
|
|
{Extending PNML Scope: the Prioritised Petri Nets Experience}Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Conference papers
hal-01282491v1
|
|
{Compositional Analysis of Discrete Time Petri nets}1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Conference papers
hal-01282489v1
|
|
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⟩
Conference papers
hal-01292564v1
|
|
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⟩
Conference papers
hal-01125746v1
|
|
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⟩
Conference papers
hal-01288061v1
|
|
Design, Verification and Implementation of MILS systemsThe 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8
Conference papers
hal-01288211v1
|
|
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers
hal-02269428v1
|
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⟩
Conference papers
hal-01292574v1
|
|
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⟩
Conference papers
hal-01292580v1
|
|
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⟩
Conference papers
hal-01292568v1
|
|
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⟩
Conference papers
hal-01292569v1
|
|
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⟩
Conference papers
hal-01293801v1
|
|
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⟩
Conference papers
hal-00772677v1
|
|
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⟩
Conference papers
hal-01298275v1
|
|
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⟩
Conference papers
hal-01294397v1
|
|
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
Conference papers
hal-01298277v1
|
|
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⟩
Conference papers
hal-01294399v1
|
|
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
Conference papers
hal-01126017v1
|
|
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⟩
Conference papers
hal-01298276v1
|
|
Code Generation Strategies for Partitioned Systems29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56
Conference papers
hal-01303791v1
|
|
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⟩
Conference papers
hal-01288216v1
|
|
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⟩
Conference papers
hal-01303835v1
|
|
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⟩
Conference papers
hal-01303701v1
|
|
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⟩
Conference papers
hal-01304976v1
|
|
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
Conference papers
hal-01303741v1
|
|
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
Conference papers
hal-01305040v1
|
|
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⟩
Conference papers
hal-01303699v1
|
|
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⟩
Conference papers
hal-01304942v1
|
|
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⟩
Conference papers
hal-01304953v1
|
|
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⟩
Conference papers
hal-00687573v1
|
|
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
Conference papers
hal-01335148v1
|
|
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⟩
Conference papers
hal-00701513v1
|
|
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⟩
Conference papers
hal-01335145v1
|
|
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⟩
Conference papers
hal-01304961v1
|
|
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
Conference papers
hal-01334853v1
|
|
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⟩
Conference papers
hal-01335149v1
|
|
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⟩
Conference papers
hal-01335114v1
|
|
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⟩
Conference papers
hal-01334867v1
|
|
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⟩
Conference papers
hal-01336642v1
|
|
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⟩
Conference papers
hal-01351775v1
|
|
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⟩
Conference papers
hal-01351747v1
|
|
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⟩
Conference papers
hal-00084198v1
|
|
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⟩
Conference papers
hal-00340483v1
|
|
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
Conference papers
hal-01336640v1
|
|
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
Conference papers
hal-01351742v1
|
|
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⟩
Conference papers
hal-01351749v1
|
|
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⟩
Conference papers
hal-01351825v1
|
|
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⟩
Conference papers
hal-01335054v1
|
|
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⟩
Conference papers
hal-01489155v1
|
|
Towards Proof-Based Real-Time Distribution Middleware13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70
Conference papers
hal-01489156v1
|
|
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⟩
Conference papers
hal-01490881v1
|
|
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⟩
Conference papers
hal-01493416v1
|
|
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
Conference papers
hal-01520379v1
|
|
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⟩
Conference papers
hal-01520296v1
|
|
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
Conference papers
hal-01520299v1
|
|
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⟩
Conference papers
hal-01520674v1
|
|
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
Conference papers
hal-01530423v1
|
|
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⟩
Conference papers
hal-01529290v1
|
|
Refining Middleware Functions for Verification PurposeWorkshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States
Conference papers
hal-01529288v1
|
|
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⟩
Conference papers
hal-01544445v1
|
|
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
Conference papers
hal-01544387v1
|
|
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⟩
Conference papers
hal-01571157v1
|
|
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⟩
Conference papers
hal-01571083v1
|
|
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⟩
Conference papers
hal-01571075v1
|
|
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
Conference papers
hal-01571190v1
|
|
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⟩
Conference papers
hal-01571185v1
|
|
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
Conference papers
hal-01571064v1
|
|
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⟩
Conference papers
hal-01573109v1
|
|
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⟩
Conference papers
hal-01573111v1
|
|
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
Conference papers
hal-01573113v1
|
|
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
Conference papers
hal-01574368v1
|
|
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⟩
Conference papers
hal-01574367v1
|
|
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
Conference papers
hal-01624603v1
|
|
Quality Management Issues along Life-cycle of Distributed ApplicationsCARI '98, Oct 1998, Dakar, Senegal. pp.753-763
Conference papers
hal-01575053v1
|
|
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⟩
Conference papers
hal-01621743v1
|
|
Implementation of Genericity for customizable CASE environmentsCARI '98, Oct 1998, Dakar, Senegal. pp.765-776
Conference papers
hal-01575050v1
|
|
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⟩
Conference papers
hal-01629203v1
|
|
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
Conference papers
hal-01629205v1
|
|
Process decomposition for Rapid Prototyping of Parallel systems6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey
Conference papers
hal-01124800v1
|
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⟩
Book sections
hal-02343325v1
|
|
Elements for the Design of Embedded Computer SystemsEmbedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.3-27, 2013
Book sections
hal-01221595v1
|
|
Eléments pour la conception des systèmes embarquésModélisation et analyse de systèmes embarqués, Hermes, pp.21-44, 2013
Book sections
hal-01221593v1
|
|
Introduction généraleModélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013
Book sections
hal-01221594v1
|
|
IntroductionEmbedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.xix-xxii, 2013
Book sections
hal-01221598v1
|
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Book sections
hal-01282495v1
|
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Book sections
hal-01288072v1
|
|
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⟩
Book sections
hal-01288059v1
|
|
Introduction to Large-Scale Peer-to-Peer Distributed SystemsDistibuted Systems: Design and Algorithms, 2, Wiley, pp.21-31, 2011, 9781848212503. ⟨10.1002/9781118601365.ch2⟩
Book sections
hal-01288074v1
|
|
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
Book sections
hal-01304909v1
|
|
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
Book sections
hal-01304954v1
|
|
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
Book sections
hal-01351785v1
|
|
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
Book sections
hal-01351822v1
|
|
Introduction généraleMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.1-6, 2006, 2-7462-1447-4
Book sections
hal-01351774v1
|
|
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
Book sections
hal-01520010v1
|
|
Code GenerationPetri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, Springer-Verlag, pp.433-469, 2003, 3-540-41217-4
Book sections
hal-01529939v1
|
Ada2017
Other publications
hal-01583978v1
|
|
|
Web Report on the Model Checking Contest @ Petri Net 20132013
Other publications
hal-00926989v1
|