News and Events

Here we list the news of FMT

<< 1 2 3 4 5 6 7 8 9 >>

March 1, 2016

NWO IPPSI/KIEM project for Mariƫlle Stoelinga has started

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

Marielle Stoelinga involved in Tech4people project to reinforce collaboration with social sciences

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.


November 24, 2015

Koen Degeling wins student presentation award on joint work with Stefano Schivo

Koen Degeling (student in BMS) wins the "Best Student Podium Presentation Award" for his presentation at ISPOR (9 november 2015, Milan, Italy), the 18th Annual European Congress of the International Society for Pharmacoeconomics and Outcomes Research. The presentation was based on joint work, leading to the abstract "Comparison of Timed Automata with Discrete Event Simulation for modeling personalized treatment decisions: The case of metastatic castration resistant prostate cancer", Koen Degeling, Hendrik Koffijberg, Stefano Schivo, Rom Langerak, and Maarten J. IJzerman.

November 2, 2015

Marieke Huisman together with Anton Wijs (TUE), Alexandru Iosup (TUD) and Ana Lucia Varbanescu (VU/TUD) received 3TU.NIRICT funding for reconnaissance topic on performance and correctness of GPGPU

NIRICT reconnaissance topic is aiming to enhance collaboration of the three universities of technology in NIRICT research themes, with a focus highly based on national and international ICT programs, such as the ICT Roadmap for the Topsectors and Horizon2020. 

The kick-off meeting for this reconnaissance topic will be held on December 3, 2015 in Utrecht.

October 13, 2015

Marieke Huisman nominated for VIVA 400-award

Marieke Huisman has been nominated for the yearly VIVA 400-award in the category 'Knappe Koppen' (clever people), because she received the Prof. de Winterprize, and a NWO TOP grant. For the full list, see, where you also can vote (until November 4, 2015).

October 8, 2015

Research of the NASCENCE project has been published in NATURE NANOTECHNOLOGY

A recent breakthorugh in the area of Unconventional Computing has been published in the leading British journal Nature Nanotechnology. In this research a group of scientists of CTIT and MESA of the UT have demonstrated how a disordered network of gold nanoparticles can be configured into any of the Boolean logic gates by using a form of artificial evolution. This proof of principle has great potential for future alternatives to digital computing, and for multi-purpose devices at the nanoscale. For more information, follow the link to the publication:

For comments of an expert on the achievements and their potential impact see:

September 24, 2015

Sebastian Junges wins Best Master Thesis Prize in Germany

His work, entitled Simplifying Fault Trees by Graph Rewriting, has been selected by the Fakultätentag Informatik. Sebastian will be awarded the price during the 45th Annual Meeting of the German Informatics Society (Gesellschaft für Informatik e.V. – GI).

His thesis has been supervised by Joost-Pieter Katoen and Marielle Stoelinga. He wrote his work during an exchange visit at the FMT group, collaborating with Dennis Guck, Arend Rensink and Marielle Stoelinga.

(Foto by BTU Cottbus-Senftenberg/MMZ)

June 26, 2015

Sebastian Junges writes best Computer Science MSc thesis of RWTH Aachen University

Sebastian Junges, a student from RWTH Aachen University who wrote his MSc thesis at the Formal Methods & Tools group, wins a prizes for being the best MSc student in Computer Science at RWTH Aachen. His Grade Point Average is 1.1.

Moreover, his MSc thesis has been elected as the best MSc thesis in Computer Science.As such, RWTH Aachen has nominated his thesis for the Fakultätentag Informatik (FTI) Preis 2015, a nation-wide award in Computer Science.

Junges' thesis concerns Fault Tree Analysis, a wide spread technique in system reliability engineering, deployed by NASA, Airbus, Boeing, ESA, Toyota etc. Junges presents a technique to reduce the computation of Fault Trees, by graph transfromation techniques. In this way, fault trees can be analyzed that were too complex before. 

The thesis has been supervised by Joost-Pieter Katoen, and Marielle Stoelinga, in collaboration with Arend Rensink.


Further information.

April 29, 2015

February 27, 2015

Rom Langerak nominated for Education Prize 2015

Rom Langerak has been nominated for the Education Prize for Computer Science 2015. On March 3 he will give a mini-lecture, together with the other contestants Maurice van Keulen and Klaas Sikkel. March 9 the winner will be announced by Inter-Actief.

<< 1 2 3 4 5 6 7 8 9 >>