Post navigation

Paper at SafeComp 2021
April 30, 2021
The paper “A Modular Approach To Non-Deterministic Dynamic Fault Trees” by Sascha Müller, Adeline Jordon, Andreas Gerndt (all German Aerospace Center DLR, Braunschweig) and Thomas Noll has been accepted at …
Two MOVES papers in Top-5 most cited papers at CAV 2015-2021
April 23, 2021
The papers on the Storm model checker and the parameter synthesis tool Prophesy are both among the five most cited CAV papers in the period 2015-2021. CAV (Computer-Aided Verification) is …
Paper at ICGT 2021
April 20, 2021
The paper “Automated Detection and Completion of Confluence for Graph Grammars” by Ira Fesefeldt, Christoph Matheja, Thomas Noll, and Johannes Schulte has been accepted as a tool paper at the …