Research output per year
Research output per year
Search results
-
2022
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Jansen, N., Stoelinga, M. & van den Bos, P., 2022, Cham: Springer. 580 p. (Lecture Notes in Computer Science; vol. 13560)Research output: Book/Report › Book editing › Academic
Open AccessFile57 Downloads (Pure) -
2021
Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Guerra, E. (Editor) & Stoelinga, M. (Editor), 2021, Springer. (Lecture Notes in Computer Science; vol. 12649)Research output: Book/Report › Book editing › Academic
Open AccessFile41 Downloads (Pure) -
2014
Stochastic Model Checking: Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Remke, A. (Editor) & Stoelinga, M. (Editor), Oct 2014, London: Springer. 281 p. (Lecture Notes in Computer Science; vol. 8453)Research output: Book/Report › Book editing › Academic
20 Downloads (Pure) -
2012
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Stoelinga, M. (Editor) & Pinger, R. (Editor), Aug 2012, London: Springer. 221 p. (Lecture Notes in Computer Science; vol. 7437)Research output: Book/Report › Book editing › Academic
Open AccessFile655 Downloads (Pure) -
Proceedings of the 17th Dutch Testing Day: Testing Evolvability, November 29, 2011, University of Twente, Enschede
Stoelinga, M. (Editor) & Timmer, M. (Editor), Feb 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 27 p. (CTIT Workshop Proceedings Series; no. WP12-01)Research output: Book/Report › Book editing › Academic
Open AccessFile139 Downloads (Pure)