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.
Publications
Filter by:
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.
Denil, J. ., Kashif, H. ., Arafa, P. ., Vangheluwe, H. ., & Fischmeister, S. . (2015). Instrumentation and Preservation of Extra-functional Properties of Simulink Models. Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium. Presented at the. Alexandria, USA.
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