Fingerprint Dive into the research topics where Formal Methods and Tools is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Graph in graph theory Mathematics
Formal methods Engineering & Materials Science
Synchronization Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Semantics Engineering & Materials Science

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

Profiles

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

Mehmet Akşit

Person: PNUT

19882019
Photo of Yeray Barrios

Yeray Barrios

Person: Academic

20152018

Research Output 1987 2019

1 Downloads (Pure)

A Modest Markov Automata Tutorial

Hartmanns, A. & Hermanns, H., 13 Sep 2019, Reasoning Web: Explainable Artificial Intelligence. Krötzsch, M. & Stepanova, D. (eds.). Springer, Vol. 11810. p. 250-276 27 p. (Lecture Notes in Computer Science; vol. 11810).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 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
3 Downloads (Pure)

Contents for a Model-Based Software Engineering Body of Knowledge

Burgueño, L., Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., Vallecillo, A. & Wimmer, M., 18 Jul 2019, In : Software and systems modeling. 18, 6, p. 3193-3205 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Software Engineering
Software engineering
Model-based
Curricula
Knowledge

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 H.M. Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award

trucks
diagrams

Activities 1997 2019

Educators Symposium 2019

Fiona Polack (Chair), Arend Rensink (Chair)
17 Sep 2019

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

What is Software Change?

Arend Rensink (Speaker)
12 Apr 2019

Activity: Talk or presentationInvited talk

11th International Conference on Model Transformation, ICMT 2018

Arend Rensink (Chair), Jesús Sánchez Cuadrado (Chair)
25 Jul 2018

Activity: Participating in or organising an eventOrganising a conference, workshop, ...