Sebastian Fischmeister
Biography
Sebastian Fischmeister is a Professor in the Department of Electrical and Computer Engineering and cross-appointed to the Cheriton School of Computer Science at the University of Waterloo.
Professor 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.
Professor 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.
Research Interests
- Real-time systems, Embedded systems, Software technology, Embedded networking, Computer engineering, Software engineering, Autonomous vehicles, Autonomous and connected car, Big data/analytics, Sensors and devices, Safety-critical Systems, Automotive, Operational Artificial Intelligence, Robotics, Cybersecurity, Infrastructure integrity, Network security, Operational security,
Scholarly Research
* Technical Program Co-Chair of the International Conference on Embedded Software (EMSOFT) 2011
* Nominated member for 46 Technical Program Committees of conferences since 2008
* Member of the Executive Committee of EMSOFT since 2011
* Co-founder of the Workshop on Adaptive and Reconfigurable Embedded Systems (APRES)
Education
- 2002, Doctorate Computer Science, University of Salzburg, Austria
- 2000, Dipl.Ing., Technical University Vienna, Austria
- 2000, Master of Applied Science Computer Science, Vienna University of Technology, Austria
Awards
- 2005 APART [Austrian Programme for Advanced Research and Technology]
- 2009 Best in Research Forum at LCTES'09
Teaching*
- ECE 455 - Embedded Software
- Taught in 2019, 2020
- ECE 652 - Methods and Principles of Safety-critical Embedded Software
- Taught in 2019, 2020
- SE 350 - Operating Systems
- Taught in 2024
* Only courses taught in the past 5 years are displayed.
Selected/Recent Publications
- Carvajal, Gonzalo and Araneda, Luis and Wolf, Alejandro and Figueroa, Miguel and Fischmeister, Sebastian, Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks, , , 2016
- Salem, Mahmoud and Crowley, Mark and Fischmeister, Sebastian, Inter-Arrival Curves for Multi-Mode and Online Anomaly Detection, Edited by Sebastian Altmeyer, 16, 2016
- Blackburn, Stephen M and Diwan, Amer and Hauswirth, Mattias and Sweeney, Peter F and Amaral, Jose Nelson and Brecht, Tim and Bulej, Lubomr and Click, Cliff and Eeckhout, Lieven and Fischmeister, Sebastian and others, The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations, Transactions on Programming Languages and Systems (TOPLAS), , 2016
- Berkovich, Shay and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Runtime verification with minimal intrusion through parallelism, Formal Methods in System Design, 317, 2015
- Petkovich, JC and Oliveira, A and Zhang, Y and Reidemeister, T and Fischmeister, S, DataMill: a distributed heterogeneous infrastructure forrobust experimentation, Software: Practice and Experience, , 2015
- Medhat, Ramy and Bonakdarpour, Borzoo and Kumar, Deepak and Fischmeister, Sebastian, Runtime monitoring of cyber-physical systems under timing and memory constraints, ACM Transactions on Embedded Computing Systems (TECS), 79, 2015
- Biedl, Therese and Fischmeister, Sebastian and Kumar, Neeraj, DAG-width of Control Flow Graphs with Applications to Model Checking, arXiv preprint arXiv:1503.00793, , 2015
- Medhat, Ramy and Joshi, Yogi and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Accelerated runtime verification of LTL specifications with counting semantics, arXiv preprint arXiv:1411.2239, , 2014
- Carvajal, Gonzalo and Wu, Chun Wah and Fischmeister, Sebastian, Evaluation of communication architectures for switched real-time Ethernet, IEEE transactions on computers, 218, 2014
- Chen, Xi and Azim, Akramul and Liu, Xue and Fischmeister, Sebastian and Ma, Jun, DTS: dynamic TDMA scheduling for networked control systems, Journal of Systems Architecture, 194, 2014
In The News
Graduate studies
- Currently considering applications from graduate students. A completed online application is required for admission; start the application process now.