Basiri, M. H., Pirani, M., Azad, N., & Fischmeister, S. (2019). Security of Vehicle Platooning: A Game-Theoretic Approach IEEE Access, 7, 185565-185579. https://doi.org/10.1109/ACCESS.2019.2961002
References
Filter by:
Babaee, R., Gurfinkel, A., & Fischmeister, S. (2018). Prevent: a Predictive Run-time Verification Framework Using Statistical Learning Presented at the 16th International Conference on Software Engineering and Formal Methods conference. Toulouse, France.
Dunne, M., Gracioli, G., & Fischmeister, S. (2018). A Comparison of Data Streaming Frameworks for Anomaly Detection in Embedded Systems Presented at the International Workshop on Security and Privacy for the Internet-of-Things (IoTSec) conference. Orlando, USA.
Medhat, R., Bonakdarpour, B., & Fischmeister, S. (2018). Energy-efficient Multiple Producer-Consumer IEEE Transactions on Parallel and Distributed Systems. https://doi.org/10.1109/TPDS.2018.2867853
Basiri, M. H., Thistle, J., & Fischmeister, S. (2018). 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), 51, 292-297. Stockholm, Sweden.
Kauffman, S., Havelund, K., Joshi, R., & Fischmeister, S. (2018). Inferring Event Stream Abstractions Formal Methods in System Design, 29. https://doi.org/10.1007/s10703-018-0317-z
Sharma, S., Flores, A., Moreno, C., Hobbs, C., Stafford, J., Lamichhane, K., … Fischmeister, S. (2018). Lessons-learned from Applying STAMP Safety and Security Analysis on AEB for L4 Autonomous Driving Presented at the STAMP Workshop conference.
Narayan, A., Cutulenco, G., Joshi, Y., & Fischmeister, S. (2018). Mining Timed Regular Specifications from System Traces ACM Transactions on Embedded Computing Systems, 17. https://doi.org/10.1145/3147660
Iegorov, O., & Fischmeister, S. (2018). Mining Task Precedence Graphs from Real-Time Embedded System Traces Presented at the Real-Time and Embedded Technology and Applications Symposium (RTAS) conference. Porto, Portugal.
Lamichhane, K., Moreno, C., & Fischmeister, S. (2018). Non-Intrusive Program Tracing of Non-Preemptive Multitasking Systems Using Power Consumption Presented at the Design, Automation and Test in Europe Conference and Exhibition (DATE) conference. Dresden, Germany.