Publications

TITLE TYPE AUTHOR PUBLISHER LINK
Model-based, mutation-driven test case generation via heuristic-guided branching search Paper presented at conference Andreas Fellner, Willibald Krenn, Rupert Schlick, Georg Weissenbacher MEMOCODE '17
Model-based safety validation of the automated driving function Highway Pilot Model-based safety validation of the automated driving function Highway Pilot Halil Beglerovic; Andrea Leitner; Hans-Michael Koegeler; Jürgen Holzinger; Rolf Hettel chassis.tech plus 2017
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
Simple 2-D Direction-of-Arrival Estimation Using ESPAR Antenna Article in a journal ​Lukasz Kulas IEEE Antennas and Wireless Propagation Letters
Improved Jamming Resistance Using Electronically Steerable Parasitic Antenna Radiator Paper presented at conference ​Michal Tarkowski, Mateusz Rzymowski, Lukasz Kulas, Krzysztof Nyka​ EUROCON
Compact Antenna for Digital Beamforming with Software Defined Radios Paper presented at conference ​Adam Narbudowicz, Max J. Ammann Marek Plotka, Lukasz Kulas, Krzysztof Nyka, Mateusz Rzymowski​ ISAP
Class-diagrams for Abstract Data Types Paper presented at conference Thai Son Hoang, Colin Snook, Dana Dghaym, and Michael Butler ICTAC
Sophisticated sensor model framework providing realistic radar sensor behavior in virtual environments Paper presented at conference Gabriel Herz,Rolf Hettel,Prof. Bernhard Schick, Holger Meinel Graz Symposium Virtual Vehicle
Validierungsprüfstand für Fahrzeuge mit Fahrassistenzsystemen und autonomen Fahrfunktionen Paper presented at conference Dr.-Ing. Christian Schyr Dipl.-Ing. Rolf Hettel Simulation und Erprobung in der Fahrzeugentwicklung
Functional discretization of space using Gaussian processes for road intersection crossing Paper presented at conference ​Mathieu Barbier, Christian Laugier, Olivier Simonin and Javier Ibañez-Guzmán Intelligent Transportation Systems (ITSC), 2016 IEEE 19th International Conference
Classification of Drivers Manoeuvre for Road Intersection Crossing with Synthethic and Real Data Paper presented at conference ​Mathieu Barbier, Christian Laugier, Olivier Simonin and Javier Ibañez-Guzmán IV 2017: 2017 IEEE Intelligent Vehicles Symposium
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
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
Point cloud registration from local feature correspondences---Evaluation on challenging datasets Article in a journal Tomáš Petříček, Tomáš Svoboda PLOS ONE (online)
A Hidden Markov Model for Route and Destination Prediction Paper presented at conference Yassine Lassoued, Julien Monteil, ​Yingqi Gu, Martin Mevissen, Giovanni Russo, Robert Shorten IEEE International Conference on Intelligent Transportation Systems
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
On the design of a decision engine for connected vehicles with an application to congestion management Article in a journal R. Ordonez-Hurtado, ​G. Russo, S. Sinnott, R. Shorten IEEE Transactions on Intelligent Transportation Systems
RSS-based DoA Estimation Using ESPAR Antennas and Interpolated Radiation Patterns Article in a journal ​Lukasz Kulas IEEE Antennas and Wireless Propagation Letters ( Volume: 17, Issue: 1, Jan. 2018 )
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
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
Learning for Active 3D Mapping Article in conference proceedings (published) K. Zimmermann, T. Petricek, V. Salansky, T. Svoboda ICCV 2017
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 chassis.tech 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
Modellbildung und Simulation eines kooperativen Stauassistenten über ein Co-Simulationsframework Master Thesis ​Robert Kastner, BSc Technische Universität Graz
Using Traffic Sequnce Charts at the Development of HAVs Article in conference proceedings (published) ​Werner Damm, Stephanie Kemper, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow online
Timing analysis of rate-constrained traffic in TTEthernet using network calculus Article in a journal ​Luxi Zhao and Paul Pop and Qiao Li and Junyan Chen and Huagang Xiong Real-Time Systems
Fault-Tolerant Topology and Routing Synthesis for IEEE Time-Sensitive Networking Article in conference proceedings (published) Voica Maria ​Gavrilut and Bahram Zarrin and Paul Pop and Soheil Samii Proceedings of the 25th International Conference on Real-Time Networks and Systems
An Algorithm for an Accurate Detection of Anomalies in Hyperspectral Images With a Low Computational Complexity Article in a journal ​María Díaz, Raúl Guerra, Sebastián López, Roberto Sarmiento IEEE Transactions on Geoscience and Remote Sensing
Formal Model Validation through Acceptance Tests Article in conference proceedings (published) Tomas Fischer, Colin Snook, Thai Son Hoang 6th International ABZ Conference ASM / Springer
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar Paper presented at conference Jorge Real, Sergio Sáez and Alfons Cespo Ada Europe 2018 - International Conference on Reliable Software Technologies
Diagram-led formal modelling using iUML-B for Hybrid ERTMS Level 3 Article in conference proceedings (published) ​Dana Dghyam, Michael Poppleton, Colin Snook Springer
The Sleepwalker Framework: Verification and Validation of Autonomous Vehicles by Mixed Reality LiDAR Stimulation Paper presented at conference ​Marc René Zofka, Marc Essinger, Tobias Fleck, Ralf Kohlhaas and J. Marius Zöllner 2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots
A New Algorithm for the On-Board Compression of Hyperspectral Images Article in a journal Raúl Guerra ,Yubal Barrios,María Díaz,Lucana Santos,Sebastián López andRoberto Sarmiento Remote Sensing
Ravenscar Support for Time-Triggered Scheduling Paper presented at conference ​Jorge Real, Sergio Sáez, Alfons Crespo 19th International Real-Time Ada Workshop IRTAW 2018
Virtual Reality for Automotive Radars Article in a journal ​Helmut Schreiber, Michael Ernst Gadringer, Andreas Gruber, Michael Vorderderfler, Dominik Amschl, Wolfgang Bösch, Steffen Metzner, Horst Pflügl, Michael Paulweber ÖVE
Towards improved Validation of Autonomous Systems for Smart Farming Paper presented at conference ​M. Rooker, P. Horstrand, A.S. Rodriquez, S. Lopez, R. Sarmiento, J. Lopez, R. Lattarulo, J. Perez, J. Matute, Z. Slavik, D. Pereira, M. Pusenius, T. Leppälampi Smart Farming Workshop, CPS Week 2018
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving Paper presented at conference ​Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, and Udo Brockmeyer Third International Workshop on Satisfiability Checking and Symbolic Computation, Part of FLOC 2018
A simulation-based testing and validation framework for ADAS development Article in conference proceedings (published) ​Tong Duy Son, Jacob Hubrechts, Lisa Awatsu, Ajinkya Bhave, Herman Van der Auweraer Proceedings of 7th Transport Research Arena TRA 2018, April 16-19, 2018, Vienna, Austria
On-line Maneuver Identification in Highway Traffic Using Elastic Template Matching Paper presented at conference ​Pavlo Tkachenko, Jinwei Zhou, Davide Gagliardi, Luigi del Re 18th IFAC Symposium on System Identification
A complete framework for developing and testing automated driving controllers Article in conference proceedings (published) ​Ray Lattarulo, Joshué Pérez and Martín Dendaluce 20th IFAC World Congress
Low Speed Longitudinal Control Algorithms for Automated Vehicles in Simulation and Real Platforms Article in a journal ​Mauricio Marcano, José A. Matute, Ray Lattarulo, Enrique Martí, and Joshué Pérez Complexity
Implementation of the Principal Component Analysis onto High-Performance Computer Facilities for Hyperspectral Dimensionality Reduction: Results and Comparisons Article in a journal ​Ernestina Martel, Raquel Lazcano, Jose Lopez, Daniel Madroñal, Ruben Salvador, Sebastian Lopez, Eduardo Juarez, Raul Guerra, Cesar Sanz and Roberto Sarmiento MDPI Remote Sensing
Environment Perception Simulation for Radar Stimulation in Automated Driving Function Testing Article in a journal ​Franz Michael Maier, Vamsi Prakash Makkapati, Martin Horn e & i Elektrotechnik und Informationstechnik
Generic Test Architecture Technical Report ENABLE-S3 consortium ENABLE-S3