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.
References
Filter by:
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.
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 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