Formal Methods and Tools

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente.

Upcoming Events (for recurrent events only next 7 days are shown)

Sep 17-23 Model-based design and analysis of cyber-physical systems
Sep 24, 12:30, Zi 2126Presentation Printing Thesis Workshop
Sep 24-26Symposium Automated Verification of Critical Systems
Nov 06-07, De Vereeniging, Nijmegen The 26th Benelux Conference on Artificial Intelligence
Nov 17, 9:00, De Eenhoorn, Amersfoort Dutch Testing Day 2014

More events; more lunch colloquia.

Press Releases and Media Coverage

Jul 03, 2014

Article mentioning Mariëlle Stoelinga in UT nieuws because Exhibition of Have Fun & Play!: Spaceship Earth Exhibition. [in English]

May 28, 2014

Article about a guest lecture organized by Mariëlle Stoelinga in UT nieuws: Life on a starship by Angelo Vermeulen. [in English]

May 14, 2014

Article mentioning Minh Tri Ngo in UT nieuws because of his PhD defense: Informatiebescherming. [in Dutch]

More press releases and media coverage.

Latest News

Jun 12, 2014

Steven te Brinke wins second prize in CTIT poster competition

During the CTIT Symposium of Tuesday 3 June, Steven te Brinke won the second prize in the PhD poster competition with his poster "Interpreting Energy Profiles with CEGAR".

Further information.
Apr 14, 2014

Steven te Brinke wins Student Research Competition at SAC '14

The Symposium on Applied Computing (SAC) 2014 was held from March 24 to 28 in Gyeongju, Korea. SAC 2014 hosted a Student Research Competition that provides graduate students the opportunity to receive feedback on their research ideas from the scientific community. For this competition, students are selected based on submitted abstracts and then graded first on their poster and then on their presentation. Steven te Brinke from the FMT group of the University of Twente won the gold medal of this competition with his presentation titled "Interpreting Energy Profiles with CEGAR".

Further information.
Apr 02, 2014

Mark Timmer wins IPA dissertation prize

Dr. ir. Mark Timmer is the winner of the IPA Dissertation Award for the best IPA dissertation of 2013. Mark's thesis on 'Efficient Modelling, Generation and Analysis of Markov Automata' was selected as the best among the nominated theses. 

The committee considered this work of outstanding scientific quality. The results have had significant impact on the research field, as witnessed by the numerous citations to the publications included in the thesis. Moreover Dr. Timmer is a bright scholar, who was not only awarded with a  cum laude for the thesis, but also won an education award, and is successful in disseminating research results in forums other than scientific peer-reviewed journals. Finally the committee highly appreciated the tooling developed in addition to the theoretical contribution, as well as the experimental evidence provided to support the claims within the thesis.

Mark carried out his research at the University of Twente under the joint supervision of Jaco van de Pol, Joost-Pieter Katoen and Mariëlle Stoelinga.


Further information.

More news.

Latest Publications

(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)

Anjorin, A. and Cunha, A. and Giese, H. and Hermann, F. and Rensink, A. and Schürr, A. (2014) BenchmarX. In: Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference, 28 Mar 2014, Athens, Greece. pp. 82-86. CEUR Workshop Proceedings 1133. ISSN 1613-0073

Jakumeit, E. and Buchwald, S. and Wagelaar, D. and Dan, L. and Hegedüs, A. and Herrmannsdörfer, M. and Horn, T. and Kalnina, E. and Krause, C. and Lano, K. and Lepper, M. and Rensink, A. and Rose, L. and Wätzoldt, S. and Mazanek, S. (2014) A survey and comparison of transformation tools based on the transformation tool contest. Science of computer programming, 85. pp. 41-99. ISSN 0167-6423 *** ISI Impact 0,57 ***

Guck, D. and Timmer, M. and Hatefi, H and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata (extended version). Technical Report TR-CTIT-14-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Li, Binlong and Broersma, H.J. and Zhang, Shenggui (2014) Heavy subgraph pairs for traceability of block-chains. Discussiones Mathematicae Graph Theory, 34 (2). pp. 287-307. ISSN 1234-3099

Wu, Jichang and Broersma, H.J. and Kang, Haiyan (2014) Removable edges and chords of longest cycles in 3-connected graphs. Graphs and Combinatorics, 30 (3). pp. 743-753. ISSN 0911-0119 *** ISI Impact 0,35 ***

More publications.