Class-diagrams for Abstract Data Types Paper presented at conference Thai Son Hoang, Colin Snook, Dana Dghaym, and Michael Butler ICTAC
Mutation-Based Test-Case Generation with Ecdar Paper presented at conference ​Kim G. Larsen Florian Lorber Brian Nielsen Ulrik M. Nyman IEEE
Analysing Security Protocols Using Refinement in iUML-B Paper presented at conference ​​​Colin Snook Thai Son Hoang Michael Butler LNCS, volume 10227, Springer
Dynamic Reconfiguration under RTEMS for Fault Mitigation and Functional Adaptation in SRAM-based SoPCs for Space Systems Paper presented at conference Arturo Pérez, Leonardo Suriano, Andrés Otero, Eduardo de la Torre​" IEEE
Towards an Mixed-Reality Multi-User Framework for the Evaluation and Training of Autonomous Vehicles Paper presented at conference ​Marc René Zofka, Stefan Ulbrich, Ralf Kohlhaas, Arne Rönnau, Rüdiger Dillmann, J. Marius Zöllner" RSSRail
A Composition Mechanism for Refinement-Based Methods Paper presented at conference ​Thai Son Hoang, Dana Dghaym, Colin Snook, Michael Butler ICECCS
Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware Paper presented at conference ​Stefan Resch, Michael Paulitsch Workshop on Practical Formal Verification for Software Dependability
Real-Time Geometry-Based Channel Emulation Article in a journal ​Markus Hofer, Zhinan Xu, Dimitrios Vlastaras, Bernhard Schrenk, David Loeschenbrand, Fredrik Tufvesson, Thomas Zemen IEEE Transactions on Vehicular Technology
Formal modelling techniques for efficient development of railway control products Paper presented at conference ​M. Butler, D. Dghaym, T. Fischer, T.S. Hoang, K. Reichl, C. Snook, P. Tummeltshammer" RSSRail
Real-Time Implementation and Validation of a Geometry-Based Stochastic Channel Model Paper presented at conference Markus Hofer, Zhinan Xu, David Löschenbrand, Dimitrios Vlastaras, Benhard Schrenk, Fredrik Tufvesson, Thomas Zemen IRACON
Validation of a Real-Time Geometry-Based Stochastic Channel Model for Vehicular Scenarios Paper presented at conference ​Markus Hofer, Zhinan Xu, Dimitrios Vlastaras, Bernhard Schrenk, David Loeschenbrand, Fredrik Tufvesson, Thomas Zemen" IEEE 87th Vehicular Technology Conference
Recovering Markov Models from Closed-Loop Data Paper presented at conference ​Jonathan Epperlein, Robert Shorten, Sergiy Zhuk Automatica
Model-Based Mutation Testing of RT-Systems via Model-Checking of Properties Paper presented at conference ​Halil Beglerovic; Andrea Leitner; Hans-Michael Koegeler; Jürgen Holzinger; Rolf Hettel plus 2017
RMTLD Synthesis for Satisfability Modulo Theories Article in conference proceedings (published) ​André Pedro, David Pereira, Jorge Sousa Pinto, Luís Miguel Pinho Springer
Learning for Active 3D Mapping Article in conference proceedings (published) K. Zimmermann, T. Petricek, V. Salansky, T. Svoboda ICCV 2017