Talks | Informatik 2

Home
News
People
Teaching
Research
Contact
Theory of Hybrid Systems
LuFG i2

Browsing: »
Home
»Research
»Publications
»Talks

Talks

2020
[bibtex]	Thomas Noll. Modular Synthesis of FDIR Recovery Strategies from Fault Trees, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2020.
Show all

MOVES seminar
Publications
Projects
Tools

Latest News

Paper at FM2021
July 18, 2021
The tool paper “The Probabilistic Termination Tool Amber” by Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen and Laura Kovacs has been accpted to FM2021, the conference on Formal Methods. The paper …
Distinguished Paper at LICS 2021
July 13, 2021
The paper “Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata ” by Mikołaj Bojańczyk, Bartek Klin (both Warsaw Univ.) and Joshua Moerman was selected as Distinguished Paper at LICS 2021, the 36th …
Award for outstanding Bachelor’s Thesis
June 26, 2021
Christina Gehnen has received an award from the Fachgruppe Informatik at RWTH for her Bachelor’s thesis entitled “Automata-based Model Checking of Recursive Systems“. Congratulations!

Links

RWTH Aachen
Fachgruppe Informatik