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)

Today, 12:30, Carre 3HLunch colloqium: Jaco van de Pol: Mechanical Correctness Proof of Nested Depth First Search with Dafny
Friday, 13:45, Carre 4APresentation: Martijn Rutten: Dynamic Analysis of Multi-core and Multi-threaded Applications in Embedded Systems
Sep 17-23 Model-based design and analysis of cyber-physical systems
Sep 18, 14:45, Prof.Dr. G. Berkhoff-room of Waaier buildingPhD Defense: Axel Belinfante: JTorX: Exploring Model-Based Testing
Sep 18, 9:30, Horsttoren, T1300Symposium Mini-symposium Model-Based Testing
Sep 24, 12:30, Zi 2126Presentation Printing Thesis Workshop
Sep 24-26Symposium Automated Verification of Critical Systems
Oct 13-17, Lorentz Center ICT with Industry 2014
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.)

Schivo, S. and Scholma, J. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) ANIMO: a tool for modeling biological pathway dynamics. In: Journal of Tissue Engineering and Regenerative Medicine, 10-13 June 2014, Genova, Italy. pp. 54-55. John Wiley & Sons, Ltd.. ISSN 1932-7005

Scholma, J. and Schivo, S. and Kerkhofs, J. and Langerak, R. and Karperien, H.B.J. and van de Pol, J.C. and Geris, L. and Post, J.N. (2014) ECHO: the executable chondrocyte. In: Journal of Tissue Engineering and Regenerative Medicine, 10-13 June 2014, Genova, Italy. pp. 54-54. John Wiley & Sons, Ltd.. ISSN 1932-7005

Scholma, J. and Schivo, S. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) An ECHO in biology: Validating the Executable CHondrocyte. In: Osteoarthritis and Cartilage, 24-27 Apr 2014, Paris, France. S157-S157. Elsevier. ISSN 1063-4584

Timmer, M. (2014) Community of Learners (3): wat leert de docent nu eigenlijk? De Lerarenagenda 2013-2020, 2014. ISSN not assigned

Hansen, H. and Timmer, M. (2014) A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theoretical computer science, 538. pp. 103-123. ISSN 0304-3975 *** ISI Impact 0,49 ***

More publications.