Global

Environmental Sciences Experts

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.

Global Experts from Canada

Global Experts in Subject

Share This Profile
Recent Expert Updates
  • Matthew L Stone
    Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.   Matthew
    Dr. Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone Matthew
    Dr. L Stone Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone
    Dr. L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr. Matthew L Stone
    Dr. Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  R Sameh
    Dr. R Sameh
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   R Ismail,
    Dr. R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Sameh R Ismail,
    Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   Sameh R Ismail,
    Dr. Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   William
    Dr. William
    pediatrics
    Maimonides Medical Center
    United States of America