Florian Hauer, Alexander Pretschner, Bernd Holzmüller
Fitness Functions for Testing Automated and Autonomous Driving Systems
38th International Conference on Computer Safety, Reliability and Security
Springer International Publishing
2019

Florian Hauer, Tabea Schmidt, Bernd Holzmuller, Alexander Pretschner
Did We Test All Scenarios for Automated and Autonomous Driving Systems?
2019 IEEE Intelligent Transportation Systems Conference (ITSC)
IEEE
2019

Jordan, Claudius V.;Maurer, Franziska;Lowenberg, Sven;Provost, Julien
Framework for Flexible, Adaptive Support of Test Management by Means of Software Agents
IEEE Robotics and Automation Letters
2019
4
3
2754-2761

Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander
Efficient Checking of Actual Causality with SAT Solving
IOS Press
2019
241 - 255

Hauer, Florian;Stern, Raphael;Pretschner, Alexander
Selecting Flow Optimal System Parameters for Automated Driving Systems
2019 IEEE Intelligent Transportation Systems Conference (ITSC)
IEEE
2019

Mahapatra, Tanmaya
High-level Graphical Programming for Big Data Applications
2019
Dissertation
215 p.

Ahmadvand, Mohsen;Fischer, Dennis;Banescu, Sebastian
SIP shaker: software integrity protection composition
Proceedings of the 35th Annual Computer Security Applications Conference on - ACSAC '19
ACM Press
2019

Ahmadvand, Mohsen;Below, Daniel;Banescu, Sebastian;Pretschner, Alexander
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming
Proceedings of the 3rd ACM Workshop on Software Protection - SPRO'19
ACM Press
2019

Aleieldin Salem, Michael Hesse, Jona Neumeier, Alexander Pretschner
Towards Empirically Assessing Behavior Stimulation Approaches for Android Malware
47-52
SECURWARE 2019, The Thirteenth International Conference on Emerging Security Information, Systems and Technologies
2019

Lukas Heinzmann and Sina Shafaei and Mohd Hafeez Osman and Christoph Segler and Alois Knoll
A Framework for Safety Violation Identification and Assessment in Autonomous Driving
2019