User: Guest  Login
sort by:
and:
next

Ana Petrovska
Supplementary material for the paper "Reference Problem and ROS-Based Simulated Multi-Robot System for Experimentation with Smart Self-Adaptive Cyber-Physical Systems"
2019
Ibrahim, Amjad; Rehwald, Simon; Pretschner, Alexander
Efficiently Checking Actual Causality with SAT Solving
2019
Ibrahim, Amjad;Kacianka, Severin;Pretschner, Alexander;Hartsell, Charles;Karsai, Gabor
Practical Causal Models for Cyber-Physical Systems
Lecture Notes in Computer Science
Springer International Publishing
2019
Zieglmeier, Valentin;Kacianka, Severin;Hutzelmann, Thomas;Pretschner, Alexander
A real-time remote IDS testbed for connected vehicles
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19
ACM Press
2019
Ibrahim, Amjad;Bozhinoski, Stevica;Pretschner, Alexander
Attack graph generation for microservice architecture
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19
ACM Press
2019
Zibaei, Ehsan;Banescu, Sebastian;Pretschner, Alexander
Diagnosis of Safety Incidents for Cyber-Physical Systems: A UAV Example
2018 3rd International Conference on System Reliability and Safety (ICSRS)
IEEE
2018
Hutzelmann, Thomas;Banescu, Sebastian;Pretschner, Alexander
A Comprehensive Attack and Defense Model for the Automotive Domain
SAE International Journal of Transportation Cybersecurity and Privacy
2019
2
1
Saasha Nair and Sina Shafaei and Stefan Kugele and Mohd Hafeez Osman and Alois Knoll
Monitoring Safety of Autonomous Vehicles with Crash Prediction Networks
2019
Florian Hauer
Supplementary material for the paper "Fitness Functions for Testing Automated and Autonomous Driving Systems"
2019
Ahmadvand, Mohsen;Pretschner, Alexander;Ball, Keith;Eyring, Daniel
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework
Software Technologies: Applications and Foundations
Springer International Publishing
2018
sort by:
and:
next