2016Here we list the news of FMT by year (click on << or >> to shift to a different year).
|November 11, 2016|
During the Doctoral Symposium of the 21st International Symposium on Formal Methods (FM 2016) in Cyprus, Vincent Bloemen won the Best Presentation Award for his paper titled 'Parallel Model Checking of ω-Automata'.
He presented ideas on how he attempts to improve the model checking procedure by investigating different types of ω-automata such as Büchi, Rabin and Parity, and developing efficient parallel algorithms for checking such automata.Further information.
|November 02, 2016|
Thomas Neele receives the Ngi-NGN Informatics Thesis Prize (2nd prize, for Computer Science and Information Science). This prize has been awarded by the KHMW, the "Koninklijke Hollandsche Maatschappij der Wetenschappen". The prize of € 1000 will be awarded in Haarlem on November 28, 2016.
Thomas Neele graduated from Computer Science at the U Twente on a MSc Thesis "GPU implementation of partial-order reduction". He carried out is research at the Technical University of Eindhoven, under supervision of Anton Wijs (TU/e), Stefan Blom (UT) and Jaco van de Pol (UT). His research led already to two papers in major peer-reviewed conferences: ATVA'16 (Japan) and FM'16 (Cyprus).Further information.
|September 07, 2016|
During the opening of the academic year, Vincent received the award for the best master's thesis written at the faculty of Mathematics, Computer Science and Mathematics.
|July 15, 2016|
Alfons Laarman received a VENI grant from NWO for his research on parallel algorithms for depth-first graph traversal. His project belongs to 15% selected projects, and it is one out of 12 awarded projects in 'Physical Sciences'. From the NWO site:
Parallelism in depth
|April 06, 2016|
During the Euopean Joint Conferences on Theory and Practice and Software 2016 (ETAPS'16) in Eindhoven Mariëlle Stoelinga and Marcus Gerhold win the EASST best paper for their paper titled 'Model-Based Testing of Probabilistic Systems'.
Their work describes the testing process of systems that make use of probability and how to check whether or not they were implemented correctly.
|April 06, 2016|
VerifyThis 2016 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016) on April 2-3, 2016 in Eindhoven, the Netherlands. It is the 5th event in the VerifyThis competition series.
More information: http://etaps2016.verifythis.org/home
|April 05, 2016|
The GI/ITG Technical Committee of "Measurement, Modelling and Evaluation of Computing Systems" has awarded to Arnd Hartmanns the MMB Dissertation Award 2016 at the biennial MMB & DFT conference in Münster on April 5, 2016.
Arnd Hartmanns completed his Ph.D. with a thesis titled "On the Analysis of Stochastic Timed Systems" at Saarland University, Germany, supervised by Prof. Holger Hermanns. He joined the Formal Methods and Tools Group at the University of Twente as a postdoc in October 2015.
|March 23, 2016|
During the ICT.OPEN2016 event on 22 and 23 March, 2016, Wytse Oortwijn won the best IPA poster presentation award. The poster, titled "Static Verification of Message Passing Programs", covers ongoing work on the verification of distributed programs, jointly with Stefan Blom and Marieke Huisman.
|March 01, 2016|
Mariëlle Stoelinga (EEMCS/FMT group) acquired a new NWO IPPSI/KIEM project: SamSam: An integral SAfety / Security Analysis fraMework. IPPSI KIEM is the Innovative Public-Private Cooperation programme of NWO. The project is co-funded by Delta Pi, an innovative SME in risk analysis for technical infrastructures.
The goal of the SamSam project is to develop an integral model-based analysis framework for Reliability, Availability, Maintainability and Safety (RAMS) and cyber security aspects. Usually, RAMS and security are considered separately, which is inefficient and ineffective. RAMS and security are tightly connected and often lead to conflicting requirements: measures that increase reliability or safety can be exploited by hackers; measures that increase security often decrease the system safety or availability. The aim of the SamSam project is to combine two existing, prominent frameworks for RAMS and security analysis, (namely, attack trees and fault trees), and evaluate these via three industrial case studies.Further information.
|February 24, 2016|
Sven Zebel, Ellen Giebels, Boudewijn Haverkort and Marielle Stoelinga have acquired a project in the Tech4people programme that stimulates collaborations between the social and the technical sciences. Topic is victim offender mediation via digital communication. The role of Marielle Stoelinga is to analyze the risks related to this new technology.