Fabrice Kordon - Böcker

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods for Embedded Distributed Systems

How to master the complexity

Formal Methods for Embedded Distributed Systems

How to master the complexity

Distibuted Systems

Design and Algorithms

Models and Analysis for Distributed Systems

Embedded Systems

Analysis and Modeling with SysML, UML and AADL

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competitions

Application and Theory of Petri Nets and Concurrency

37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Challenges and Opportunity with Big Data

19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Reliable Software Technologies - Ada-Europe 2008

13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Reliable Systems on Unreliable Networked Platforms

12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Software Technologies - Ada-Europe 2007

12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Composition of Embedded Systems. Scientific and Industrial Issues

13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Reliable Software Technologies - Ada-Europe 2009

14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Transactions on Petri Nets and Other Models of Concurrency XV