Publications

TITLE AUTHORS JOURNAL / CONFERENCE PUBLICATION TYPE LINK
Mutation Testing of Industrial Size Models ​Andreas Fellner, Willibald Krenn, Rupert Schlick, Georg Weissenbacher Technical Paper (Conference)
Statistical Model Checking for Scenario-based verification of ADAS Sebastian Gerwinn, Eike Möhlmann, and Anja Siepe Development, Testing and Verification of Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions
Model-based safety validation of the automated driving function Highway Pilot ​Halil Beglerovic; Andrea Leitner; Hans-Michael Koegeler; Jürgen Holzinger; Rolf Hettel Technical Paper (Conference)
Mutation-Based Test-Case Generation with Ecdar ​Kim G. Larsen; Florian Lorber; Brian Nielsen; Ulrik M. Nyman Technical Paper (Conference)
Analysing Security Protocols Using Refinement in iUML-B Colin Snook; Thai Son Hoang; Michael Butler NASA Formal Methods 9th International Symposium
Simple 2-D Direction-of-Arrival Estimation Using ESPAR Antenna ​Lukasz Kulas IEEE Antennas and Wireless Propagation Letters
Improved Jamming Resistance Using Electronically Steerable Parasitic Antenna Radiator Michal Tarkowski; Mateusz Rzymowski; Lukasz Kulas; Krzysztof Nyka Technical Paper (Conference)
Investiagtion of Continuous Wave Jamming in an IEEE 802.15.4 Network ​Jakub Rewienski; Mateusz Groth; Łukasz Kulas; Krzysztof Nyka Technical Paper (Conference)
Direction-of-Arrival Estimation Using an ESPAR Antenna with Simplified Beam Steering ​Lukasz Kulas Technical Paper (Conference)
Compact Antenna for Digital Beamforming with Software Defined Radios Adam Narbudowicz; Max J. Ammann; Marek Plotka; Lukasz Kulas; Krzysztof Nyka; Mateusz Rzymowski Technical Paper (Conference)
Class-diagrams for Abstract Data Types ​Thai Son Hoang; Colin Snook; Dana Dghaym; Michael Butler Technical Paper (Conference)
Sophisticated sensor model framework providing realistic radar sensor behavior in virtual environments Gabriel Herz; Rolf Hettel; Prof. Bernhard Schick; Holger Meinel Technical Paper (Conference)
Validierungsprüfstand für Fahrzeuge mit Fahrassistenzsystemen und autonomen Fahrfunktionen Christian Schyr; Rolf Hettel Technical Paper (Conference)
Functional discretization of space using Gaussian processes for road intersection crossing ​Mathieu Barbier; Christian Laugier; Olivier Simonin; Javier Ibañez-Guzmán Technical Paper (Conference)
Classification of Drivers Manoeuvre for Road Intersection Crossing with Synthethic and Real Data ​Mathieu Barbier; Christian Laugier; Olivier Simonin; Javier Ibañez-Guzmán Technical Paper (Conference)
Dynamic Reconfiguration under RTEMS for Fault Mitigation and Functional Adaptation in SRAM-based SoPCs for Space Systems Arturo Pérez; Leonardo Suriano; Andrés Otero; Eduardo de la Torre​ Technical Paper (Conference)
Towards an Mixed-Reality Multi-User Framework for the Evaluation and Training of Autonomous Vehicles ​Marc René Zofka; Stefan Ulbrich; Ralf Kohlhaas; Arne Rönnau; Rüdiger Dillmann; J. Marius Zöllner Technical Paper (Conference)
Formal modelling techniques for efficient development of railway control products ​M. Butler; D. Dghaym; T. Fischer; T.S. Hoang; K. Reichl; C. Snook; P. Tummeltshammer Technical Paper (Conference)