References

Medhat, R., S., R., Bonakdarpour, B., & Fischmeister, S. (2015). A Framework for Mining Hybrid Automata from Input/Output Traces Presented at the International Conference on Embedded Software (EMSOFT) conference.

Kashif, H., Thomas, J., Patel, H., & Fischmeister, S. (2015). Static Slack-Based Instrumentation of Programs Presented at the Proc. Of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA) conference. Luxembourg. https://doi.org/10.1109/ETFA.2015.7301505 (Original work published 2026)

Azim, A., Pellizzoni, R., & Fischmeister, S. (2015). Generation of Communication Schedules Using Component Interfaces Presented at the Proc. Of the International Conference on Emerging Technologies and Factory Automation (ETFA) conference. Luxembourg.

Johnson, T. T., Gannamaraju, R., & Fischmeister, S. (2015). A Survey of Electrical and Electronic (E/E) Notifications for Motor Vehicles 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV), 1-15. Gothenburg, Sweden.

Denil, J., Kashif, H., Arafa, P., Vangheluwe, H., & Fischmeister, S. (2015). Instrumentation and Preservation of Extra-functional Properties of Simulink Models Presented at the Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium conference. Alexandria, USA.

Medhat, R., Bonakdarpour, B., Kumar, D., & Fischmeister, S. (2015). Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints ACM Transactions on Embedded Computing Systems (TECS), 14, 79. https://doi.org/10.1145/2744196

Ketata, A., Moreno, C., Fischmeister, S., Liang, J., & Czarnecki, K. (2015). Performance Prediction upon Toolchain Migration in Model-Based Software International Conference on Model Driven Engineering Languages and Systems (MODELS), 302-311. Ottawa, Canada. https://doi.org/10.1109/MODELS.2015.7338261

Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2015). Runtime Verification with Minimal Intrusion Through Parallelism Formal Methods in System Design, 1-32. https://doi.org/10.1007/s10703-015-0226-3

Newsham, Z., Ganesh, V., & Fischmeister, S. (2015). Predicting SAT Solver Performance on Heterogeneous Hardware Presented at the Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. Austin, USA.

Moreno, C., Hasan, A., & Fischmeister, S. (2015). Exp-HE: A Family of Fast Exponentiation Algorithms Resistant to SPA, Fault, and Combined Attacks Presented at the International Conference on Embedded Software (EMSOFT) conference.