Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Graph in graph theory Mathematics
Formal methods Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Binary decision diagrams Engineering & Materials Science
Intelligent buildings Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

No photo of A. Adil
20122018
No photo of Mehmet Akşit

Mehmet Akşit

Person: Academic

19882018
Photo of Yeray Barrios

Yeray Barrios

Person: Academic

20152018

Research Output 1987 2019

10 Downloads (Pure)

Automated compositional importance splitting

Budde, C. E., D'Argenio, P. R. & Hartmanns, A., 2019, In : Science of computer programming. 174, p. 90 - 108 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Model checking
Stochastic systems
Hinges
Explosions
Simulators

Parametric analyses of attack-fault trees

André, É., Lime, D., Ramparison, M. & Stoelinga, M., 12 Feb 2019.

Research output: Working paperProfessional

File
1 Citation (Scopus)
11 Downloads (Pure)

Properly Edge-colored Theta Graphs in Edge-colored Complete Graphs

Li, R., Broersma, H. & Zhang, S., 2 Jan 2019, In : Graphs and combinatorics. 35, 1, p. 261-286 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Edge-colored Graph
Directed graphs
Complete Graph
Graph in graph theory
Multipartite Tournaments

Prizes

2018 Best Practices in Education Award

Angelika H. Mader (Recipient), Ansgar Fehnker (Recipient) & Alma M. Schaafstal (Recipient), 9 Oct 2018

Prize

best practice
computer science
Sweden
education
news

Beste paper award

Maurice van Keulen (Recipient), Benjamin Kaminski (Recipient), Christoph Matheja (Recipient) & Joost P. Katoen (Recipient), 4 Oct 2018

Prize

Uncertainty

Best Paper Award SPIN 2017

Wytse Hendrikus Marinus Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams

Activities 1997 2017

Fault Maintenance Trees: Reliability Centered Maintenance Via Statistical Model Checking

Mariëlle Stoelinga (Speaker)
3 Feb 2017

Activity: Talk or presentationOral presentation

Parallel Algorithms for Model Checking

Jaco van de Pol (Speaker)
12 Sep 2017

Activity: Talk or presentationInvited talk

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Sven Zebel (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Mariëlle Ida Antoinette Stoelinga (Speaker), Boudewijn R.H.M. Haverkort (Speaker), Ellen Giebels (Speaker)
4 Oct 2016

Activity: Talk or presentationOral presentation