- 30
- 2
- 2
Fabrice Kordon
34
Documents
Présentation
My research work is related to distributed systems, software engineering and formal methods.
My goal is to provide verification tools dedicated to distributed systems and usable by engineers with little knowledge of the underlying techniques.
So, I try to make a bridge between standard specification notation such as UML or AADL and optimized verification techniques based on Model Checking and the Analysis of structural properties of the system. My work mainly relies on Petri Nets
I also try to provide prototype implementations of these techniques in dedicated verification tools. It is thus possible to assess these with realistic problems. So far, I tackle applications such Middleware, Intelligent Transport Systems, Intrusion Detection Systems, or wireless sensor networks that are typical examples of complex distributed systems.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 34
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 28
- 6
Design, Verification and Implementation of MILS systemsThe 21th International Symposium on Rapid System Prototyping, Jun 2010, Fairfax, VA, United States. pp.1-8
Communication dans un congrès
hal-01288211v1
|
|
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Communication dans un congrès
hal-02269428v1
|
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems13th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'10), May 2010, Carmona, Spain. pp.87-91, ⟨10.1109/ISORC.2010.32⟩
Communication dans un congrès
hal-01292574v1
|
|
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex10th international conference on New Technologies of Distributed Systems (NOTERE'2010), Jun 2010, Tozeur, Tunisia. pp.17-24, ⟨10.1109/NOTERE.2010.5536853⟩
Communication dans un congrès
hal-01292569v1
|
|
Code Generation Strategies for Partitioned Systems29th IEEE Real-Time Systems Symposium (RTSS'08), Dec 2008, Barcelona, Spain. pp.53-56
Communication dans un congrès
hal-01303791v1
|
|
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina18th International Workshop on Rapid System Prototyping (RSP), May 2007, Porto Alegre, Brazil. pp.106-112, ⟨10.1109/RSP.2007.33⟩
Communication dans un congrès
hal-01335114v1
|
|
A Framework for DRE Middleware, an Application to DDSInternational Symposium on Object-Oriented Real-time Distributed Computing (ISORC'06), Apr 2006, Gyeongju, South Korea. pp.224-231, ⟨10.1109/ISORC.2006.4⟩
Communication dans un congrès
hal-01336642v1
|
|
A Factory To Design and Build Tailorable and Verifiable MiddlewareWorkshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Sep 2005, University of California, Irvine, United States. pp.121-142, ⟨10.1007/978-3-540-71156-8_7⟩
Communication dans un congrès
hal-01335054v1
|
|
Revisiting COTS Middleware for DRE SystemInternational Symposium on Object-Oriented Real-time Distributed Computing (ISORC '05), May 2005, Seattle, United States. pp.72-79, ⟨10.1109/ISORC.2005.46⟩
Communication dans un congrès
hal-01489155v1
|
|
Rapid Development Methodology for Customized Middleware16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Jun 2005, Montreal, Canada. pp.111-117, ⟨10.1109/RSP.2005.42⟩
Communication dans un congrès
hal-01490881v1
|
|
Using the AADL to Describe Distributed Applications from Middleware to Software ComponentsReliable Software Technologies (RST'05), Jun 2005, York, United Kingdom. pp.67-78, ⟨10.1007/11499909_6⟩
Communication dans un congrès
hal-01493416v1
|
|
Towards Proof-Based Real-Time Distribution Middleware13th International Conference On Real-Time Systems (RTS '05), Apr 2005, Paris, France. pp.51-70
Communication dans un congrès
hal-01489156v1
|
|
On the Formal Verification of Middleware Behavioral Properties9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157
Communication dans un congrès
hal-01520379v1
|
|
PolyORB : a Schizophrenic Middleware to Build Versatile Reliable Distributed Applications9th International Conference on Reliable Software Technologies - Ada-Europe 2004, Jun 2004, Palma de Mallorca, Spain. pp.106-119, ⟨10.1007/978-3-540-24841-5_8⟩
Communication dans un congrès
hal-01520674v1
|
|
Refining Middleware Functions for Verification PurposeWorkshop on Software Engineering for Embedded Systems, Sep 2003, Chicago, United States
Communication dans un congrès
hal-01529288v1
|
|
Contributions to middleware architectures to prototype distribution infrastructures14th IEEE International Workshop on Rapid System Prototyping (RSP'03), Jun 2003, San Diego, CA, United States. pp.124-131, ⟨10.1109/IWRSP.2003.1207039⟩
Communication dans un congrès
hal-01529290v1
|
|
A case study of Middleware to Middleware: MOM and ORB interoperability4th International Symposium on Distributed Objects and Applications (DOA'02), Oct 2002, Irvine, CA, United States
Communication dans un congrès
hal-01544387v1
|
|
From functional to architectural analysis of a middleware supporting interoperability across heterogeneous distribution models3rd International Symposium on Distributed Objects and Applications (DOA'01), Sep 2001, Roma, Italy. pp.165-175, ⟨10.1109/DOA.2001.954082⟩
Communication dans un congrès
hal-01571185v1
|
|
Architecture for a reuseable object-oriented polymorphic middlewareInternational Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2001), Jun 2001, Las-Vegas, United States
Communication dans un congrès
hal-01571190v1
|
Models and Analysis in Distributed SystemsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779944v1
|
|
Distributed Systems Design and AlgorithmsHaddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. John Wiley & Sons, Ltd., 2011
Ouvrages
hal-00779937v1
|
|
Systèmes répartis en action : de l'embarqué aux systèmes à large échelleHermes, 2008, Traités IC2 - Informatique et systèmes d'information
Ouvrages
hal-01304950v1
|
IntroductionModels and Analysis in Distributed Systems, Wiley, pp.17-20, 2011, 9781848213142
Chapitre d'ouvrage
hal-01282495v1
|
|
General introductionDistibuted Systems: Design and Algorithms, Wiley, pp.13-17, 2011, 9781848212503. ⟨10.1002/9781118601365.ch1⟩
Chapitre d'ouvrage
hal-01288072v1
|
|
A Model-Based Approach To Configure and Reconfigure Avionics SystemsReconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, pp.509-541, 2011, 9781609600860. ⟨10.4018/978-1-60960-086-0.ch019⟩
Chapitre d'ouvrage
hal-01288059v1
|
|
Introduction généraleSystèmes répartis en action : de l'embarqué aux systèmes à large échelle, 9, Hermès, pp.15-19, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1943-4
Chapitre d'ouvrage
hal-01304954v1
|
|
Construction d'un intergiciel vérifiéMéthodes formelles pour les systèmes répartis et coopératifs, Hermes, pp.265-287, 2006, 2-7462-1447-4
Chapitre d'ouvrage
hal-01351785v1
|