Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
M
, "Accelerated Runtime Verification of LTL Specifications with Counting Semantics", International Conference on Runtime Verification, Madrid, Spain, pp. 251--267, 2016.
[pdf] (619.7 KB)
[pdf] (619.7 KB) , "A Framework for Mining Hybrid Automata from Input/Output Traces", International Conference on Embedded Software (EMSOFT), 2015.
[paper] (1.77 MB)
[paper] (1.77 MB) , "Power-efficient Multiple Producer-Consumer", IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), Phoenix, USA, pp. 669--678, 2014.
[paper] (680.49 KB)
[paper] (680.49 KB) , "Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems", ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 115--126, 2014.
[paper] (2.36 MB)
[paper] (2.36 MB) , "Energy-efficient Multiple Producer-Consumer", IEEE Transactions on Parallel and Distributed Systems, 2018.
, "Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints", ACM Transactions on Embedded Computing Systems (TECS), vol. 14, issue 4, pp. 79, 2015.
, "Towards Efficient Use of Shared Communication Media in the Timed Model", Proc. of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, USA, pp. 342–351, March, 2005.
[paper] (1.14 MB)
[paper] (1.14 MB) , "Adaptation for Device-independent Authoring", Developing User Interfaces with XML: Advances on User Interface Description Languages Workshop at Advanced Visual Interface (AVI), Gallipoli, Italy, 2004.
[paper] (268.23 KB)
[paper] (268.23 KB) , "Time-triggered Communication for Distributed Control Applications in a Timed Computation Model", 23rd International Digital Avionics Systems Conference (DASC), Salt Lake City, USA, IEEE Press, October, 2004.
[paper] (624.19 KB)
[paper] (624.19 KB) , "Dialog Model Clustering for User Interface Adaptation", Proceedings of the International Conference on Web Engineering, Oviedo, Spain, Springer-Verlag Heidelberg, June, 2003.
[paper] (543.04 KB)
[paper] (543.04 KB) , "Evaluation of User Interface Transcoding Systems", Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, July, 2003.
[paper] (154.01 KB)
[paper] (154.01 KB) , "Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter", 5th International Conference on Information Systems Security and Privacy (ICISSP), Prague, Czech Republic, 2019.
[pdf] (773.88 KB)
[pdf] (773.88 KB) , "Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers", Design Automation Conference (DAC), Austin, USA, 2017.
[pdf] (108.82 KB)
[pdf] (108.82 KB) , "On the Security of Safety-Critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?", International Conference on Information Systems Security and Privacy (ICISSP), Porto, Portugal., 2017.
[pdf] (270.31 KB)
[pdf] (270.31 KB) (Associated poster nominated for Best Poster Award)
, "Efficient Program Tracing and Monitoring Through Power Consumption -- With A Little Help From The Compiler", Proc. of Design, Automation, and Test (DATE), Dresden, Germany, 2016.
[pdf] (178.75 KB)
[pdf] (178.75 KB) , "Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace", Proc. of the International Conference on Runtime Verification (RV), Madrid, Spain, 2016.
[pdf] (795.35 KB) [Appendices] (61.96 KB)
[pdf] (795.35 KB) [Appendices] (61.96 KB) , "Exp-HE: A Family of Fast Exponentiation Algorithms Resistant to SPA, Fault, and Combined Attacks", International Conference on Embedded Software (EMSOFT), 2015.
[paper] (776.23 KB)
[paper] (776.23 KB) , "Non-intrusive Program Tracing and Debugging of Deployed Embedded Systems Through Side-channel Analysis", Proc. of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Washington, USA, ACM, pp. 77-88, 2013.
[pdf] (742.96 KB)
[pdf] (742.96 KB) (best paper award)
, "Accurate Measurement of Small Execution Times -- Getting Around Measurement Errors", Embedded Systems Letters (ESL), 2017.
[pdf] (62.02 KB)
[pdf] (62.02 KB) , "Non-Intrusive Runtime Monitoring Through Power Consumption to Enforce Safety and Security Properties in Embedded Systems", Formal Methods in Software Design (FMSD), 2017.
[pdf] (906.46 KB)
[pdf] (906.46 KB) , Accurate Measurement of Small Execution Times – Getting Around Measurement Errors, no. TR-2017-cmoreno-001, Waterloo, Canada, University of Waterloo, 2017.
[extended-version TR-2017-cmoreno-001] (126.77 KB)
[extended-version TR-2017-cmoreno-001] (126.77 KB)