Sebastian Fischmeister

Associate Professor, Executive Director, WatCAR

Contact InformationSebastian Fischmeister

Phone: 519-888-4567 x33694
Location: E5 4112

Website

Biography Summary

Sebastian Fischmeister is an Associate Professor in the Department of Electrical and Computer Engineering and is cross-appointed in Computer Science at the University of Waterloo.

Prof. 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

Education

  • 2002, Doctorate, Computer Science, University of Salzburg
  • 2000, Master of Applied Science, Computer Science, Vienna University of Technology
  • 2000, Other, Dipl.Ing., Technical University Vienna

Courses*

  • ECE 200A - Electrical and Computer Engineering Practice
    • Taught in 2014
  • SE 499 - Project
    • Taught in 2014
  • ECE 755 - Safety-critical Real-time Embedded Software
    • Taught in 2014
  • SE 350 - Operating Systems
    • Taught in 2016, 2017, 2018
  • ECE 455 - Embedded Software
    • Taught in 2014, 2018
  • ECE 652 - Methods and Principles of Safety-critical Embedded Software
    • Taught in 2018
* Only courses taught in the past 5 years are displayed.

Selected/Recent Publications

  • Salem, Mahmoud and Crowley, Mark and Fischmeister, Sebastian, Inter-Arrival Curves for Multi-Mode and Online Anomaly Detection, Edited by Sebastian Altmeyer, 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
  • Carvajal, Gonzalo and Araneda, Luis and Wolf, Alejandro and Figueroa, Miguel and Fischmeister, Sebastian, Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks, , 2016
  • 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), 14(4), 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
  • Berkovich, Shay and Bonakdarpour, Borzoo and Fischmeister, Sebastian, Runtime verification with minimal intrusion through parallelism, Formal Methods in System Design, 46(3), 2015, 317 - 348
  • 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
  • Carvajal, Gonzalo and Wu, Chun Wah and Fischmeister, Sebastian, Evaluation of communication architectures for switched real-time Ethernet, IEEE transactions on computers, 63(1), 2014, 218 - 229
  • 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, 60(2), 2014, 194 - 205
  • 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
  • Sebastian Fischmeister and Patrick Lam, Time-Aware Instrumentation of Embedded Software, IEEE Transactions on Industrial Informatics, 6(4), 2010, 652 - 663
    Link