Chechik, Marsha (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.) Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. (English) Zbl 1517.68007 Lecture Notes in Computer Science 14000. Cham: Springer (ISBN 978-3-031-27480-0/pbk; 978-3-031-27481-7/ebook). xvi, 659 p. (2023). MSC: 68-06 68Nxx 68Qxx 00B25 PDFBibTeX XMLCite \textit{M. Chechik} (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6--10, 2023. Proceedings. Cham: Springer (2023; Zbl 1517.68007) Full Text: DOI
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena Three-valued abstraction for probabilistic systems. (English) Zbl 1277.68219 J. Log. Algebr. Program. 81, No. 4, 356-389 (2012). MSC: 68Q87 68Q60 03B70 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., J. Log. Algebr. Program. 81, No. 4, 356--389 (2012; Zbl 1277.68219) Full Text: DOI
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena Abstraction for stochastic systems by Erlang’s method of stages. (English) Zbl 1160.68469 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 279-294 (2008). MSC: 68Q85 68Q60 92C40 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., Lect. Notes Comput. Sci. 5201, 279--294 (2008; Zbl 1160.68469) Full Text: DOI Link
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena Three-valued abstraction for continuous-time Markov chains. (English) Zbl 1135.68476 Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 311-324 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., Lect. Notes Comput. Sci. 4590, 311--324 (2007; Zbl 1135.68476) Full Text: DOI
Bollig, Benedikt; Katoen, Joost-Pieter; Kern, Carsten; Leucker, Martin Replaying play in and play out: Synthesis of design models from scenarios by learning. (English) Zbl 1186.68106 Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 435-450 (2007). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 4424, 435--450 (2007; Zbl 1186.68106) Full Text: DOI
Broy, Manfred (ed.); Jonsson, Bengt (ed.); Katoen, Joost-Pieter (ed.); Leucker, Martin (ed.); Pretschner, Alexander (ed.) [Belinfante, Axel; Berg, Therese; Berkenkötter, Kirsten; Björklund, Henrik; Brandán Briones, Laura; Bruda, Stefan D.; Colin, Séverine; Dai, Zhen Ru; Din, George; El-Ramly, Mohammad; Frantzen, Lars; Gargantini, Angelo; Gaston, Christophe; Horstmann, Marc; Jonsson, Bengt; Katoen, Joost-Pieter; Kirner, Raimund; Krichen, Moez; Leucker, Martin; Lúcio, Levi; Mariani, Leonardo; Peureux, Fabien; Philipps, Jan; Prenninger, Wolfgang; Pretschner, Alexander; Raffelt, Harald; Röhl, Mathias; Samer, Marko; Sandberg, Sven; Schallhart, Christian; Seifert, Dirk; Tschaen, Valéry; van der Bijl, Machiel; Wolf, Verena] Model-based testing of reactive systems. Advanced lectures. (English) Zbl 1070.68088 Lecture Notes in Computer Science 3472. Berlin: Springer (ISBN 3-540-26278-4/pbk). viii, 659 p. (2005). MSC: 68Q60 68M15 68-02 68-06 PDFBibTeX XMLCite \textit{M. Broy} (ed.) et al., Model-based testing of reactive systems. Advanced lectures. Berlin: Springer (2005; Zbl 1070.68088) Full Text: DOI