- 148
- 17
- 9
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Fabrice Kordon
189
Documents
Présentation
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
- 1
- 1
- 1
- 1
- 1
- 34
- 29
- 25
- 24
- 15
- 12
- 11
- 9
- 9
- 8
- 7
- 7
- 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
- 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
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⟩
Communication dans un congrès
hal-02906505v1
|
|
On the Usefulness of Clause Strengthening in Parallel SAT SolvingNFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Communication dans un congrès
hal-02545756v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02094047v1
|
|
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⟩
Communication dans un congrès
hal-02094030v1
|
|
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⟩
Communication dans un congrès
hal-01822143v1
|
|
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingTools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece
Communication dans un congrès
hal-01766948v1
|
|
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
Communication dans un congrès
hal-01492419v1
|
|
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⟩
Communication dans un congrès
hal-01540785v1
|
|
Service functional testing automation with intelligent scheduling and planningSymposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01368309v1
|
|
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⟩
Communication dans un congrès
hal-01216666v1
|
|
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⟩
Communication dans un congrès
hal-01212852v1
|
|
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⟩
Communication dans un congrès
hal-01216559v1
|
|
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⟩
Communication dans un congrès
hal-01215670v1
|
|
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⟩
Communication dans un congrès
hal-01215588v1
|
|
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⟩
Communication dans un congrès
hal-01091157v1
|
|
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⟩
Communication dans un congrès
hal-00926165v1
|
|
Verification of a Quasi certification Protocol over a DHTDagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany
Communication dans un congrès
hal-00931415v1
|
|
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⟩
Communication dans un congrès
hal-01215999v1
|
|
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⟩
Communication dans un congrès
hal-00931444v1
|
|
Toward Improvement of Serious Game Reliability7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00926126v1
|
|
|
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⟩
Communication dans un congrès
hal-01066995v1
|
|
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⟩
Communication dans un congrès
hal-01066992v1
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01270057v1
|
|
|
Modeling and Analyzing Wireless Sensor Networks with VeriSensorPetri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76
Communication dans un congrès
hal-00822408v1
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00822416v1
|
Modeling complex systems with VeriJ5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45
Communication dans un congrès
hal-01288126v1
|
|
{Compositional Analysis of Discrete Time Petri nets}1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Communication dans un congrès
hal-01282489v1
|
|
|
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⟩
Communication dans un congrès
hal-01282493v1
|
{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
Communication dans un congrès
hal-01282490v1
|
|
{Extending PNML Scope: the Prioritised Petri Nets Experience}Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Communication dans un congrès
hal-01282491v1
|
|
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⟩
Communication dans un congrès
hal-01125746v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01292568v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01288211v1
|
|
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Communication dans un congrès
hal-02269428v1
|
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⟩
Communication dans un congrès
hal-01292564v1
|
|
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⟩
Communication dans un congrès
hal-01293801v1
|
|
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⟩
Communication dans un congrès
hal-01292569v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01294399v1
|
|
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⟩
Communication dans un congrès
hal-00772677v1
|
|
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⟩
Communication dans un congrès
hal-01298276v1
|
|
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
Communication dans un congrès
hal-01126017v1
|
|
Code Generation Strategies for Partitioned Systems29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01288216v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01304953v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01304976v1
|
|
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⟩
Communication dans un congrès
hal-01335114v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01335149v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01304961v1
|
|
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⟩
Communication dans un congrès
hal-01334867v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01351747v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01351749v1
|
|
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⟩
Communication dans un congrès
hal-00084198v1
|
|
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
Communication dans un congrès
hal-01336640v1
|
|
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⟩
Communication dans un congrès
hal-00340483v1
|
|
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⟩
Communication dans un congrès
hal-01336642v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01489155v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01493416v1
|
|
Towards Proof-Based Real-Time Distribution Middleware13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70
Communication dans un congrès
hal-01489156v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01520674v1
|
|
Refining Middleware Functions for Verification PurposeWorkshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States
Communication dans un congrès
hal-01529288v1
|
|
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⟩
Communication dans un congrès
hal-01529290v1
|
|
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
Communication dans un congrès
hal-01530423v1
|
|
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
Communication dans un congrès
hal-01544387v1
|
|
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⟩
Communication dans un congrès
hal-01544445v1
|
|
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⟩
Communication dans un congrès
hal-01571075v1
|
|
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⟩
Communication dans un congrès
hal-01571185v1
|
|
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
Communication dans un congrès
hal-01571190v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01571083v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01573113v1
|
|
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⟩
Communication dans un congrès
hal-01574367v1
|
|
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
Communication dans un congrès
hal-01574368v1
|
|
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⟩
Communication dans un congrès
hal-01621743v1
|
|
Implementation of Genericity for customizable CASE environmentsCARI '98, Oct 1998, Dakar, Senegal. pp.765-776
Communication dans un congrès
hal-01575050v1
|
|
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
Communication dans un congrès
hal-01624603v1
|
|
Quality Management Issues along Life-cycle of Distributed ApplicationsCARI '98, Oct 1998, Dakar, Senegal. pp.753-763
Communication dans un congrès
hal-01575053v1
|
|
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
Communication dans un congrès
hal-01629205v1
|
|
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⟩
Communication dans un congrès
hal-01629203v1
|
|
Process decomposition for Rapid Prototyping of Parallel systems6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey
Communication dans un congrès
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⟩
Chapitre d'ouvrage
hal-02343325v1
|
|
Introduction généraleModélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013
Chapitre d'ouvrage
hal-01221594v1
|
|
Eléments pour la conception des systèmes embarquésModélisation et analyse de systèmes embarqués, Hermes, pp.21-44, 2013
Chapitre d'ouvrage
hal-01221593v1
|
|
Elements for the Design of Embedded Computer SystemsEmbedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.3-27, 2013
Chapitre d'ouvrage
hal-01221595v1
|
|
IntroductionEmbedded Systems, analysis and modeling with SysML, UML and AADL, Wiley, pp.xix-xxii, 2013
Chapitre d'ouvrage
hal-01221598v1
|
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage
hal-01282495v1
|
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
hal-01529939v1
|
Ada2017
Autre publication scientifique
hal-01583978v1
|
|
|
Web Report on the Model Checking Contest @ Petri Net 20132013
Autre publication scientifique
hal-00926989v1
|