Reference author: Sebastian Fischmeister

Babaee, R. ., Gurfinkel, A. ., & Fischmeister, S. . (2018). Prevent: a Predictive Run-time Verification Framework Using Statistical Learning. 16th International Conference on Software Engineering and Formal Methods. Presented at the. Toulouse, France.

Sakhuja, S. ., Dunne, M. ., & Fischmeister, S. . (2021). The Boy Who Cried Wolf: On Precision in CAN Bus Intrusion Detection. Embedded Security in Cars. Presented at the. Michigan, USA.

Grisel-Davy, A. ., Bhogayata, M. ., Pabbi, S. ., Narayan, A. ., & Fischmeister, S. . (2022). Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. ACM SIGBED International Conference on Embedded Software (EMSOFT). Presented at the. Shanghai, China: ACM.

Dunne, M. ., & Fischmeister, S. . (2022). Powertrace-based Fuzzing of CAN Connected Hardware. IEEE International Conference on Cyber Security and Resilience (CSR). Presented at the. Rhodes, Greece: IEEE. https://doi.org/10.1109/CSR54599.2022.9850299

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

Kauffman, S. ., Dunne, M. ., Gracioli, G. ., Khan, W. ., Benann, N. ., & Fischmeister, S. . (2020). Palisade: A Framework for Anomaly Detection in Embedded Systems. Journal of Systems Architecture, 1-17. https://doi.org/10.1016/j.sysarc.2020.101876

Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2021). What Can We Monitor Over Unreliable Channels?. International Journal on Software Tools for Technology Transfer, 23, 579-600. https://doi.org/10.1007/s10009-021-00625-z

Arafa, P. ., Solomon, D. ., Navabpour, S. ., & Fischmeister, S. . (2017). Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. IEEE Symposium on Visual Languages and Human-Centric Computing (VL HCC). Presented at the. Raleigh, USA.

Moreno, C. ., & Fischmeister, S. . (2017). Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers. Design Automation Conference (DAC). Presented at the. Austin, USA. https://doi.org/10.1145/3061639.3062245

Newsham, Z. ., Oliveira, A. ., Petkovich, J. ., Rehman, A. ., Tchamgoue, G. ., & Fischmeister, S. . (2017). Intersert: Assertions on Distributed Process Interaction Sessions. IEEE International Conference on Software Quality, Reliability & Security (QRS). Presented at the. Prague, Czech Republic.