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, 13:30, Amsterdam, CWI (Turing room)Adrian Kosowski, Aga Madurska, Floor Sietsma, Daniel Apt: Farewell event on the occasion of the retirement of Prof.dr. Krzysztof Apt
Today, 15:15, Radboud University NijmegenSymposium Mini-symposium on Security & Privacy
Wednesday, 9:00, Amsterdam, CWISymposium National symposium on software engineering (SEN)

More events; more lunch colloquia.

Press Releases and Media Coverage

Nov 10, 2014

Article by Marieke Huisman, Mariëlle Stoelinga in Bits & Chips because of issue of Bits & Chips.: Meer vrouwen in de ict, waarom eigenlijk?. [in Dutch]

Oct 18, 2014

Blog mentioning Mariëlle Stoelinga in Enno Mijland's Blog because her article in newspaper Trouw: 'I know nothing': de kunst van leren organiseren in een vak dat je niet beheerst. [in Dutch]

Oct 18, 2014

Article by Mariëlle Stoelinga in Trouw: Wacht niet te lang met ICT op school. [in Dutch]

More press releases and media coverage.

Latest News

Nov 05, 2014

Mark Timmer receives the IPA Dissertation Award

Mark Timmer is endowed with the IPA Dissertation Award (2013) for his thesis Efficient Modelling, Generation and Analysis of Markov Automata during the IPA Fall Days 2014.


Further information.
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.

More news.

Latest Publications

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

Arnold, F. and Pieters, W. and Stoelinga, M.I.A. (2014) Quantitative Penetration Testing with Item Response Theory. Journal of Information Assurance and Security, 9 (3). pp. 118-127. ISSN 1554-1010

Arnold, F. and Pieters, W. and Stoelinga, M.I.A. (2013) Quantitative penetration testing with item response theory. In: 9th International Conference on Information Assurance and Security, IAS 2013, 4-6 Dec 2013, Gammarth, Tunisia. pp. 49-54. IEEE. ISBN 978-1-4799-2989-4

Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2014) Towards Online and Transactional Relational Schema Transformations. Technical Report TR-CTIT-14-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Zhang, Xiaoyan (2014) Algorithmic and structural aspects of graph partitioning and related problems. PhD thesis, Univ. of Twente. CTIT Ph.D.-thesis serie No. 14-329 ISBN 978-90-365-3626-4

Delzanno, G. and Rensink, A. and Traverso, R. (2014) Graph- versus Vector-Based Analysis of a Consensus Protocol. In: Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 5 April 2014, Grenoble, France. pp. 44-57. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180

More publications.