Jordan, Claudius V.;Hauer, Florian;Foth, Philipp;Pretschner, Alexander
Time-Series-Based Clustering for Failure Analysis in Hardware-in-the-Loop Setups: An Automotive Case Study
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
IEEE
2020

Florian Hauer, Ilias Gerostathopoulos, Tabea Schmidt, Alexander Pretschner
Clustering Traffic Scenarios Using Mental Models as Little as Possible
2020 IEEE Intelligent Vehicles Symposium (IV)
IEEE
2020

Florian Hauer, Alexander Pretschner, Bernd Holzmüller
Re-Using Concrete Test Scenarios Generally Is a Bad Idea
2020 IEEE Intelligent Vehicles Symposium (IV)
IEEE
2020

Moncada, David Santiago Velasco;Schneider, Daniel;Petrovska, Ana;Laxman, Nishanth;Möhrle, Felix;Rothbauer, Stefan;Zeller, Marc;Koo, Chee Hung;Safdari, Samira
Dynamic Safety Certification for Collaborative Embedded Systems at Runtime
Model-Based Engineering of Collaborative Embedded Systems
Springer International Publishing
2020

Hayward, Alexander;Daun, Marian;Petrovska, Ana;Böhm, Wolfgang;Krajinski, Lisa;Fay, Alexander
Function Modeling for Collaborative Embedded Systems
Model-Based Engineering of Collaborative Embedded Systems
Springer International Publishing
2020

Stöckle, Patrick;Grobauer, Bernd;Pretschner, Alexander
Automated Implementation of Windows-Related Security-Configuration Guides
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
Association for Computing Machinery
2020

Ibrahim, Amjad;Rehwald, Simon;Scemama, Antoine;Andres, Florian;Pretschner, Alexander
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks
Graphical Models for Security
Springer International Publishing
2020

Schnappinger, Markus;Fietzke, Arnaud;Pretschner, Alexander
Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability
2020 IEEE International Conference on Software Maintenance and Evolution (ICSME)
IEEE
2020

Golagha, Mojdeh;Pretschner, Alexander;Briand, Lionel C.
Can We Predict the Quality of Spectrum-based Fault Localization?
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST)
IEEE
2020

Ibrahim, Amjad;Pretschner, Alexander
From Checking to Inference: Actual Causality Computations as Optimization Problems
Automated Technology for Verification and Analysis
Springer International Publishing
2020