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.
References
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 Presented at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. 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 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 2025)
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.
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
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.
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
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