Sebastian Fischmeister

Professor and NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles

Short Biography

Sebastian Fischmeister

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 Professor and NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles 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.

Sebastian Fischmeister is currently an ACM Distinguished Speaker.

Contact Sebastian

Professional Activities

  • Embedded Security in Cars (ESCAR) Conference
    TPC member 2016, 2017
  • IEEE International Symposium on Real-time Computing (ISORC)
    General chair 2017
  • International Conference on Practical Formal Verification for Software Dependability
    TPC member 2017
  • Workshop on Monitoring and Testing Cyber-Physical Systems (MT-CPS)
    TPC member 2017
  • ACM Symposium on Applied Computing
    TPC member 2017
  • International Conference on Embedded Software (EMSOFT)
    TPC co-chair 2011
    TPC member 2016, 2014, 2013, 2010, 2009
    Executive committee 2012-2015
  • IEEE Real-Time Systems Symposium (RTSS)
    TPC chair for D&V track 2014
    TPC member 2016, 2013, 2011, 2009, 2008
    WIP member 2010
  • IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
    TPC member 2016
  • Design, Automation, and Test in Europe (DATE)
    TPC member 2016, 2013, 2012, 2011
  • USENIX Workshop on Cyber Security Experimentation and Test TPC (USENIX CSET)
    TPC member 2016
  • Workshop on Formal Verification for Practicing Engineers TPC member 2016
  • Workshop on Formal Verification for Practicing Engineers (FVPE)
    TPC member 2016
  • ACM Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
    TPC co-chair 2015 TPC member 2013, 2012, 2010
  • International Conference on Runtime Verification (RV)
    General chair 2014
  • International Workshop on Reproducible Research Methodologies and New Publication Models (TRUST)
    TPC member 2014
  • Euromicro Conference on Real-time Systems (ECRTS)
    TPC member 2013
    WIP member 2008
  • IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
    TPC member 2011, 2010, 2009, 2008, 2006
  • IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
    TPC member 2014, 2010, 2009, 2008, 2007
  • IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA 2014)
    TPC member 2014
  • Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT)
    TPC member 2014
  • Workshop on Benchmarking Embedded Systems (BES)
    General co-chair 2013
  • Workshop on Real-time Ethernet (RATE)
    General co-chair 2013
  • Workshop on Adaptive and Reconfigurable Embedded Systems (APRES)
    TPC member 2012
    TPC co-chair 2011, 2010, 2008
  • International Conference on Performance Evaluation (ICPE)
    TPC member 2013
  • IEEE International Conference on Computational Science and Engineering (CSE)
    TPC member 2009
  • IEEE International Conference on Embedded Software and Systems (ICESS)
    TPC member 2012, 2011, 2010
  • Brazilian Workshop on Real-Time Systems (WRT)
    TPC member 2013, 2012, 2011
  • International Colloquium on Theoretical Aspects of Computing (ICTAC)
    TPC member 2011
  • IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS)
    Publicity chair 2011
    TPC member 2009
  • IEEE International Symposium on Advanced Topics on Embedded Systems and Applications (ESA)
    TPC member 2011
  • International Conference on Embedded and Multimedia Computing (EMC)
    TPC member 2010
  • Workshop on Binary Instrumentation and Applications (WBIA)
    TPC member 2010
  • IEEE International Conference on Web Services (ICWS)
    TPC member 2009, 2008, 2007
  • IEEE/IFIP International Conference On Embedded and Ubiquitous Computing (EUC)
    TPC member 2009, 2008
  • International Conference on Computer Science and its Applications (CSA)
    TPC member 2009
  • Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS)
    TPC member 2008
  • ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)
    Review panel 2008
  • IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS)
    TPC member 2008, 2007
  • IEEE International Symposium on OO Real-Time Distributed Computing (ISORC)
    TPC member 2006

Publications with this group

2022

Dunne, M. ., & Fischmeister, S. . (2022). Powertrace-based Fuzzing of CAN Connected Hardware. IEEE International Conference on Cyber Security and Resilience (CSR). Presented at the. Rhodes, Greece: IEEE. https://doi.org/10.1109/CSR54599.2022.9850299

2021

Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2021). What Can We Monitor Over Unreliable Channels?. International Journal on Software Tools for Technology Transfer, 23, 579-600. https://doi.org/10.1007/s10009-021-00625-z

2020

2019

Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2019). Monitorability Over Unreliable Channels. International Conference on Runtime Verification (RV), 256 to 272. Porto, Portugal. https://doi.org/10.1007/978-3-030-32079-9_15
Sucholutsky, I. ., Narayan, A. ., Schonlau, M. ., & Fischmeister, S. . (2019). Deep Learning for System Trace Restoration. International Joint Conference on Neural Networks (IJCNN). Presented at the. Budapest, Hungary.

2018

Kauffman, S. ., Havelund, K. ., Joshi, R. ., & Fischmeister, S. . (2018). Inferring Event Stream Abstractions. Formal Methods in System Design, 29. https://doi.org/10.1007/s10703-018-0317-z

2017

Arafa, P. ., Tchamgoue, G. M., Kashif, H. ., & Fischmeister, S. . (2017). QDIME: QoS-aware Dynamic Binary Instrumentation. IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Presented at the. Banff, Canada.
Joshi, Y. ., Tchamgoue, G. M., & Fischmeister, S. . (2017). Runtime Verification of LTL on Lossy Traces. 32nd ACM Symposium on Applied Computing (SAC), 1379-1386. Marrakech, Morocco. https://doi.org/10.1145/3019612.3019827
Narayan, A. ., Benann, N. ., & Fischmeister, S. . (2017). Mining Specifications using Nested Words. Proceedings of the 6th International Workshop on Software Mining. Presented at the. Urbana-Champaign, USA.
Iegorov, O. ., Torres, R. ., & Fischmeister, S. . (2017). Periodic Task Mining in Embedded System Traces. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 331-340. Pittsburgh, USA. https://doi.org/10.1109/RTAS.2017.5

2016

Blackburn, S. M., Diwan, A. ., Hauswirth, M. ., Sweeney, P. ., Amaral, J. N., Brecht, T. ., Bulej, L. ., Click, C. ., Eeckhout, L. ., Fischmeister, S. ., Frampton, D. ., Hendren, L. ., Hind, M. ., Hosking, A. ., Jones, R. ., Kalibera, T. ., Keynes, N. ., Nystrom, N. ., & Zeller, A. . (2016). The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Transactions on Programming Languages and Systems (TOPLAS), 38, 1-15. https://doi.org/10.1145/2983574

2015

Newsham, Z. ., Ganesh, V. ., & Fischmeister, S. . (2015). Predicting SAT Solver Performance on Heterogeneous Hardware. Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. Austin, USA.
Newsham, Z. ., Lindsay, W. ., Ganesh, V. ., Liang, J. H., Fischmeister, S. ., & Czarnecki, K. . (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)
Kashif, H. ., Thomas, J. ., Patel, H. ., & Fischmeister, S. . (2015). Static Slack-Based Instrumentation of Programs. Proc. Of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA). Presented at the. Luxembourg. https://doi.org/10.1109/ETFA.2015.7301505 (Original work published 2024)

2014

Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2014). Power-efficient Multiple Producer-Consumer. IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), 669-678. Phoenix, USA. https://doi.org/10.1109/IPDPS.2014.75
Oliveira, A. ., Azim, A. ., Fischmeister, S. ., Marau, R. ., & Almeida, L. . (2014). D-RES: Correct Transitive Distributed Service Sharing. Proc. Of the Work-in-Progress Session of the Conference on Emerging Technologies and Factory Automation (ETFA), Work in Progress. Presented at the. Barcelona, Spain.

2013

Bonakdarpour, B. ., Navabpour, S. ., & Fischmeister, S. . (2013). Time-triggered Runtime Verification. Formal Methods in System Design (FMSD), 43, 29-60. https://doi.org/10.1007/s10703-012-0182-0 (Original work published 2013)
Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2024)
Oliveira, A. ., Fischmeister, S. ., Diwan, A. ., Hauswirth, M. ., & Sweeney, P. . (2013). Why You Should Care About Quantile Regression. Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Presented at the. Houston, USA. (Original work published 2024)
Oliveira, A. ., Petkovich, J.-C. ., Reidemeister, T. ., & Fischmeister, S. . (2013). DataMill: Rigorous Performance Evaluation Made Easy. Proc. Of the 4th ACM SPEC International Conference on Performance Engineering (ICPE), 137-149. Prague, Czech Republic. (Original work published 2024)

2012

Navabpour, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2012). Path-aware Time-triggered Runtime Verification. Third International Conference on Runtime Verification (RV), 199-213. Istanbul, Turkey. Retrieved from http://link.springer.com/chapter/10.1007/978-3-642-35632-2_21 (Original work published 2024)
Kashif, H. ., & Fischmeister, S. . (2012). Program Transformation for Time-aware Instrumentation. Proc. Of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), 1-8. Krakow, Poland. https://doi.org/10.1109/ETFA.2012.6489580 (Original work published 2024)
Bonakdarpour, B. ., Thomas, J. ., & Fischmeister, S. . (2012). Time-triggered Program Self-monitoring. Proc. Of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 260-269. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.16

2011

Navabpour, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2011). Software Debugging and Testing using the Abstract Diagnosis Theory. Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 111-120. Chicago, USA. https://doi.org/10.1145/1967677.1967693 (Original work published 2024)
Bonakdarpour, B. ., Navabpour, S. ., & Fischmeister, S. . (2011). Sampling-based Runtime Verification. Proceedings of the 17th International Conference on Formal Methods (FM), 88-102. Limerick, Ireland. https://doi.org/10.1007/978-3-642-21437-0_9 (Original work published 2024)

2010

Fischmeister, S. ., & Azim, A. . (2010). Design Choices for High-Confidence Distributed Real-time Software. Proc. Of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 327-342. Heraclion, Crete, Greece. https://doi.org/10.1007/978-3-642-16561-0_32 (Original work published 2024)
Arney, D. ., Fischmeister, S. ., Lee, I. ., Takashima, Y. ., & Yim, M. . (2010). Model-based Programming of Modular Robots. Proc. of the 13th IEEE International Symposium on Object Component Service-Oriented Real-Time Distributed Computing (ISORC), 66-74. Carmona, Spain. https://doi.org/10.1109/ISORC.2010.16 (Original work published 2024)
Fischmeister, S. ., & Ba, Y. . (2010). Sampling-based Program Execution Monitoring. Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 133-142. Stockholm, Sweden. https://doi.org/10.1145/1755888.1755908 (Original work published 2024)
Carvajal, G. ., & Fischmeister, S. . (2010). A TDMA Ethernet Switch for Dynamic Real-Time Communication. Proc. Of the 18th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), 119-126. Charlotte, United States. Retrieved from http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5474059 (Original work published 2024)

2009

Fischmeister, S. ., & Lam, P. . (2009). On Time-Aware Instrumentation of Programs. Proc. Of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 305-314. San Francisco, USA. https://doi.org/10.1109/RTAS.2009.26 (Original work published 2024)
Gracioli, G. ., & Fischmeister, S. . (2009). Tracing Interrupts in Embedded Software. Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 137-146. Dublin, Ireland. https://doi.org/10.1145/1542452.1542471 (Original work published 2024)

2008

Fischmeister, S. ., & Trausmuth, R. . (2008). A Programmable Arbitration Layer For Adaptive Real-Time Systems. Proc. Of the Intl. Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 27-31. St. Luis, USA. Retrieved from http://www.artist-embedded.org/artist/IMG/pdf/ProceedAPRES08dinA4-final.pdf (Original work published 2024)

2007

2006

Anand, M. ., Fischmeister, S. ., & Lee, I. . (2006). An Analysis Framework for Network-Code Programs. Proc. Of the ACM & IEEE International Conference on Embedded Software (EMSOFT), 122-131. Seoul, South Korea. https://doi.org/10.1145/1176887.1176905 (Original work published 2024)

2005

2004

Menkhaus, G. ., & Fischmeister, S. . (2004). Adaptation for Device-independent Authoring. Developing User Interfaces With XML: Advances on User Interface Description Languages Workshop at Advanced Visual Interface (AVI). Presented at the. Gallipoli, Italy. https://doi.org/10.1.1.2.7282
Coste, E. ., Farcas, C. ., Fischmeister, S. ., & Pree, W. . (2004). Research Directions in Embedded Systems. In EmBase News as Web Portal: Vol. 182 (Vol. 182, pp. 75-93). Austrian Computer Society.

2003

Menkhaus, G. ., & Fischmeister, S. . (2003). Dialog Model Clustering for User Interface Adaptation. Proceedings of the International Conference on Web Engineering. Presented at the. Oviedo, Spain: Springer-Verlag Heidelberg. Retrieved from http://dl.acm.org/citation.cfm?id=1758300 (Original work published 2024)
Koch, K.-M. ., Loge, M. ., Pree, W. ., & Fischmeister, S. . (2003). Embedded Systems Knowledge Base. Proc. Of the 3rd International Conference on Knowledge Management. Presented at the. Graz, Austria: J.UCS Journal of Universal Computer Science. Retrieved from http://i-know.tugraz.at/blog/2003/11/embedded-systems-knowledge-base (Original work published 2024)
Menkhaus, G. ., & Fischmeister, S. . (2003). Evaluation of User Interface Transcoding Systems. Proc. Of the 7th World Multiconference on Systemics, Cybernetics and Informatics. Presented at the. Orlando, Florida, USA. https://doi.org/10.1.1.57.9947 (Original work published 2024)

2002

Fischmeister, S. . (2002). Mobile Software Agents for Location-based Systems. In R. . Kowalczyk, J. . Müller, H. . Tianfield, & R. . Unland (Eds.), Agent Technologies, Infrastructures, Tools, and Applications for E-Services. Springer-Verlag Heidelberg. Retrieved from http://dl.acm.org/citation.cfm?id=1756350

2001

Fischmeister, S. ., Hagleitner, G. ., Pree, W. ., & Pomberger, G. . (2001). Symbolon—-A Novel Concept for Secure E-Commerce. In B. . Schmidt, K. . Stanoevska-Slabeva, & V. . Tschammer (Eds.), Towards the E-Society: E-Commerce, E-Business, and E-Government. Zürich: Kluwer Academic Publishers. Retrieved from http://dl.acm.org/citation.cfm?id=647853.737576

Selected publications outside this group

2002

2000