Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
dr.ir.
Onderzoeksresultaten per jaar
We should expect safety critical software to verifiably meet its requirements.
Jeroen Keiren is an assistant professor in the Formal System Analysis group at the Eindhoven University of Technology (TU/e). His research interests lie in the development of formal methods for the design and application of correct and reliable software and hardware systems. A common theme throughout much of his research is reducing the structures generated in model checking, for example using bisimulation methods. Specific areas of expertise include explicit state model checking, parity games and timed systems.
Jeroen Keiren obtained his Master's degree (with honors) in Computer Science at TU/e in 2009. He obtained his PhD in Formal System Analysis in 2013 at the same university. His thesis was titled Advanced Reduction Techniques for Model Checking. Afterwards, Jeroen became a postdoc at the Vrije Universiteit, Amsterdam (2013-2015) and Assistant Professor at the Open Universiteit (2015-2019) and University of Maryland (2016). During this time, he was also a visiting researcher in the Digital Security group at Radboud University, Nijmegen (2015-2019) and visiting lecturer/assistant professor (1 day/week) in the Embedded Software group at TU Delft. At the beginning of 2019, he returned to the TU/e as an assistant professor in the Formal System Analysis Group.
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Stramaglia, A. (Ontwerper), Keiren, J. J. A. (Ontwerper) & Neele, T. (Ontwerper), Zenodo, 10 jul. 2024
DOI: 10.5281/zenodo.12705700, https://zenodo.org/records/12705700
Dataset
Wijs, A. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020
DOI: 10.6084/m9.figshare.11876688
Dataset
Bunte, O. (Bijdrager), Groote, J. F. (Bijdrager), Keiren, J. J. A. (Bijdrager), Laveaux, M. (Bijdrager), Neele, T. (Bijdrager), de Vink, E. P. (Bijdrager), Wesselink, W. (Bijdrager), Wijs, A. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 2 sep. 2018
DOI: 10.5281/zenodo.2555055, https://zenodo.org/record/2555055
Dataset
Scriptie/Masterproef: Master