Sebastian Fischmeister
Associate Professor
ELECTRICAL AND COMPUTER ENGINEERING
University of Waterloo
Canada
Biography
Sebastian Fischmeister received the Dipl.-Ing. degree in Computer Science at the Vienna University of Technology, Austria, in March 2000, and his Ph.D. degree in Computer Science at the University of Salzburg, Austria in December 2002. He continued working at the University of Salzburg as researcher and lecturer and was awarded the Austrian APART stipend in 2005. He subsequently worked at the University of Pennsylvania, USA, as Post Graduate Research Associate until 2008. Sebastian Fischmeister is currently Associate Professor at the Department of Electrical and Computer Engineering at the University of Waterloo, Canada. Sebastian Fischmeister performs systems research at the intersection of software technology, distributed systems, and formal methods. His preferred application area includes distributed real-time embedded systems in the domain of automotive systems, avionics, and medical devices. Key highlights of his research include a framework for scalable location-based pervasive computing systems and tree communication schedules for verifiable but flexible real-time communication. A slightly modified version of his real-time communication framework has been used for the plug-and-play demonstration of medical devices and to promote the ASTM F29.21 standard. He is now working on (a) information extraction of time-sensitive systems, (b) using data analytics of extracted information for system validation and security, (c) runtime monitoring of safety-critical systems, and (d) reliable and robust performance evaluation of embedded systems. Sebastian Fischmeister has received the APART stipend in 2005, the Ontario Early Researcher Award (ERA) in 2014, and throughout the years several best paper and tool awards.
Research Interest
Embedded Software Real-time Systems Safety-critical Systems
Publications
-
Fischmeister S, Vigna G, Kemmerer RA. Evaluating the security of three Java-based mobile agent systems. InInternational Conference on Mobile Agents 2001 Dec 2 (pp. 31-41). Springer, Berlin, Heidelberg.
-
Arney D, Fischmeister S, Goldman JM, Lee I, Trausmuth R. Plug-and-play for medical devices: Experiences from a case study. Biomedical Instrumentation & Technology. 2009 Jul;43(4):313-7.
-
Bonakdarpour B, Navabpour S, Fischmeister S. Sampling-based runtime verification. InInternational Symposium on Formal Methods 2011 Jun 20 (pp. 88-102). Springer, Berlin, Heidelberg.