2019, Article in monograph or in proceedings (Strahonja, V. (ed.), CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia. Proceedings, pp. 247-258)
2019, Article in monograph or in proceedings (Beyer, D. (ed.), Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, pp. 64-82)
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)
2019, Article in monograph or in proceedings (Hung, C.-C. (ed.), SAC'19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus — April 08 - 12, 2019, pp. 2196-2205)
2017, Article in monograph or in proceedings (Katoen, J.-P.; Langerak, R.; Rensink, A. (ed.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp. 87-106)
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, pp. 220-235)
2013, Article in monograph or in proceedings (Carrozza, G. (ed.), Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, pp. 41-46)
Bozga, M.; David, A.; Hartmanns, A.; Hermanns, H.; Larsen, K.G.; Legay, A.; Tretmans, J.
2012, Article in monograph or in proceedings (Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012, pp. 370-375)
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)
2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B.; Joubert, C. (ed.), Formal Methods for Industrial Critical Systems 2009,14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 207-209)
2008, Article in monograph or in proceedings (Cassez, Franck; Jard, Claude (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 250-264)
2008, Part of book or chapter of book (Hierons, R.M.; Harman, M. (ed.), Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers, pp. 1-38)
2007, Article in monograph or in proceedings (Tretmans, J. (ed.), Tangram: Model-Based Integration and Testing of Complex High-Tech Systems, pp. 199-207)
2007, Article in monograph or in proceedings (Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects -- FMCO 2006, pp. 1-25)
2006, Article in monograph or in proceedings (Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification - FATES/RV'06, pp. 40-54)
2006, Article in monograph or in proceedings (Bertolino, A.; Polini, A. (ed.), International Workshop on Web Services - Modeling and Testing (WS-MaTe2006), pp. 67-82)
2006, Article in monograph or in proceedings (Reussner, R.H.; Stafford, J.A.; Szyperski, C.A. (ed.), Architecting Systems with Trustworthy Components, pp. 1-25)
2005, Article in monograph or in proceedings (Khendek, F.; Dssouli, R. (ed.), TestCom 2005 -- 17th IFIP Int. Conference on Testing of Communicating Systems, pp. 81-96)
2005, Article in monograph or in proceedings (Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Proceedings of the 20th IFIP TC11 International Information Security Conference, pp. 564-576)
2004, Article in monograph or in proceedings (Petrenko, A.; Ulrich, A. (ed.), Proceedings Formal Approaches to Software Testing (FATES 2003, pp. 86-100)
2003, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers, pp. 84-100)