Fabrice Kordon

Models and Analysis for Distributed Systems

2013

Embedded Systems

2013

Distibuted Systems

2013

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

2019

Reliable systems on unreliable networked platforms

2007

Formal methods for embedded distributed systems

2010

Application and Theory of Petri Nets and Concurrency

2016

Transactions on Petri Nets and Other Models of Concurrency XV

2021

Transactions on Petri Nets and Other Models of Concurrency XVI

2022

Transactions on Petri Nets and Other Models of Concurrency XVIII

2026

TOOLympics Challenge 2023

2024

Reliable Software Technologies - Ada-Europe 2008

2008

Reliable Software Technologies - Ada-Europe 2007

2007

Embedded Systems Analysis And Modeling With Sysml Uml And Aadl

2013

Composition of Embedded Systems. Scientific and Industrial Issues

2007

Challenges and Opportunity with Big Data

2017