Personal information
Netherlands
Activities
Employment (3)
2019-07-15
to
present
|
Product Engineer
Employment
Source:
Enno Ruijters
2018-05-26
to
2019-06-15
|
Postdoctoral Researcher
(Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science)
Employment
Source:
Enno Ruijters
2014-02-01
to
2018-05-25
|
PhD Student
(Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science)
Employment
Source:
Enno Ruijters
Education and qualifications (2)
2014-02-01
to
2018-05-25
|
PhD in Computer Science
(Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science)
Education
Source:
Enno Ruijters
2011-09-01
to
2013-08-31
|
MSc. Operations Research
(Department of Knowledge Engineering)
Education
Source:
Enno Ruijters
Works (17)
2020
|
Book chapter
Contributors:
Carlos E. Budde;
Enno Ruijters;
Mariëlle Stoelinga
Source:
check_circle
Crossref
Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST 2020)
2020
|
Conference paper
Source:
Enno Ruijters
grade
Preferred source
(of
2)
2019
|
Book chapter
Contributors:
Ernst Moritz Hahn;
Arnd Hartmanns;
Christian Hensel;
Michaela Klauck;
Joachim Klein;
Jan Křetínský;
David Parker;
Tim Quatmann;
Enno Ruijters;
Marcel Steinmetz
Source:
check_circle
Crossref
2019
|
Book chapter
Contributors:
Arnd Hartmanns;
Michaela Klauck;
David Parker;
Tim Quatmann;
Enno Ruijters
Source:
check_circle
Crossref
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Source:
Enno Ruijters
Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018)
2018-04
|
Conference paper
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Proceedings of the IEEE 63rd Annual Reliability and Maintainability Symposium (RAMS 2017)
2017
|
Conference paper
EID:
2-s2.0-85018548536
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)
2017-10
|
Conference paper
Source:
Enno Ruijters
Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017)
2017-08
|
Conference paper
Source:
Enno Ruijters
Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016)
2016
|
Conference paper
EID:
2-s2.0-84994235314
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
2016-10
|
Conference paper
EID:
2-s2.0-84994031874
Source:
Enno Ruijters
Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)
2016-08
|
Conference paper
EID:
2-s2.0-84981210796
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium (RAMS 2016)
2016-01
|
Conference paper
EID:
2-s2.0-84968813948
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Computer Science Review
2015
|
Journal article
EID:
2-s2.0-84929709003
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015)
2015-09
|
Conference paper
EID:
2-s2.0-84944673647
Source:
Enno Ruijters
grade
Preferred source
(of
2)
Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014)
2014-11
|
Conference paper
EID:
2-s2.0-84908691743
Source:
Enno Ruijters
grade
Preferred source
(of
2)