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

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

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

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 XVI

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