|  | 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 ConcurrencyCommunication dans un congrès
                    
        
        
            
                
                    hal-04610312
                                            v1, Jun 2024, Geneva, Switzerland. pp.432-444, ⟨10.1007/978-3-031-61433-0_21⟩ | 
                                                                                
    |  | Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023Nicolas Amat
                                                                ,
                                                                                                                                Elvio Amparore
                                                                ,
                                                                                                                                Bernard Berthomieu
                                                                ,
                                                                                                                                Pierre Bouvier
                                                                ,
                                                                                                                                Silvano Dal Zilio
                                                                                            et al.Communication dans un congrès
                    
        
        
            
                
                    hal-04764190
                                            v1
 | 
                                                                                
    | 
                        
                     | Community and LBD-Based Clause Sharing Policy for Parallel SAT SolvingVincent Vallade
                                                                ,
                                                                                                                                Ludovic Le Frioux
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Julien Sopena
                                                                ,
                                                                                                                                Vijay Ganesh
                                                                                            et al.
 SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability TestingCommunication dans un congrès
                    
        
        
            
                
                    hal-02906505
                                            v1, Jul 2020, Alghero / Virtual, Italy. pp.11-27, ⟨10.1007/978-3-030-51825-7_2⟩ | 
                                                                                
    |  | On the Usefulness of Clause Strengthening in Parallel SAT SolvingVincent Vallade
                                                                ,
                                                                                                                                Ludovic Le Frioux
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Julien Sopena
                                                                ,
                                                                                                                                Fabrice Kordon
 NFM 2020 - 12th NASA Formal Methods Symposium, May 2020, Moffett Field / Virtual, United StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-02545756
                                            v1 | 
                                                                                
    | 
                        
                     | TOOLympics 2019: An Overview of Competitions in Formal MethodsEzio 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 FrameworkLudovic Le Frioux
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Julien Sopena
                                                                ,
                                                                                                                                Fabrice Kordon
 TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of SystemsCommunication dans un congrès
                    
        
        
            
                
                    hal-02093520
                                            v1, Apr 2019, Prague, Czech Republic. pp.135-151, ⟨10.1007/978-3-030-17462-0_8⟩ | 
                                                                                
    | 
                        
                     | Presentation of the 9th Edition of the Model Checking ContestElvio 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 IIICommunication dans un congrès
                    
        
        
            
                
                    hal-02094047
                                            v1, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩ | 
                                                                                
    |  | Composing Symmetry Propagation and Effective Symmetry Breaking for SAT SolvingHakan Metin
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Fabrice KordonCommunication dans un congrès
                    
        
        
            
                
                    hal-02145257
                                            v1
 | 
                                                                                
    |  | Self-adaptive Model Checking, the Next Step?Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-MiegCommunication dans un congrès
                    
        
        
            
                
                    hal-01822143
                                            v1
 | 
                                                                                
    |  | CDCLSym: Introducing Effective Symmetry Breaking in SAT SolvingHakan Metin
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Maximilien Colange
                                                                ,
                                                                                                                                Fabrice Kordon
 Tools and Algorithms for the Construction and Analysis of Systems -- TACAS, Apr 2018, Tessaloniki, GreeceCommunication dans un congrès
                    
        
        
            
                
                    hal-01766948
                                            v1 | 
                                                                                
    |  | PaInleSS: a Framework for Parallel SAT SolvingLudovic Le Frioux
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Julien Sopena
                                                                ,
                                                                                                                                Fabrice Kordon
 The 20th International Conference on Theory and Applications of Satisfiability TestingCommunication dans un congrès
                    
        
        
            
                
                    hal-01540785
                                            v1, Aug 2017, Melbourne, Australia. pp.233-250, ⟨10.1007/978-3-319-66263-3_15⟩ | 
                                                                                
    |  | Petri Nets Repository: a tool to benchmark and debug Petri Net toolsLom Messan Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
 38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135Communication dans un congrès
                    
        
        
            
                
                    hal-01492419
                                            v1 | 
                                                                                
    |  | Service functional testing automation with intelligent scheduling and planningLom 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-1610Communication dans un congrès
                    
        
        
            
                
                    hal-01306954
                                            v1 | 
                                                                                
    |  | Heuristics for Checking Liveness Properties with Partial Order ReductionsAlexandre Duret-Lutz
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Denis Poitrenaud
                                                                ,
                                                                                                                                Etienne RenaultCommunication dans un congrès
                    
        
        
            
                
                    hal-01368309
                                            v1
 | 
                                                                                
    |  | Parallel Explicit Model Checking for Generalized Büchi AutomataEtienne Renault
                                                                ,
                                                                                                                                Alexandre Duret-Lutz
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Denis Poitrenaud
 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015Communication dans un congrès
                    
        
        
            
                
                    hal-01216666
                                            v1, Apr 2015, London, United Kingdom. pp.613-627, ⟨10.1007/978-3-662-46681-0_56⟩ | 
                                                                                
    |  | The MIDAS Cloud Platform for Testing SOA ApplicationsSteffen Herbold
                                                                ,
                                                                                                                                Jens Grabowski
                                                                ,
                                                                                                                                Patrick Harms
                                                                ,
                                                                                                                                Lom Messan Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                                            et al.
 8th International IEEE Conference on Software Testing, Verification and Validation (ICST)Communication dans un congrès
                    
        
        
            
                
                    hal-01212852
                                            v1, Apr 2015, Graz, Austria. pp.1-8, ⟨10.1109/ICST.2015.7102636⟩ | 
                                                                                
    |  | BenchKit, a Tool for Massive Concurrent BenchmarkingFabrice Kordon
                                                                ,
                                                                                                                                Francis Hulin-Hubard
 14th International Conference on Application of Concurrency to System Design (ACSD'14)Communication dans un congrès
                    
        
        
            
                
                    hal-01091157
                                            v1, Jun 2014, Tunis, Tunisia. pp.159-165, ⟨10.1109/ACSD.2014.12⟩ | 
                                                                                
    | 
                        
                     | Teaching formal methods: Experience at UPMC and UP13 with CosyVerifÉtienne André
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laure PetrucciCommunication dans un congrès
                    
        
        
            
                
                    hal-01215588
                                            v1
 | 
                                                                                
    |  | Have you found the error? A Formal Framework for Learning Game VerificationAmel Yessad
                                                                ,
                                                                                                                                Isabelle Mounier
                                                                ,
                                                                                                                                Jean-Marc Labat
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Thibault CarronCommunication dans un congrès
                    
        
        
            
                
                    hal-01215670
                                            v1
 | 
                                                                                
    | 
                        
                     | Symbolic Model Checking of stutter invariant properties Using Generalized Testing AutomataAla 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 2014Communication dans un congrès
                    
        
        
            
                
                    hal-01216559
                                            v1, Apr 2014, Grenoble, France. pp.440-454, ⟨10.1007/978-3-642-54862-8_38⟩ | 
                                                                                
    |  | 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 ReliabilityThibault Carron
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Jean-Marc Labat
                                                                ,
                                                                                                                                Isabelle Mounier
                                                                ,
                                                                                                                                Amel Yessad
 7th European Conference on Games Based Learning, Oct 2013, Porto, Portugal. pp.80-87Communication dans un congrès
                    
        
        
            
                
                    hal-01216093
                                            v1 | 
                                                                                
    |  | A Scalable Architecture for Highly Reliable CertificationXavier Bonnaire
                                                                ,
                                                                                                                                Rudyar Cortes
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Olivier Marin
 TrustCom'2013 - IEEE International Conference on Trust, Security and Privacy in Computing and CommunicationsCommunication dans un congrès
                    
        
        
            
                
                    hal-00931444
                                            v1, Jul 2013, Melbourne, Australia. pp.328-335, ⟨10.1109/TrustCom.2013.44⟩ | 
                                                                                
    | 
                        
                     | 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)Communication dans un congrès
                    
        
        
            
                
                    hal-00926165
                                            v1, Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩ | 
                                                                                
    |  | Verification of a Quasi certification Protocol over a DHTFabrice Kordon
                                                                ,
                                                                                                                                Xavier Bonnaire
                                                                ,
                                                                                                                                Rudyar Cortes
                                                                ,
                                                                                                                                Olivier Marin
 Dagstuhl Seminar "Formal Verification of Distributed Algorithms", Apr 2013, Dagstuhl, GermanyCommunication dans un congrès
                    
        
        
            
                
                    hal-00931415
                                            v1 | 
                                                                                
    | 
                        
                     | Towards Distributed Software Model-Checking using Decision DiagramsMaximilien Colange
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-MiegCommunication dans un congrès
                    
        
        
            
                
                    hal-01215999
                                            v1
 | 
                                                                                
    |  | Three SCC-based Emptiness Checks for Generalized Büchi AutomataEtienne Renault
                                                                ,
                                                                                                                                Alexandre Duret-Lutz
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Denis Poitrenaud
 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13)Communication dans un congrès
                    
        
        
            
                
                    hal-01066992
                                            v1, Dec 2013, Stellenbosch, South Africa. pp.668-682, ⟨10.1007/978-3-642-45221-5_44⟩ | 
                                                                                
    |  | Strength-Based Decomposition of the Property Büchi Automaton for Faster Model CheckingEtienne Renault
                                                                ,
                                                                                                                                Alexandre Duret-Lutz
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Denis Poitrenaud
 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13)Communication dans un congrès
                    
        
        
            
                
                    hal-01066995
                                            v1, Mar 2013, Rome, Italy. pp.580-593, ⟨10.1007/978-3-642-36742-7_42⟩ | 
                                                                                
    |  | Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time VerificationFabrice 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-39Communication dans un congrès
                    
        
        
            
                
                    hal-00822416
                                            v1 | 
                                                                                
    |  | Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented ApproachMaximilien Colange
                                                                ,
                                                                                                                                Lom Messan Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Pierre Parutto
 Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected PapersCommunication dans un congrès
                    
        
        
            
                
                    hal-01282265
                                            v1, 2012, Oxford, United Kingdom. pp.330-352, ⟨10.1007/978-3-642-34059-8_17⟩ | 
                                                                                
    |  | Modeling and Verifying Distributed Systems with Petri Nets (tutorial)Souheib Baarir
                                                                ,
                                                                                                                                Fabrice Kordon
 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE)Communication dans un congrès
                    
        
        
            
                
                    hal-01282434
                                            v1, Nov 2012, Constantine, Algeria. pp.92-92, ⟨10.1109/IWAISE.2012.24⟩ | 
                                                                                
    |  | Modeling and Analyzing Wireless Sensor Networks with VeriSensorYann Ben Maissa
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Salma Mouline
                                                                ,
                                                                                                                                Yann Thierry-Mieg
 Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76Communication dans un congrès
                    
        
        
            
                
                    hal-00822408
                                            v1 | 
                                                                                
    |  | State Space Analysis using Symmetries on Decision DiagramsMaximilien Colange
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-Mieg
                                                                ,
                                                                                                                                Souheib Baarir
 12th International Conference on Application of Concurrency to System Design (ACSD'2012)Communication dans un congrès
                    
        
        
            
                
                    hal-01270057
                                            v1, Jun 2012, Hamburg, Germany. pp.164-172, ⟨10.1109/ACSD.2012.28⟩ | 
                                                                                
    |  | Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with BagMaximilien Colange
                                                                ,
                                                                                                                                Souheib Baarir
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-Mieg
 32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011)Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01282493
                                            v1, Jun 2011, Newcastle, United Kingdom. pp.338-347, ⟨10.1007/978-3-642-21834-7_20⟩ | 
                                                                                
    |  | Modeling complex systems with VeriJYan 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-45Communication dans un congrès
                    
        
        
            
                
                    hal-01288126
                                            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-31Communication 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-106Communication 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-79Communication dans un congrès
                    
        
        
            
                
                    hal-01282490
                                            v1 | 
                                                                                
    |  | polyDD: Towards a Framework Generalizing Decision DiagramsAlban Linard
                                                                ,
                                                                                                                                Emmanuel Paviot-Adet
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Didier Buchs
                                                                ,
                                                                                                                                Samuel Charron
 10th International Conference on Application of Concurrency to System Design (ACSD'2010)Communication dans un congrès
                    
        
        
            
                
                    hal-01292564
                                            v1, Jun 2010, Braga, Portugal. pp.124-133, ⟨10.1109/ACSD.2010.17⟩ | 
                                                                                
    |  | Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded SystemsGilles Lasnier
                                                                ,
                                                                                                                                Thomas Robert
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10)Communication dans un congrès
                    
        
        
            
                
                    hal-01292574
                                            v1, May 2010, Carmona, Spain. pp.87-91, ⟨10.1109/ISORC.2010.32⟩ | 
                                                                                
    | 
                        
                     | A Petri Net based Runtime Monitoring Method for Web Services specified with BPELJun Zhu
                                                                ,
                                                                                                                                Fabrice Kordon
 2nd International Conference on Information Management and Engineering (ICIME 2010)Communication dans un congrès
                    
        
        
            
                
                    hal-01292580
                                            v1, Apr 2010, Chengdu, China. pp.304-310, ⟨10.1109/ICIME.2010.5477558⟩ | 
                                                                                
    |  | PNML Framework: an extendable reference implementation of the Petri Net Markup LanguageLom Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laure Petrucci
                                                                ,
                                                                                                                                Nicolas Treves
 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010)Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01125746
                                            v1, Jun 2010, Braga, Portugal. pp.318-327, ⟨10.1007/978-3-642-13675-7_20⟩ | 
                                                                                
    |  | Experiences in Model Driven Verification of Behavior with UMLFabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-Mieg
 Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected PapersCommunication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01288216
                                            v1, Sep 2008, Budapest, Hungary. pp.181-200, ⟨10.1007/978-3-642-12566-9_10⟩ | 
                                                                                
    |  | Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based ApproachJean-Baptiste Voron
                                                                ,
                                                                                                                                Clément Démoulins
                                                                ,
                                                                                                                                Fabrice Kordon
 10th International Conference on Application of Concurrency to System Design (ACSD'2010)Communication dans un congrès
                    
        
        
            
                
                    hal-01292568
                                            v1, Jun 2010, Braga, Portugal. pp.57-66, ⟨10.1109/ACSD.2010.32⟩ | 
                                                                                
    |  | Design, Verification and Implementation of MILS systemsJulien Delange
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 The 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8Communication dans un congrès
                    
        
        
            
                
                    hal-01288211
                                            v1 | 
                                                                                
    |  | Modeling and Validation of ARINC653 architecturesJulien Delange
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8Communication dans un congrès
                    
        
        
            
                
                    hal-02269428
                                            v1 | 
                                                                                
    |  | Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral AnnexGilles Lasnier
                                                                ,
                                                                                                                                Thomas Robert
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 10th international conference on New Technologies of Distributed Systems (NOTERE'2010)Communication dans un congrès
                    
        
        
            
                
                    hal-01292569
                                            v1, Jun 2010, Tozeur, Tunisia. pp.17-24, ⟨10.1109/NOTERE.2010.5536853⟩ | 
                                                                                
    |  | Automated Controllability and Synthesis with Hierarchical Set Decision DiagramsYan Zhang
                                                                ,
                                                                                                                                Béatrice Bérard
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-MiegCommunication dans un congrès
                    
        
        
            
                
                    hal-01293801
                                            v1
 | 
                                                                                
    |  | Self-Reconfigurable Modular Robots and their Symbolic Configuration SpaceSouheib 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 PapersCommunication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01288061
                                            v1, Mar 2010, Redmond, United States. pp.103-121, ⟨10.1007/978-3-642-21292-5_6⟩ | 
                                                                                
    | 
                        
                     | Efficient State-Based Analysis by Introducing Bags in Petri Nets Color DomainsSerge Haddad
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laure Petrucci
                                                                ,
                                                                                                                                Jean-François Pradat-Peyre
                                                                ,
                                                                                                                                Nicolas TrèvesCommunication dans un congrès
                    
        
        
            
                
                    hal-00772677
                                            v1
 | 
                                                                                
    | 
                        
                     | Hierarchical Set Decision Diagrams and Regular ModelsYann Thierry-Mieg
                                                                ,
                                                                                                                                Denis Poitrenaud
                                                                ,
                                                                                                                                Alexandre Hamez
                                                                ,
                                                                                                                                Fabrice Kordon
 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)Communication dans un congrès
                    
        
        
            
                
                    hal-01294397
                                            v1, Mar 2009, York, United Kingdom. pp.1-15, ⟨10.1007/978-3-642-00768-2_1⟩ | 
                                                                                
    |  | Model Driven Enginering versus Organic Computing, two complementary approachesFabrice Kordon
 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paperCommunication dans un congrès
                    
        
        
            
                
                    hal-01298275
                                            v1, Mar 2009, Tokyo, Japan. pp.99-100, ⟨10.1109/ISORC.2009.25⟩ | 
                                                                                
    |  | Verification of large-scale distributed database systems in the NEOPPOD projectOlivier 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-316Communication dans un congrès
                    
        
        
            
                
                    hal-01298277
                                            v1 | 
                                                                                
    |  | Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri NetsXavier Renault
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Jérôme Hugues
 The 20th International Workshop on Rapid System PrototypingCommunication dans un congrès
                    
        
        
            
                
                    hal-01294399
                                            v1, Jun 2009, Paris, France. pp.26-33, ⟨10.1109/RSP.2009.30⟩ | 
                                                                                
    |  | A primer on the Petri Net Markup Language and ISO/IEC 15909-2Nicolas 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.19Communication dans un congrès
                    
        
        
            
                
                    hal-01126017
                                            v1 | 
                                                                                
    |  | From AADL architectural models to Petri Nets: Checking model viabilityXavier Renault
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Jérôme Hugues
 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09)Communication dans un congrès
                    
        
        
            
                
                    hal-01298276
                                            v1, Mar 2009, Tokyo, Japan. pp.313-320, ⟨10.1109/ISORC.2009.11⟩ | 
                                                                                
    |  | Design Methodologies for Embedded Systems: Where is the Super-Glue?Fabrice Kordon
 11th International Symposium on Object-oriented Real-time Distributed Computing (ISORC '08)Communication dans un congrès
                    
        
        
            
                
                    hal-01304942
                                            v1, May 2008, Orlando, United States. pp.358-359, ⟨10.1109/ISORC.2008.88⟩ | 
                                                                                
    | 
                        
                     | From Model Driven Engineering to Verification Driven EngineeringFabrice Kordon
                                                                ,
                                                                                                                                Jérôme Hugues
                                                                ,
                                                                                                                                Xavier Renault
 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008)Communication dans un congrès
                    
        
        
            
                
                    hal-01304953
                                            v1, Oct 2008, Capri, Italy. pp.381-393, ⟨10.1007/978-3-540-87785-1_34⟩ | 
                                                                                
    | 
                        
                     | Collision Avoidance in Intelligent Transport Systems: towards an Application of Control TheoryBéatrice Bérard
                                                                ,
                                                                                                                                Serge Haddad
                                                                ,
                                                                                                                                Lom Messan Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-MiegCommunication dans un congrès
                    
        
        
            
                
                    hal-01303699
                                            v1
 | 
                                                                                
    |  | A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial ExampleFabien 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-202Communication dans un congrès
                    
        
        
            
                
                    hal-01303741
                                            v1 | 
                                                                                
    |  | Transforming Sources to Petri Nets : A Way to Analyze Execution of Parallel ProgramsJean-Baptiste Voron
                                                                ,
                                                                                                                                Fabrice Kordon
 International Workshop on Petri Nets Tools and APplications (PNTAP), Mar 2008, Marseille, France. pp.1-10Communication dans un congrès
                    
        
        
            
                
                    hal-01305040
                                            v1 | 
                                                                                
    |  | Code Generation Strategies for Partitioned SystemsJulien Delange
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56Communication dans un congrès
                    
        
        
            
                
                    hal-01303791
                                            v1 | 
                                                                                
    | 
                        
                     | A Petri-Net based Formalisation of Interaction Protocols applied to Business Process IntegrationDjamel Benmerzoug
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Mahmoud Boufaïda
 Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08)Communication dans un congrès
                    
        
        
            
                
                    hal-01303701
                                            v1, Jun 2008, Montpellier, France. pp.78-92, ⟨10.1007/978-3-540-68644-6_6⟩ | 
                                                                                
    |  | Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal DesignsLuqi
                                                                ,
                                                                                                                                Fabrice Kordon
 Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 14th Monterey Workshop 2007, Monterey, Revised Selected PapersCommunication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01304961
                                            v1, Sep 2007, Monterey, United States. pp.15-24, ⟨10.1007/978-3-540-89778-1_5⟩ | 
                                                                                
    | 
                        
                     | Formal Modeling of a Generic Middleware to Ensure Invariant PropertiesXavier Renault
                                                                ,
                                                                                                                                Jérôme Hugues
                                                                ,
                                                                                                                                Fabrice KordonCommunication dans un congrès
                    
        
        
            
                
                    hal-01304976
                                            v1
 | 
                                                                                
    | 
                        
                     | Hierarchical Set Decision Diagrams and Automatic SaturationAlexandre Hamez
                                                                ,
                                                                                                                                Yann Thierry-Mieg
                                                                ,
                                                                                                                                Fabrice Kordon
 29th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2008)Communication dans un congrès
                    
        
        
            
                
                    hal-01303835
                                            v1, Jun 2008, Xian, China. pp.211-230, ⟨10.1007/978-3-540-68746-7_16⟩ | 
                                                                                
    |  | A Specification and Validation Approach for Business Process Integration Based on Web Services and AgentsDjamel 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-168Communication dans un congrès
                    
        
        
            
                
                    hal-01334853
                                            v1 | 
                                                                                
    |  | Rapid Prototyping of Intrusion Detection SystemsFabrice Kordon
                                                                ,
                                                                                                                                Jean-Baptiste Voron
                                                                ,
                                                                                                                                Liviu Iftode
 18th International Workshop on Rapid System Prototyping (RSP)Communication dans un congrès
                    
        
        
            
                
                    hal-01335149
                                            v1, May 2007, Porto Alegre, Brazil. pp.89-98, ⟨10.1109/RSP.2007.34⟩ | 
                                                                                
    |  | A Factory To Design and Build Tailorable and Verifiable MiddlewareJé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)Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01335054
                                            v1, Sep 2005, University of California, Irvine, United States. pp.121-142, ⟨10.1007/978-3-540-71156-8_7⟩ | 
                                                                                
    | 
                        
                     | Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and OcarinaJérôme Hugues
                                                                ,
                                                                                                                                Béchir Zalila
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 18th International Workshop on Rapid System Prototyping (RSP)Communication dans un congrès
                    
        
        
            
                
                    hal-01335114
                                            v1, May 2007, Porto Alegre, Brazil. pp.106-112, ⟨10.1109/RSP.2007.33⟩ | 
                                                                                
    | 
                        
                     | Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport SystemsFabrice Kordon
 International Symposium on Object-oriented Real-time Distributed Computing (ISORC'07)Communication dans un congrès
                    
        
        
            
                
                    hal-01335145
                                            v1, May 2007, Santorini, Greece. pp.420-427, ⟨10.1109/ISORC.2007.42⟩ | 
                                                                                
    |  | Design, Modeling and Analysis of ITS using UML and Petri NetsFabien Bonnefoi
                                                                ,
                                                                                                                                Lom Messan Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Xavier Renault
 10th International IEEE Conference on Intelligent Transportation SystemsCommunication dans un congrès
                    
        
        
            
                
                    hal-01334867
                                            v1, Sep 2007, Seattle, WA, United States. pp.314-319, ⟨10.1109/ITSC.2007.4357718⟩ | 
                                                                                
    |  | dmcG: a distributed symbolic model checker based on GreatSPNAlexandre Hamez
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-Mieg
                                                                ,
                                                                                                                                Fabrice Legond-Aubry
 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007)Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-00701513
                                            v1, Jun 2007, Siedlce, Poland. pp.495-504, ⟨10.1007/978-3-540-73094-1_29⟩ | 
                                                                                
    |  | A formal approach to designing autonomous systems: from Intelligent Transport Systems to RobotsFabrice 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-26Communication dans un congrès
                    
        
        
            
                
                    hal-01335148
                                            v1 | 
                                                                                
    |  | libDMC: a library to Operate Efficient Distributed Model CheckingAlexandre Hamez
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Yann Thierry-Mieg
 Workshop on Performance Optimization for High-Level Languages and Libraries - associated to IPDPS'2007Communication dans un congrès
                    
        
        
            
                
                    hal-00687573
                                            v1, Mar 2007, Long Beach, California, United States. ⟨10.1109/IPDPS.2007.370647⟩ | 
                                                                                
    | 
                        
                     | A Framework for DRE Middleware, an Application to DDSJérôme Hugues
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laurent Pautet
 International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06)Communication dans un congrès
                    
        
        
            
                
                    hal-01336642
                                            v1, Apr 2006, Gyeongju, South Korea. pp.224-231, ⟨10.1109/ISORC.2006.4⟩ | 
                                                                                
    |  | PN standardisation: a surveyLom Hillah
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laure Petrucci
                                                                ,
                                                                                                                                Nicolas Trèves
 26th international conference on Formal Methods for Networked and Distributed Systems (FORTE'06)Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-00084198
                                            v1, Sep 2006, Paris, France. pp.307-322, ⟨10.1007/11888116_23⟩ | 
                                                                                
    |  | An Approach to Model Variations of a Scenario: Application to Intelligent Transport SystemsFabien 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-86Communication dans un congrès
                    
        
        
            
                
                    hal-01336640
                                            v1 | 
                                                                                
    |  | A Multi-Views Business Process Ontology for Flexible CollaborationRazika Driouche
                                                                ,
                                                                                                                                Zizette Boufaïda
                                                                ,
                                                                                                                                Fabrice Kordon
 International Workshop on Enterprise Integration, Interoperability and Networking (EI2N '06)Communication dans un congrès
                    
        
        
            
                
                    hal-01351747
                                            v1, Mar 2006, Bordeaux, France. pp.49-62, ⟨10.1002/9780470612200.ch4⟩ | 
                                                                                
    |  | Tutorial on Formal Methods for Distributed and Cooperative SystemsChristine Choppy
                                                                ,
                                                                                                                                Serge Haddad
                                                                ,
                                                                                                                                Hanna Klaudel
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laure Petrucci
                                                                                            et al.
 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC 2006)Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-00340483
                                            v1, Nov 2006, Tunis, Tunisia. pp.362-365, ⟨10.1007/11921240_25⟩ | 
                                                                                
    | 
                        
                     | New Features in CPN-AMI 3 : Focusing on the Analysis of Complex Distributed SystemsAlexandre 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)Communication dans un congrès
                    
        
        
            
                
                    hal-01351775
                                            v1, Jun 2006, Turku, Finland. pp.273-275, ⟨10.1109/ACSD.2006.15⟩ | 
                                                                                
    |  | Towards Integrating Collaborative Business Process based onProcess Ontology and EbXML Collaboration ScenarioRazika Driouche
                                                                ,
                                                                                                                                Zizette Boufaïda
                                                                ,
                                                                                                                                Fabrice Kordon
 6th International Workshop On Web Based Collaboration (WBC '2006), Sep 2006, Krakow, Poland. pp.299-303Communication dans un congrès
                    
        
        
            
                
                    hal-01351742
                                            v1 | 
                                                                                
    | 
                        
                     | An Ontology Based Architecture for Integrating Enterprise ApplicationsRazika Driouche
                                                                ,
                                                                                                                                Zizette Boufaïda
                                                                ,
                                                                                                                                Fabrice Kordon
 International Workshop on Modelling, Simulation and Validation of Enterprise Information Systems - MSVVEIS 2006Communication dans un congrès
                    
        
        
            
                
                    hal-01351749
                                            v1, May 2006, Paphos, Cyprus. pp.26-37, ⟨10.5220/0002493000260037⟩ | 
                                                                                
    | 
                        
                     | Optimized Colored Nets UnfoldingFabrice Kordon
                                                                ,
                                                                                                                                Alban Linard
                                                                ,
                                                                                                                                Emmanuel Paviot-Adet
 International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06)Communication dans un congrès
                    
        
        
            
                
                    hal-01351825
                                            v1, Sep 2006, Paris, France. pp.339-355, ⟨10.1007/11888116_25⟩ | 
                                                                                
    |  | Towards Proof-Based Real-Time Distribution MiddlewareJérôme Hugues
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laurent Pautet
 13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70Communication dans un congrès
                    
        
        
            
                
                    hal-01489156
                                            v1 | 
                                                                                
    | 
                        
                     | Revisiting COTS Middleware for DRE SystemJérôme Hugues
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05)Communication dans un congrès
                    
        
        
            
                
                    hal-01489155
                                            v1, May 2005, Seattle, United States. pp.72-79, ⟨10.1109/ISORC.2005.46⟩ | 
                                                                                
    | 
                        
                     | Rapid Development Methodology for Customized MiddlewareThomas Vergnaud
                                                                ,
                                                                                                                                Jérôme Hugues
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 16th IEEE International Workshop on Rapid System Prototyping (RSP'05)Communication dans un congrès
                    
        
        
            
                
                    hal-01490881
                                            v1, Jun 2005, Montreal, Canada. pp.111-117, ⟨10.1109/RSP.2005.42⟩ | 
                                                                                
    | 
                        
                     | Using the AADL to Describe Distributed Applications from Middleware to Software ComponentsThomas Vergnaud
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 Reliable Software Technologies (RST'05)Communication dans un congrès
                    
        
        
            
                
                    hal-01493416
                                            v1, Jun 2005, York, United Kingdom. pp.67-78, ⟨10.1007/11499909_6⟩ | 
                                                                                
    |  | On the Formal Verification of Middleware Behavioral PropertiesJé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-157Communication dans un congrès
                    
        
        
            
                
                    hal-01520379
                                            v1 | 
                                                                                
    |  | Model Checking of Highlevelobject Oriented Specifications : The LfP ExperienceFré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-168Communication dans un congrès
                    
        
        
            
                
                    hal-01520299
                                            v1 | 
                                                                                
    |  | PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed ApplicationsThomas Vergnaud
                                                                ,
                                                                                                                                Jérôme Hugues
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 9th International Conference on Reliable Software Technologies - Ada-Europe 2004Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01520674
                                            v1, Jun 2004, Palma de Mallorca, Spain. pp.106-119, ⟨10.1007/978-3-540-24841-5_8⟩ | 
                                                                                
    | 
                        
                     | Generation of Distributed Programs in their Target Execution EnvironmentFrédéric Gilliers
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Jean-Pierre VeluCommunication dans un congrès
                    
        
        
            
                
                    hal-01520296
                                            v1
 | 
                                                                                
    | 
                        
                     | Contributions to middleware architectures to prototype distribution infrastructuresJérôme Hugues
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Fabrice Kordon
 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)Communication dans un congrès
                    
        
        
            
                
                    hal-01529290
                                            v1, Jun 2003, San Diego, CA, United States. pp.124-131, ⟨10.1109/IWRSP.2003.1207039⟩ | 
                                                                                
    |  | Refining Middleware Functions for Verification PurposeJérôme Hugues
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laurent Pautet
 Workshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01529288
                                            v1 | 
                                                                                
    |  | Modélisation et vérification de systèmes répartis :une approche intégrée avec LfPDan Regep
                                                                ,
                                                                                                                                Yann Thierry-Mieg
                                                                ,
                                                                                                                                Frédéric Gilliers
                                                                ,
                                                                                                                                Fabrice Kordon
 Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2003, Rennes, FranceCommunication dans un congrès
                    
        
        
            
                
                    hal-01530423
                                            v1 | 
                                                                                
    |  | A case study of Middleware to Middleware: MOM and ORB interoperabilityJérôme Hugues
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Thomas Quinot
 4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01544387
                                            v1 | 
                                                                                
    |  | A Model Based Development Approach for Distributed Embedded SystemsFrédéric Gilliers
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Dan Regep
 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the FutureCommunication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01544445
                                            v1, Oct 2002, Venice, Italy. pp.137-151, ⟨10.1007/978-3-540-24626-8_9⟩ | 
                                                                                
    |  | Modular Approach to Specify and Validate an Electrical Fligh Control SystemM. Doche
                                                                ,
                                                                                                                                Isabelle Vernier-Mounier
                                                                ,
                                                                                                                                Fabrice KordonCommunication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01571083
                                            v1
 | 
                                                                                
    |  | LfP : A specification language for rapid prototyping of concurrent systemsDan Regep
                                                                ,
                                                                                                                                Fabrice KordonCommunication dans un congrès
                    
        
        
            
                
                    hal-01571157
                                            v1
 | 
                                                                                
    |  | A Survey: Applying Formal Methods to a Software Intensive SystemG. Gaudière
                                                                ,
                                                                                                                                A. De Groot
                                                                ,
                                                                                                                                J. Hooman
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                M. Lemoine
                                                                                            et al.
 6th IEEE International Symposium on Hight Assurance Systems Engineering (HASE'01)Communication dans un congrès
                    
        
        
            
                
                    hal-01571075
                                            v1, Oct 2001, Boco Raton, FL, United States. pp.55-64, ⟨10.1109/HASE.2001.966807⟩ | 
                                                                                
    |  | From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution modelsThomas Quinot
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Laurent Pautet
 3rd International Symposium on Distributed Objects and Applications (DOA'01)Communication dans un congrès
                    
        
        
            
                
                    hal-01571185
                                            v1, Sep 2001, Roma, Italy. pp.165-175, ⟨10.1109/DOA.2001.954082⟩ | 
                                                                                
    |  | Architecture for a reuseable object-oriented polymorphic middlewareFabrice Kordon
                                                                ,
                                                                                                                                Laurent Pautet
                                                                ,
                                                                                                                                Thomas Quinot
 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01571190
                                            v1 | 
                                                                                
    |  | Formal Verification of Embedded Distributed Systems in a Prototyping ApproachFabrice 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.ONLINECommunication dans un congrès
                    
        
        
            
                
                    hal-01571064
                                            v1 | 
                                                                                
    | 
                        
                     | Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management systemInnocent Bakam
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Christophe Le Page
                                                                ,
                                                                                                                                François BousquetCommunication dans un congrès
                    
        
        
            
                
                    hal-01573109
                                            v1
 | 
                                                                                
    | 
                        
                     | Using MetaScribe to prototype an UML to C++/Ada95 code generatorDan Regep
                                                                ,
                                                                                                                                Fabrice KordonCommunication 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-CamerounInnocent Bakam
                                                                ,
                                                                                                                                Fabrice Kordon
                                                                ,
                                                                                                                                Christophe Le Page
                                                                ,
                                                                                                                                François Bousquet
 CARI' 2000, Oct 2000, Antananarive, MadagascarCommunication dans un congrès
                    
        
        
            
                
                    hal-01573113
                                            v1 | 
                                                                                
    |  | Using CPN-AMI to validate a safe channel protocolFabrice Kordon
                                                                ,
                                                                                                                                Emmanuel Paviot-Adet
 Toolset of the International Conference on Theory and Applications of Petri Nets, Jun 1999, Williamsburg, Virginia, United StatesCommunication dans un congrès
                    
        
        
            
                
                    hal-01574368
                                            v1 | 
                                                                                
    |  | MetaScribe, an Ada-based Tool for the Construction of Tranformation EnginesFabrice Kordon
 International Conference on Reliable Software Technologies - Ada-Europe '99Communication dans un congrès
                    
                    istex
        
        
            
                
                    hal-01574367
                                            v1, Jun 1999, Santander, Spain. pp.308-319, ⟨10.1007/3-540-48753-0_27⟩ | 
                                                                                
    | 
                        
                     | Testing Prototypes Validity to Enhance Code ReuseDidier Buchs
                                                                ,
                                                                                                                                Alioune Diagne
                                                                ,
                                                                                                                                Fabrice KordonCommunication dans un congrès
                    
        
        
            
                
                    hal-01621743
                                            v1
 | 
                                                                                
    |  | Implementation of Genericity for customizable CASE environmentsFabrice Kordon
                                                                ,
                                                                                                                                Jean-Luc Mounier
 CARI '98, Oct 1998, Dakar, Senegal. pp.765-776Communication dans un congrès
                    
        
        
            
                
                    hal-01575050
                                            v1 | 
                                                                                
    |  | Quality Management Issues along Life-cycle of Distributed ApplicationsAlioune Diagne
                                                                ,
                                                                                                                                Pascal Estraillier
                                                                ,
                                                                                                                                Fabrice Kordon
 CARI '98, Oct 1998, Dakar, Senegal. pp.753-763Communication dans un congrès
                    
        
        
            
                
                    hal-01575053
                                            v1 | 
                                                                                
    |  | FrameKit: A Generic Platform offering High-Level Standardization Procedure for the Prototyping of CASE EnvironmentsFabrice Kordon
                                                                ,
                                                                                                                                Jean-Luc Mounier
 11th International Conference on Software Engineering and its Applications, Dec 1998, Paris, France. pp.91-99Communication dans un congrès
                    
        
        
            
                
                    hal-01624603
                                            v1 | 
                                                                                
    |  | BioMedScape: a Web based Environment for Diffusion and Analysis of Research Data in Discrete Areas of Life-SciencesFabrice Kordon
                                                                ,
                                                                                                                                Nicolas Poizot
                                                                ,
                                                                                                                                Ghislaine Filliatreau
                                                                ,
                                                                                                                                Claude Kordon
 Thirteenth International Conference on Computer Communication, Nov 1997, Cannes, France. pp.149-154Communication dans un congrès
                    
        
        
            
                
                    hal-01629205
                                            v1 | 
                                                                                
    | 
                        
                     | FrameKit and the prototyping of CASE environmentsFabrice Kordon
                                                                ,
                                                                                                                                Jean-Luc MounierCommunication dans un congrès
                    
        
        
            
                
                    hal-01629203
                                            v1
 | 
                                                                                
    |  | Process decomposition for Rapid Prototyping of Parallel systemsFabrice Kordon
                                                                ,
                                                                                                                                Jean-François Peyre
 6th International Symposium on Computer and Information Science, Oct 1991, Antalya, TurkeyCommunication dans un congrès
                    
        
        
            
                
                    hal-01124800
                                            v1 | 
                                                                                
    |  | Generation of ADA code from a Petri Net : an applicationBernard Cousin
                                                                ,
                                                                                                                                Pascal Estraillier
                                                                ,
                                                                                                                                Fabrice Kordon
 3rd International Symposium on Computer and Information Sciences (ISCIS III), Oct 1988, Izmir, TurkeyCommunication dans un congrès
                    
        
        
            
                
                    hal-04808088
                                            v1 |