Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. 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 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Formal Methods for Embedded Distributed Systems: How to master the complexity

Transactions on Petri Nets and Other Models of Concurrency XVI

Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Transactions on Petri Nets and Other Models of Concurrency XV

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

Distibuted Systems: Design and Algorithms

Models and Analysis for Distributed Systems

Embedded Systems: Analysis and Modeling with SysML, UML and AADL