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