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
Fault tree analysis Engineering & Materials Science
Synchronization Engineering & Materials Science
Specification languages 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: Academic

19882018
Photo of Yeray Barrios

Yeray Barrios

Person: Academic

20152018

Research Output 1987 2019

18 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

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. 16, 6, p. 3193-3205 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Software Engineering
Software engineering
Model-based
Curricula
Knowledge
11 Downloads (Pure)

Degree, Toughness and Subgraph Conditions for Hamiltonian Properties of Graphs

Zheng, W., 2019, Enschede: University of Twente. 149 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Toughness
Subgraph
Graph in graph theory
Hamilton Cycle
Graph theory

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 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

Design and implementation of digital communication systems for victim-offender mediation

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

Activity: Talk or presentationOral presentation