Publications

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

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

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

Newsham, Z. ., Lindsay, W. ., Ganesh, V. ., Liang, J. H., Fischmeister, S. ., & Czarnecki, K. . (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)

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

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

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

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

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

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.