Coste, E., Farcas, C., Fischmeister, S., & Pree, W. (2004). Research Directions in Embedded Systems In EmBase News as Web Portal (Vol. 182, pp. 75-93). Austrian Computer Society.
Reference author: Sebastian Fischmeister
First name
Sebastian
Last name
Fischmeister
Fischmeister, S. (2004). Web-Service basierte Software (Web-Services) In Software Engineering (3rd ed., pp. 217-237). Hanser Verlag.
Bonakdarpour, B., Navabpour, S., & Fischmeister, S. (2013). Time-triggered Runtime Verification Formal Methods in System Design (FMSD), 43, 29-60. https://doi.org/10.1007/s10703-012-0182-0 (Original work published 2013)
Chaudhary, S., Fischmeister, S., & Tan, L. (2014). em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications SIGPLAN/SIGBED/Conference/on/Languages,/Compilers/and/Tools/for/Embedded/Systems/(LCTES), 105-114. New York, NY, USA: ACM. https://doi.org/10.1145/2597809.2597823
Azim, A., & Fischmeister, S. (2016). Efficient mode changes in multi-mode systems International Conference on Computer Design (ICCD), 592-599. https://doi.org/10.1109/ICCD.2016.7753345
Moreno, C., Kauffman, S., & Fischmeister, S. (2016). Efficient Program Tracing and Monitoring Through Power Consumption — With A Little Help From The Compiler Presented at the Proc. Of Design, Automation, and Test (DATE) conference. Dresden, Germany.
Tchamgoue, G. M., & Fischmeister, S. (2016). Lessons Learned on Assumptions and Scalability with Time-Aware Instrumentation International Conference on Embedded Software (EMSOFT), 1-7. Pittsburgh, USA. https://doi.org/10.1145/2968478.2975584
Cutulenco, G., Joshi, Y., Narayan, A., & Fischmeister, S. (2016). Mining Timed Regular Expressions from System Traces Proceedings of the 5th International Workshop on Software Mining, 3-10. Singapore. https://doi.org/10.1145/2975961.2975962
Moreno, C., & Fischmeister, S. (2016). Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace Presented at the Proc. Of the International Conference on Runtime Verification (RV) conference. Madrid, Spain.
Kauffman, S., Moreno, C., & Fischmeister, S. (2016). Static Transformation of Power Consumption for Software Attestation Presented at the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) conference. Daegu, South Korea.