|
CosyVerif: The Path to Formalisms Cohabitation
Étienne André
,
Jaime Arias
,
Benoît Barbot
,
Francis Hulin-Hubard
,
Fabrice Kordon
et al.
45th 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⟩
Communication dans un congrès
hal-04610312
v1
|
|
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving
Vincent Vallade
,
Ludovic Le Frioux
,
Souheib Baarir
,
Julien Sopena
,
Vijay Ganesh
et al.
SAT 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-02906505
v1
|
|
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Vincent Vallade
,
Ludovic Le Frioux
,
Souheib Baarir
,
Julien Sopena
,
Fabrice Kordon
NFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United States
Communication dans un congrès
hal-02545756
v1
|
|
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci
,
Dirk Beyer
,
Paul Black
,
Grigory Fedyukovich
,
Hubert Garavel
et al.
Communication dans un congrès
hal-02094030
v1
|
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
Ludovic Le Frioux
,
Souheib Baarir
,
Julien Sopena
,
Fabrice Kordon
TACAS 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-02093520
v1
|
|
Presentation of the 9th Edition of the Model Checking Contest
Elvio Amparore
,
Bernard Berthomieu
,
Gianfranco Ciardo
,
Silvano Dal Zilio
,
Francesco Gallà
et al.
Tools 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-02094047
v1
|
|
Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving
Hakan Metin
,
Souheib Baarir
,
Fabrice Kordon
Communication dans un congrès
hal-02145257
v1
|
|
Self-adaptive Model Checking, the Next Step?
Fabrice Kordon
,
Yann Thierry-Mieg
Communication dans un congrès
hal-01822143
v1
|
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
Hakan Metin
,
Souheib Baarir
,
Maximilien Colange
,
Fabrice Kordon
Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, Greece
Communication dans un congrès
hal-01766948
v1
|
|
PaInleSS: a Framework for Parallel SAT Solving
Ludovic Le Frioux
,
Souheib Baarir
,
Julien Sopena
,
Fabrice Kordon
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⟩
Communication dans un congrès
hal-01540785
v1
|
|
Petri Nets Repository: a tool to benchmark and debug Petri Net tools
Lom Messan Hillah
,
Fabrice Kordon
38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135
Communication dans un congrès
hal-01492419
v1
|
|
Service functional testing automation with intelligent scheduling and planning
Lom Messan Hillah
,
Ariele-Paolo Maesano
,
Libero Maesano
,
Fabio de Rosa
,
Fabrice Kordon
et al.
Symposium on Applied Computing (SAC), ACM, Apr 2016, Pisa, Italy. pp.1605-1610
Communication dans un congrès
hal-01306954
v1
|
|
Heuristics for Checking Liveness Properties with Partial Order Reductions
Alexandre Duret-Lutz
,
Fabrice Kordon
,
Denis Poitrenaud
,
Etienne Renault
Communication dans un congrès
hal-01368309
v1
|
|
Parallel Explicit Model Checking for Generalized Büchi Automata
Etienne Renault
,
Alexandre Duret-Lutz
,
Fabrice Kordon
,
Denis Poitrenaud
21th 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-01216666
v1
|
|
The MIDAS Cloud Platform for Testing SOA Applications
Steffen Herbold
,
Jens Grabowski
,
Patrick Harms
,
Lom Messan Hillah
,
Fabrice Kordon
et al.
8th 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-01212852
v1
|
|
BenchKit, a Tool for Massive Concurrent Benchmarking
Fabrice Kordon
,
Francis Hulin-Hubard
14th 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-01091157
v1
|
|
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
Étienne André
,
Fabrice Kordon
,
Laure Petrucci
Communication dans un congrès
hal-01215588
v1
|
|
Have you found the error? A Formal Framework for Learning Game Verification
Amel Yessad
,
Isabelle Mounier
,
Jean-Marc Labat
,
Fabrice Kordon
,
Thibault Carron
Communication dans un congrès
hal-01215670
v1
|
|
Symbolic Model Checking of stutter invariant properties Using Generalized Testing Automata
Ala Eddine Ben Salem
,
Alexandre Duret-Lutz
,
Fabrice Kordon
,
Yann Thierry-Mieg
20th 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-01216559
v1
|
|
CosyVerif: An Open Source Extensible Verification Environment
Étienne André
,
Yousra Lembachar
,
Laure Petrucci
,
Francis Hulin-Hubard
,
Alban Linard
et al.
18th 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-00926165
v1
|
|
A Scalable Architecture for Highly Reliable Certification
Xavier Bonnaire
,
Rudyar Cortes
,
Fabrice Kordon
,
Olivier Marin
TrustCom'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-00931444
v1
|
|
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
Étienne André
,
Benoît Barbot
,
Clément Démoulins
,
Lom Messan Hillah
,
Francis Hulin-Hubard
et al.
Communication dans un congrès
istex
hal-00926126
v1
|
|
Toward Improvement of Serious Game Reliability
Thibault Carron
,
Fabrice Kordon
,
Jean-Marc Labat
,
Isabelle Mounier
,
Amel Yessad
7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87
Communication dans un congrès
hal-01216093
v1
|
|
Verification of a Quasi certification Protocol over a DHT
Fabrice Kordon
,
Xavier Bonnaire
,
Rudyar Cortes
,
Olivier Marin
Dagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, Germany
Communication dans un congrès
hal-00931415
v1
|
|
Towards Distributed Software Model-Checking using Decision Diagrams
Maximilien Colange
,
Souheib Baarir
,
Fabrice Kordon
,
Yann Thierry-Mieg
Communication dans un congrès
hal-01215999
v1
|
|
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
Etienne Renault
,
Alexandre Duret-Lutz
,
Fabrice Kordon
,
Denis Poitrenaud
19th 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-01066995
v1
|
|
Three SCC-based Emptiness Checks for Generalized Büchi Automata
Etienne Renault
,
Alexandre Duret-Lutz
,
Fabrice Kordon
,
Denis Poitrenaud
19th 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-01066992
v1
|
|
Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification
Fabrice Kordon
,
Béatrice Berard
,
Yann Thierry-Mieg
,
Yann Ben Maissa
Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Jul 2012, Dagstuhl, Germany. pp.38-39
Communication dans un congrès
hal-00822416
v1
|
|
Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach
Maximilien Colange
,
Lom Messan Hillah
,
Fabrice Kordon
,
Pierre Parutto
Development, 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-01282265
v1
|
|
Modeling and Verifying Distributed Systems with Petri Nets (tutorial)
Souheib Baarir
,
Fabrice Kordon
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-01282434
v1
|
|
Modeling and Analyzing Wireless Sensor Networks with VeriSensor
Yann Ben Maissa
,
Fabrice Kordon
,
Salma Mouline
,
Yann Thierry-Mieg
Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76
Communication dans un congrès
hal-00822408
v1
|
|
State Space Analysis using Symmetries on Decision Diagrams
Maximilien Colange
,
Fabrice Kordon
,
Yann Thierry-Mieg
,
Souheib Baarir
12th 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-01270057
v1
|
|
Modeling complex systems with VeriJ
Yan Zhang
,
Béatrice Bérard
,
Lom Messan Hillah
,
Fabrice Kordon
,
Yann Thierry-Mieg
5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. pp.34-45
Communication dans un congrès
hal-01288126
v1
|
|
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag
Maximilien Colange
,
Souheib Baarir
,
Fabrice Kordon
,
Yann Thierry-Mieg
32nd 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
istex
hal-01282493
v1
|
|
{Compositional Analysis of Discrete Time Petri nets}
Yann Thierry-Mieg
,
Béatrice Bérard
,
Fabrice Kordon
,
Didier Lime
,
Olivier Henri Roux
1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. pp.17-31
Communication dans un congrès
hal-01282489
v1
|
|
{Extending PNML Scope: the Prioritised Petri Nets Experience}
Lom Messan Hillah
,
Fabrice Kordon
,
Charles Lakos
,
Laure Petrucci
Petri Net and Software Engineering (PNSE 2011), Jun 2011, Newcastle, United Kingdom. pp.92-106
Communication dans un congrès
hal-01282491
v1
|
|
{Generalized Büchi Automata versus Testing Automata for Model Checking}
Ala Eddine Ben Salem
,
Alexandre Duret-Lutz
,
Fabrice Kordon
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-01282490
v1
|
|
polyDD: Towards a Framework Generalizing Decision Diagrams
Alban Linard
,
Emmanuel Paviot-Adet
,
Fabrice Kordon
,
Didier Buchs
,
Samuel Charron
10th 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-01292564
v1
|
|
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems
Gilles Lasnier
,
Thomas Robert
,
Laurent Pautet
,
Fabrice Kordon
13th 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-01292574
v1
|
|
A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL
Jun Zhu
,
Fabrice Kordon
2nd 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-01292580
v1
|
|
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
Lom Hillah
,
Fabrice Kordon
,
Laure Petrucci
,
Nicolas Treves
31st 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
istex
hal-01125746
v1
|
|
Experiences in Model Driven Verification of Behavior with UML
Fabrice Kordon
,
Yann Thierry-Mieg
Foundations 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
istex
hal-01288216
v1
|
|
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach
Jean-Baptiste Voron
,
Clément Démoulins
,
Fabrice Kordon
10th 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-01292568
v1
|
|
Design, Verification and Implementation of MILS systems
Julien Delange
,
Laurent Pautet
,
Fabrice Kordon
The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8
Communication dans un congrès
hal-01288211
v1
|
|
Modeling and Validation of ARINC653 architectures
Julien Delange
,
Laurent Pautet
,
Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Communication dans un congrès
hal-02269428
v1
|
|
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex
Gilles Lasnier
,
Thomas Robert
,
Laurent Pautet
,
Fabrice Kordon
10th 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-01292569
v1
|
|
Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams
Yan Zhang
,
Béatrice Bérard
,
Fabrice Kordon
,
Yann Thierry-Mieg
Communication dans un congrès
hal-01293801
v1
|
|
Self-Reconfigurable Modular Robots and their Symbolic Configuration Space
Souheib Baarir
,
Lom Messan Hillah
,
Fabrice Kordon
,
Etienne Renault
Modeling, 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
istex
hal-01288061
v1
|
|
Efficient State-Based Analysis by Introducing Bags in Petri Nets Color Domains
Serge Haddad
,
Fabrice Kordon
,
Laure Petrucci
,
Jean-François Pradat-Peyre
,
Nicolas Trèves
Communication dans un congrès
hal-00772677
v1
|
|
Model Driven Enginering versus Organic Computing, two complementary approaches
Fabrice Kordon
12th 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-01298275
v1
|
|
Hierarchical Set Decision Diagrams and Regular Models
Yann Thierry-Mieg
,
Denis Poitrenaud
,
Alexandre Hamez
,
Fabrice Kordon
15th 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-01294397
v1
|
|
Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets
Xavier Renault
,
Fabrice Kordon
,
Jérôme Hugues
The 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-01294399
v1
|
|
Verification of large-scale distributed database systems in the NEOPPOD project
Olivier Bertrand
,
Aurélien Calonne
,
Christine Choppy
,
Silien Hong
,
Kaïs Klai
et al.
Workshop 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-01298277
v1
|
|
From AADL architectural models to Petri Nets: Checking model viability
Xavier Renault
,
Fabrice Kordon
,
Jérôme Hugues
12th 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-01298276
v1
|
|
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
Nicolas Treves
,
Lom Messan Hillah
,
Fabrice Kordon
,
Laure Petrucci
10th 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-01126017
v1
|
|
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
Fabien Bonnefoi
,
Christine Choppy
,
Fabrice Kordon
9th 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-01303741
v1
|
|
Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel Programs
Jean-Baptiste Voron
,
Fabrice Kordon
International Workshop on Petri Nets Tools and APplications (PNTAP), Mar 2008, Marseille, France. pp.1-10
Communication dans un congrès
hal-01305040
v1
|
|
Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory
Béatrice Bérard
,
Serge Haddad
,
Lom Messan Hillah
,
Fabrice Kordon
,
Yann Thierry-Mieg
Communication dans un congrès
hal-01303699
v1
|
|
Code Generation Strategies for Partitioned Systems
Julien Delange
,
Laurent Pautet
,
Fabrice Kordon
29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56
Communication dans un congrès
hal-01303791
v1
|
|
From Model Driven Engineering to Verification Driven Engineering
Fabrice Kordon
,
Jérôme Hugues
,
Xavier Renault
6th 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-01304953
v1
|
|
Design Methodologies for Embedded Systems: Where is the Super-Glue?
Fabrice Kordon
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-01304942
v1
|
|
A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration
Djamel Benmerzoug
,
Fabrice Kordon
,
Mahmoud Boufaïda
Advances 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-01303701
v1
|
|
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
Xavier Renault
,
Jérôme Hugues
,
Fabrice Kordon
Communication dans un congrès
hal-01304976
v1
|
|
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs
Luqi
,
Fabrice Kordon
Innovations 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
istex
hal-01304961
v1
|
|
Hierarchical Set Decision Diagrams and Automatic Saturation
Alexandre Hamez
,
Yann Thierry-Mieg
,
Fabrice Kordon
29th 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-01303835
v1
|
|
A Factory To Design and Build Tailorable and Verifiable Middleware
Jérôme Hugues
,
Fabrice Kordon
,
Laurent Pautet
,
Thomas Vergnaud
Workshop 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
istex
hal-01335054
v1
|
|
Rapid Prototyping of Intrusion Detection Systems
Fabrice Kordon
,
Jean-Baptiste Voron
,
Liviu Iftode
18th 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-01335149
v1
|
|
A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents
Djamel Benmerzoug
,
Mahmoud Boufaïda
,
Fabrice Kordon
5th 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-01334853
v1
|
|
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Jérôme Hugues
,
Béchir Zalila
,
Laurent Pautet
,
Fabrice Kordon
18th 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-01335114
v1
|
|
Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems
Fabrice Kordon
International 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-01335145
v1
|
|
Design, Modeling and Analysis of ITS using UML and Petri Nets
Fabien Bonnefoi
,
Lom Messan Hillah
,
Fabrice Kordon
,
Xavier Renault
10th 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-01334867
v1
|
|
libDMC: a library to Operate Efficient Distributed Model Checking
Alexandre Hamez
,
Fabrice Kordon
,
Yann Thierry-Mieg
Workshop 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-00687573
v1
|
|
dmcG: a distributed symbolic model checker based on GreatSPN
Alexandre Hamez
,
Fabrice Kordon
,
Yann Thierry-Mieg
,
Fabrice Legond-Aubry
28th 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
istex
hal-00701513
v1
|
|
A formal approach to designing autonomous systems: from Intelligent Transport Systems to Robots
Fabrice Kordon
,
Laure Petrucci
2nd 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-01335148
v1
|
|
A Framework for DRE Middleware, an Application to DDS
Jérôme Hugues
,
Fabrice Kordon
,
Laurent Pautet
International 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-01336642
v1
|
|
A Multi-Views Business Process Ontology for Flexible Collaboration
Razika Driouche
,
Zizette Boufaïda
,
Fabrice Kordon
International 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-01351747
v1
|
|
New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed Systems
Alexandre Hamez
,
Lom Messan Hillah
,
Fabrice Kordon
,
Alban Linard
,
Emmanuel Paviot-Adet
et al.
6th 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-01351775
v1
|
|
Tutorial on Formal Methods for Distributed and Cooperative Systems
Christine Choppy
,
Serge Haddad
,
Hanna Klaudel
,
Fabrice Kordon
,
Laure Petrucci
et al.
3rd 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
istex
hal-00340483
v1
|
|
An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems
Fabien Bonnefoi
,
Lom Messan Hillah
,
Fabrice Kordon
,
Guy Fremont
Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA '06), Jun 2006, Turku, Finland. pp.65-86
Communication dans un congrès
hal-01336640
v1
|
|
PN standardisation: a survey
Lom Hillah
,
Fabrice Kordon
,
Laure Petrucci
,
Nicolas Trèves
26th 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
istex
hal-00084198
v1
|
|
An Ontology Based Architecture for Integrating Enterprise Applications
Razika Driouche
,
Zizette Boufaïda
,
Fabrice Kordon
International 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-01351749
v1
|
|
Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration Scenario
Razika Driouche
,
Zizette Boufaïda
,
Fabrice Kordon
6th International Workshop On Web Based Collaboration (WBC '2006), Sep 2006, Krakow, Poland. pp.299-303
Communication dans un congrès
hal-01351742
v1
|
|
Optimized Colored Nets Unfolding
Fabrice Kordon
,
Alban Linard
,
Emmanuel Paviot-Adet
International 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-01351825
v1
|
|
Revisiting COTS Middleware for DRE System
Jérôme Hugues
,
Laurent Pautet
,
Fabrice Kordon
International 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-01489155
v1
|
|
Towards Proof-Based Real-Time Distribution Middleware
Jérôme Hugues
,
Fabrice Kordon
,
Laurent Pautet
13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70
Communication dans un congrès
hal-01489156
v1
|
|
Rapid Development Methodology for Customized Middleware
Thomas Vergnaud
,
Jérôme Hugues
,
Laurent Pautet
,
Fabrice Kordon
16th 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-01490881
v1
|
|
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Thomas Vergnaud
,
Laurent Pautet
,
Fabrice Kordon
Reliable Software Technologies (RST'05), Jun 2005, York, United Kingdom. pp.67-78, ⟨10.1007/11499909_6⟩
Communication dans un congrès
hal-01493416
v1
|
|
On the Formal Verification of Middleware Behavioral Properties
Jérôme Hugues
,
Yann Thierry-Mieg
,
Fabrice Kordon
,
Laurent Pautet
,
Souheib Baarir
et al.
9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157
Communication dans un congrès
hal-01520379
v1
|
|
PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
Thomas Vergnaud
,
Jérôme Hugues
,
Laurent Pautet
,
Fabrice Kordon
9th 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
istex
hal-01520674
v1
|
|
Model Checking of Highlevelobject Oriented Specifications : The LfP Experience
Frédéric Gilliers
,
François Bréant
,
Denis Poitrenaud
,
Fabrice Kordon
3rd Workshop on Modelling of Objects, Components, and Agents (MOCA '04), Oct 2004, Aarhus, Denmark. pp.149-168
Communication dans un congrès
hal-01520299
v1
|
|
Generation of Distributed Programs in their Target Execution Environment
Frédéric Gilliers
,
Fabrice Kordon
,
Jean-Pierre Velu
Communication dans un congrès
hal-01520296
v1
|
|
Contributions to middleware architectures to prototype distribution infrastructures
Jérôme Hugues
,
Laurent Pautet
,
Fabrice Kordon
14th 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-01529290
v1
|
|
Refining Middleware Functions for Verification Purpose
Jérôme Hugues
,
Fabrice Kordon
,
Laurent Pautet
Workshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States
Communication dans un congrès
hal-01529288
v1
|
|
Modélisation et vérification de systèmes répartis :une approche intégrée avec LfP
Dan Regep
,
Yann Thierry-Mieg
,
Frédéric Gilliers
,
Fabrice Kordon
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, France
Communication dans un congrès
hal-01530423
v1
|
|
A case study of Middleware to Middleware: MOM and ORB interoperability
Jérôme Hugues
,
Fabrice Kordon
,
Laurent Pautet
,
Thomas Quinot
4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United States
Communication dans un congrès
hal-01544387
v1
|
|
A Model Based Development Approach for Distributed Embedded Systems
Frédéric Gilliers
,
Fabrice Kordon
,
Dan Regep
2002 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
istex
hal-01544445
v1
|
|
Modular Approach to Specify and Validate an Electrical Fligh Control System
M. Doche
,
Isabelle Vernier-Mounier
,
Fabrice Kordon
Communication dans un congrès
istex
hal-01571083
v1
|
|
LfP : A specification language for rapid prototyping of concurrent systems
Dan Regep
,
Fabrice Kordon
Communication dans un congrès
hal-01571157
v1
|
|
A Survey: Applying Formal Methods to a Software Intensive System
G. Gaudière
,
A. De Groot
,
J. Hooman
,
Fabrice Kordon
,
M. Lemoine
et al.
6th 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-01571075
v1
|
|
From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models
Thomas Quinot
,
Fabrice Kordon
,
Laurent Pautet
3rd 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-01571185
v1
|
|
Architecture for a reuseable object-oriented polymorphic middleware
Fabrice Kordon
,
Laurent Pautet
,
Thomas Quinot
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States
Communication dans un congrès
hal-01571190
v1
|
|
Formal Verification of Embedded Distributed Systems in a Prototyping Approach
Fabrice Kordon
,
Isabelle Vernier-Mounier
,
Emmanuel Paviot-Adet
,
Dan Regep
International Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE
Communication dans un congrès
hal-01571064
v1
|
|
Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system
Innocent Bakam
,
Fabrice Kordon
,
Christophe Le Page
,
François Bousquet
Communication dans un congrès
hal-01573109
v1
|
|
Using MetaScribe to prototype an UML to C++/Ada95 code generator
Dan Regep
,
Fabrice Kordon
Communication dans un congrès
hal-01573111
v1
|
|
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-Cameroun
Innocent Bakam
,
Fabrice Kordon
,
Christophe Le Page
,
François Bousquet
CARI' 2000, Oct 2000, Antananarive, Madagascar
Communication dans un congrès
hal-01573113
v1
|
|
Using CPN-AMI to validate a safe channel protocol
Fabrice Kordon
,
Emmanuel Paviot-Adet
Toolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United States
Communication dans un congrès
hal-01574368
v1
|
|
MetaScribe, an Ada-based Tool for the Construction of Tranformation Engines
Fabrice Kordon
International 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
istex
hal-01574367
v1
|
|
Testing Prototypes Validity to Enhance Code Reuse
Didier Buchs
,
Alioune Diagne
,
Fabrice Kordon
Communication dans un congrès
hal-01621743
v1
|
|
Implementation of Genericity for customizable CASE environments
Fabrice Kordon
,
Jean-Luc Mounier
CARI '98, Oct 1998, Dakar, Senegal. pp.765-776
Communication dans un congrès
hal-01575050
v1
|
|
Quality Management Issues along Life-cycle of Distributed Applications
Alioune Diagne
,
Pascal Estraillier
,
Fabrice Kordon
CARI '98, Oct 1998, Dakar, Senegal. pp.753-763
Communication dans un congrès
hal-01575053
v1
|
|
FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE Environments
Fabrice Kordon
,
Jean-Luc Mounier
11th International Conference on Software Engineering and its Applications, Dec 1998, Paris, France. pp.91-99
Communication dans un congrès
hal-01624603
v1
|
|
BioMedScape: a Web based Environment for Diffusion and Analysis of Research Data in Discrete Areas of Life-Sciences
Fabrice Kordon
,
Nicolas Poizot
,
Ghislaine Filliatreau
,
Claude Kordon
Thirteenth International Conference on Computer Communication, Nov 1997, Cannes, France. pp.149-154
Communication dans un congrès
hal-01629205
v1
|
|
FrameKit and the prototyping of CASE environments
Fabrice Kordon
,
Jean-Luc Mounier
Communication dans un congrès
hal-01629203
v1
|
|
Process decomposition for Rapid Prototyping of Parallel systems
Fabrice Kordon
,
Jean-François Peyre
6th International Symposium on Computer and Information Science, Oct 1991, Antalya, Turkey
Communication dans un congrès
hal-01124800
v1
|
|
Generation of ADA code from a Petri Net : an application
Bernard Cousin
,
Pascal Estraillier
,
Fabrice Kordon
3rd International Symposium on Computer and Information Sciences (ISCIS III), Oct 1988, Izmir, Turkey
Communication dans un congrès
hal-04808088
v1
|