logo EDITE Fabrice KORDON
Identité
Fabrice KORDON
État académique
Thèse soutenue le 1992-05-10
Titulaire d'une HDR (ou équivalent) 1998-12-02
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
0.5
Propositions de sujets de thèse
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792342136
Compositional Analysis of Discrete Time Petri nets
;
1st workshop on Petri Nets Compositions (CompoNet 2011), Newcastle, UK 2011
edite:1332792345151
Crocodile: a Symbolic/Symbolic tool for the analysis of Symmetric Nets with Bag
32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Newcastle, UK 2011
edite:1332792351163
Design, implementation and verification of MILS systems
Vol. ?, pp. ? 2011
edite:1332792352167
Distibuted Systems: Design and Algorithms
eds. Haddad, Serge, Wiley 2011
9781848212503
Distributed Systems: Design and Algorithms
eds. Haddad, Serge, Wiley 2011
edite:1332792361196
Extending PNML Scope: the Prioritised Petri Nets Experience
Petri Net and Software Engineering (PNSE 2011), Newcastle, UK 2011
edite:1332792370221
Generalized Büchi Automata versus Testing Automata for Model Checking
2nd workshop on Scalable and Usable Model Checking for Petri Nets and other models of Concurrency (SUMo 2011), Newcastle, UK 2011
edite:1332792385286
Modeling complex systems with VeriJ
5th Verification and Evaluation of Computer and Communication System (VECOS), Tunis, Tunisia 2011
9781848213142
Models and Analysis in Distributed Systems
eds. Haddad, Serge, Wiley 2011
9781609600860
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
eds. Khalgui, Mohamed, IGI Global 2011
edite:1332792411376
Self-Reconfigurable Modular Robots and their Symbolic Configuration Space
Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers 2011
978 0 7695 4038 2
1st Model-Based Engineering for Real-Time Embedded Systems Design (associated to ISORC 2010)
eds. Bendraou, Reda, IEEE Computer Society 2010
edite:1332792428475
A Petri Net based Runtime Monitoring Method for Web Services specified with BPEL
2nd International Conference on Information Management and Engineering (ICIME 2010), Chengdu, China 2010
edite:1332792432490
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: a Petri Net-Based Approach
10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal 2010
edite:1332792435517
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems
13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), Carmona, Spain 2010
edite:1332792436523
Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams
11th International Workshop on Discrete Event Systems (WODES'10), Berlin, Germany 2010
edite:1332792443532
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex
10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Tozeur, Tunisia 2010
edite:1332792451589
Design, Verification and Implementation of MILS systems
Proceedings of the 21th International Symposium on Rapid System Prototyping, Fairfax 2010
edite:1332792456624
Experiences in Model Driven Verification of Behavior with UML
Foundations of Computer Software, Future Trends and techniques for Development, 15th Monterey Workshop 2008, Budapest, Revised Selected Papers 2010
edite:1332792463664
Ingénierie basée sur les modèles : quelques défis actuels
Vol. 93, pp. 2-5 2010
edite:1332792477707
Modeling and Validation of ARINC653 architectures
Embedded Real Time Software and Systems (ERTSS'10), Toulouse, France 2010
edite:1332792488766
PNML Framework: an extendable reference implementation of the Petri Net Markup Language
31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Braga, Portugal 2010
edite:1332792488768
polyDD: Towards a Framework Generalizing Decision Diagrams
10th International Conference on Application of Concurrency to System Design (ACSD'2010), Braga, Portugal 2010
978 3 642 01923 4
14th International Conference on Reliable Software Technologies
eds. Kordon, Fabrice, Springer Verlag 2009
edite:1332792516922
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
Vol. III, pp. 159-188 2009
edite:1332792522945
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
Vol. 76, pp. 9-28 2009
edite:1332792524962
Adapting models to model checkers, a case study: Analysing AADL using Time or Colored Petri Nets
Proceedings of the 20th International Workshop on Rapid System Prototyping, Paris 2009
edite:1332792531997
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Vol. 94, No. 3-4, pp. 413-437 2009
edite:13327925361056
Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains
28th American Control Conference (ACC'09), St-Louis, USA 2009
edite:13327925421074
Exploiting colored Petri nets to decide on permutation admissibility
Vol. 46, No. 1, pp. 43-55 2009
edite:13327925431092
From AADL architectural models to Petri Nets: Checking model viability
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan 2009
edite:13327925441110
Hierarchical Set Decision Diagrams and Regular Models
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009
edite:13327925531171
Model Driven Enginering versus Organic Computing, two complementary approaches
12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09) -- panel paper, Tokyo, Japan 2009
edite:13327925671326
Validate, Simulate, and Implement ARINC653 Systems Using the AADL
Vol. 29, No. 3, pp. 31-44 2009
edite:13327925671329
Verification of large-scale distributed database systems in the NEOPPOD project
Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper 2009