User: Guest  Login
Sort by:
and:
next

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
Hutzelmann, Thomas;Mauksch, Dominik;Pretschner, Alexander
How to Conduct Experiments with a Real Car? Experiences and Practical Guidelines
Communications in Computer and Information Science
Springer International Publishing
2020
Sort by:
and:
next