Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Finished (Research Associate), 2016
Short Biography
I am currently a master's student in David Chertion School of Computer Science at University of Waterloo, Canada. I am a part of the Real-time Embedded Systems group and WatForm group. I am being co-supervised by Dr. Bonakdarpour and Dr. Fischmeister. I hold a Bachelor of Computer Engineering degree from University of Pune, India. Further, I have over four years of product development experience mainly in the domain of finance. I have been trained on different technologies by HP(Hewlett Packard), and I have hands-on experience on different programing languages and tools. My research interests are Embedded Systems, Formal Methods and Software Engineering.
Affiliation:
University of Waterloo
Publications with this group
2018
, "Mining Timed Regular Specifications from System Traces", ACM Transactions on Embedded Computing Systems, vol. 17, issue 2, 2018.
[paper] (611.3 KB)
[paper] (611.3 KB) 2017
, "Runtime Verification of LTL on Lossy Traces", 32nd ACM Symposium on Applied Computing (SAC), Marrakech, Morocco, pp. 1379-1386, 2017.
[pdf] (325.24 KB)
[pdf] (325.24 KB) , "System Call Logs with Natural Random Faults: Experimental Design and Application", Silicon Errors in Logic -- System Effects (SELSE), Boston, USA, 2017.
[pdf] (251.78 KB)
[pdf] (251.78 KB) 2016
, "Mining Timed Regular Expressions from System Traces", Proceedings of the 5th International Workshop on Software Mining, Singapore, pp. 3 - 10, 2016.
[paper] (417.1 KB)
[paper] (417.1 KB) 2013
, "RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs", Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE), St. Petersburg, Russia, 2013.