Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
B
, "Prevent: a Predictive Run-time Verification Framework Using Statistical Learning", 16th International Conference on Software Engineering and Formal Methods, Toulouse, France, 2018.
[pdf] (923.26 KB)
[pdf] (923.26 KB) , "Secure Dynamic Nonlinear Heterogeneous Vehicle Platooning: Denial-of-Service Cyber-Attack Case", Security and Privacy in Cyber-Physical Systems: Threats and Defenses. Studies in Systems, Decision and Control: Springer, 2021.
[pdf] (1.71 MB)
[pdf] (1.71 MB) , "Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control", 28th Mediterranean Conference on Control and Automation (MED), Saint-Raphael, France, IEEE, 2020.
[pdf] (543.11 KB)
[pdf] (543.11 KB) , "Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers", 59th Conference on Decision and Control (CDC), Jeju Island, Republic of Korea, IEEE, 2020.
[pdf] (1.95 MB)
[pdf] (1.95 MB) , "Distributed Time-varying Kalman Filter Design and Estimation over Wireless Sensor Networks Using OWA Sensor Fusion Technique", 28th Mediterranean Conference on Control and Automation (MED), Saint-Raphael, France, IEEE, 2020.
[pdf] (870.88 KB)
[pdf] (870.88 KB) , "Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems", Annual American Control Conference (ACC), Philadelphia, USA, 2019.
[pdf] (1.15 MB)
[pdf] (1.15 MB) , "A Framework for Inference and Identification of Hybrid-System Models: Mixed Event-Time-driven Systems (METS)", IFAC-PapersOnLine (Proceedings of 18th IFAC Symposium on System Identification), vol. 51, issue 15, Stockholm, Sweden, pp. 292--297, 2018.
[paper] (912.82 KB)
[paper] (912.82 KB) , "Security-aware optimal actuator placement in vehicle platooning", Asian Journal Of Control, 2021.
[pdf] (5.28 MB)
[pdf] (5.28 MB) , "Security of Vehicle Platooning: A Game-Theoretic Approach", IEEE Access, vol. 7, issue 1, pp. 185565--185579, 2019.
[pdf] (1.65 MB)
[pdf] (1.65 MB) , "GPU-based Runtime Verification", IEEE International Parallel & Distributed Processing Symposium (IPDPS), May, 2013.
[paper] (388.53 KB)
[paper] (388.53 KB) , "Runtime Verification with Minimal Intrusion Through Parallelism", Formal Methods in System Design, pp. 1-32, 2015.
, "EmBase: Strength, Weakness, Opportunities, and Threats Analysis", Embedded Systems Knowledge Base – Austria and Surrounding Regions, vol. 182: Austrian Computer Society, pp. 61–75, 2004.
, "The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations", ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 38, issue 4, pp. 1-15, 2016.
, "Time-triggered Program Self-monitoring", Proc. of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, pp. 260-269, 2012.
[paper] (377.34 KB)
[paper] (377.34 KB) , "Runtime Monitoring of Time-sensitive Systems --- Tutorial Supplement", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, 2011.
[tutorial] (1.28 MB)
[tutorial] (1.28 MB) , "Sampling-based Runtime Verification", Proceedings of the 17th International Conference on Formal Methods (FM), Limerick, Ireland, pp. 88-102, June, 2011.
[paper] (1.45 MB)
[paper] (1.45 MB) , "Time-triggered Runtime Verification", Formal Methods in System Design (FMSD), vol. 43, issue 1, pp. 29--60, 2013.
[paper] (2.95 MB)
[paper] (2.95 MB)