2020, Article in monograph or in proceedings (Arbab, F.; Jongmans, S.-S. (ed.), Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019. Proceedings, pp. 191-212)
2020, Article in monograph or in proceedings (Dongol, B. (ed.), Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings, pp. 22-40)
2020, Article in monograph or in proceedings (Ka I Pun, V. (ed.), Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings, pp. 43-63)
2020, Article in monograph or in proceedings (Lukić, T.; Barneva, R.P.; Brimkov, V.E. (ed.), Combinatorial Image Analysis: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings, pp. 106-122)
Jasper, M.; Mues, M.; Murtovi, A.; Schlüter, M.; Howar, F.; Steffen, B.; Schordan, M.; Hendriks, D.; Schiffelers, R.; Kuppens, H.C.W.; Vaandrager, F.W.et al.sine al.
2019, Article in monograph or in proceedings (Beyer, D.; Huisman, M.; Kordon, F. (ed.), 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, pp. 101-115)
2019, Article in monograph or in proceedings (Baier, C. (ed.), ICALP 2019: 46th International Colloquium on Automata, Languages, and Programming, pp. 4:1)
2019, Part of book or chapter of book (Margaria, T. (ed.), Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 390-416)
2019, Article in monograph or in proceedings (Martin-Vide, C. (ed.), Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, pp. 328-339)
2019, Article in monograph or in proceedings (Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264)
2018, Article in monograph or in proceedings (Klein, S.T. (ed.), Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018. Proceedings, pp. 182-194)
2017, Article in monograph or in proceedings (Erdogmus, H. (ed.), SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA — July 13 - 14, 2017, pp. 142-151)
2016, Article in monograph or in proceedings (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 295-310)
2016, Article in monograph or in proceedings (Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 311-325)
2016, Article in monograph or in proceedings (Chaudhuri, S. (ed.), Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, pp. 454-471)
2015, Part of book or chapter of book (Butler, M. (ed.), Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, pp. 67-83)
2015, Part of book or chapter of book (Leucker, M. (ed.), Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015. Proceedings, pp. 165-183)
2014, Part of book or chapter of book (Lang, F.; Flammini, F. (ed.), Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pp. 78-93)
2014, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, pp. 202-219)
2013, Part of book or chapter of book (Arbab, F. (ed.), Fundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers, pp. 111-132)
2012, Part of book or chapter of book (Kato, S. (ed.), RTAS 2012 : the 18th IEEE Real-Time and Embedded Technology and Applications Symposium Proceedings, Beijing China, April 17-19, 2012, pp. 317-327)
2012, Article in monograph or in proceedings (Proceedings 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC?12), \rm 5-7 December 2012, Paphos, Cyprus, pp. 524-531)
2012, Part of book or chapter of book (Koutny, M. (ed.), CONCOR 2012 - Concurrency theory : CONCUR 2012- Concurrency Theory23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings, pp. 240-255)
2012, Part of book or chapter of book (Giannakopoulou, D. (ed.), FM 2012 : Formal Methods :18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, pp. 10-27)
2012, Article in monograph or in proceedings (Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, pp. 4-18)
2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 412-423)
2010, Article in monograph or in proceedings (Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA, pp. 273-281)
Basten, T.; Benthum, E. van; Geilen, M.; Hendriks, M.; Houben, F.; Igna, G.; Reckers, F.; Smet, S. de; Somers, L.; Teeselink, E.; Trcka, N.; Vaandrager, F.; Verriet, J.; Voorhoeve, M.; Yang, Y.et al.sine al.
2010, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification, and Validation, pp. 90-105)