![]() |
Sebastian Fischmeister Assistant Professor Tel: +1-519-888-4567 x 33694 |
Short 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 for young, excellent researchers in 2005. He subsequently worked at the University of Pennsylvania, USA, as Post Graduate Research Associate until 2008. Sebastian Fischmeister is currently Assistant Professor at the Department of Electrical and Computer Engineering at the University of Waterloo, Canada, and Adjunct Assistant Professor at the Department of Computer and Information Science at the University of Pennsylvania.
Sebastian Fischmeister performs systems research at the intersection of software technology, distributed systems, and formal methods. His preferred application area are distributed embedded real-time systems in the domain of automotive systems 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. He is now working on the theory and application of state-based schedules for adaptive systems and a debugging framework for time-sensitive systems. A slightly modified version of his real-time communication framework is currently used for the plug-and-play demonstration of medical devices and to promote an upcoming interoperability standard in this domain.
Schedule
Professional Activities
- International Colloquium on Theoretical Aspects of Computing, ICTAC'11, PC member
- 11th International Conference on Embedded Software, EMSOFT'11, PC co-chair
- 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'11, PC member
- 10th International Conference on Embedded Software, EMSOFT'10, PC member
- Workshop on Binary Instrumentation and Applications, WBIA'10, PC member
- 5th International Conference on Embedded and Multimedia Computing, EMC'10, PC member
- ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES'10, PC member
- 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'10, PC member
- 7th IEEE International Conferences on Embedded Software and Systems, ICESS'10, PC member
- 2st Workshop on Adaptive and Reconfigurable Embedded Systems, APRES'09, Co-Chair
- 9th International Conference on Embedded Software, EMSOFT'09, PC member
- 6th IEEE International Conference on Web Services, ICWS'09, PC member
- 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'09, PC member
- 12th IEEE International Conference on Computational Science and Engineering, CSE'09, PC member
- 30th IEEE Real-Time Systems Symposium, RTSS'09, PC Member
- IEEE/IFIP Intl. Conference On Embedded and Ubiquitous Computing, EUC'09, PC Member
- 14th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'09, PC Member
- 2nd International Conference on Computer Science and its Applications, CSA'09, PC member
- 2nd International Workshop on Cyber-Physical Systems, WCPS'09, PC member
- 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, CRTS'08, PC member
- ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems, MODELS'08, Expert Reviewer Panel
- 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'09, PC member
- 29th IEEE Real-Time Systems Symposium, RTSS'08, PC Member
- IEEE/IFIP Intl. Conference On Embedded and Ubiquitous Computing, EUC'08, PC Member
- ECRTS 2008 Work-In-Progress, PC Member
- 6th IFIP Workshop on Software Technologies for Future Embedded \& Ubiquitous Systems, SEUS'08, PC member
- 5th IEEE International Conference on Web Services, ICWS'08, PC member
- 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'08, PC Member
- 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'08, PC Member
- 1st Workshop on Adaptive and Reconfigurable Embedded Systems, APRES'08, Co-Chair
- 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'08, PC member
- 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'07, PC member
- 4th IEEE International Conference on Web Services, ICWS'07, PC member
- 5th IFIP Workshop on Software Technologies for Future Embedded \& Ubiquitous Systems, SEUS'07, PC member
- IEEE International Symposium on OO Real-Time Distributed Computing, ISORC'06, PC member
- 12th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS'06, PC member
Publications
2012
2011
- Sampling-based Runtime Verification (FM'11)
- Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures (ETFA'11)
- Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification (RV'11)
- Optimal Instrumentation of Data-flow in Concurrent Data Structures (OPODIS'11)
- Runtime Monitoring of Time-sensitive Systems -- Tutorial Supplement (RV'11)
- Lowering Overhead in Sampling-based Execution Monitoring and Tracing (LCTES'11)
2010
- Model-based Programming of Modular Robots (ISORC'10)
- Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures (EMSOFT'10)
- Design Choices for High-Confidence Distributed Real-time Software (ISoLA'10)
- Generating Reliable Code from Hybrid-Systems Models (IEEE'10)
- A TDMA Ethernet Switch for Dynamic Real-Time Communication (FCCM'10)
- Sampling-based Program Execution Monitoring (LCTES'10)
2009
- Tracing Interrupts in Embedded Software (LCTES'09)
- Resource Scopes: Toward Language Support for Compositional Determinism (ISORC'09)
- On Time-Aware Instrumentation of Programs (RTAS'09)
- Specification and Analysis of Network Resource Requirements of Control Systems (HSCC'09)
- Plug-and-Play for Medical Devices: Experiences from a Case Study (Journ'09)
- Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet (IEEE'09)
2008
- Generating Sound and Resource-Aware Code from Hybrid System Models (MDDRAS'08)
- Compositional Feasibility Analysis of Conditional Real-Time Task Models (ISORC'08)
- A Programmable Arbitration Layer For Adaptive Real-Time Systems (APRES'08)
- Hardware Acceleration for Verifiable, Adaptive Real-Time Communication (ETFA'09)
2006
2005
- Towards Efficient Use of Shared Communication Media in the Timed Model (RTAS'05)
- Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime (ECRTS'05)
- Multi-Dimensional Schedules for Media-Access Control in Time-Triggered Communication (ISCC'05)
2004
- Web-Service basierte Software (Web-Services) (SE'04)
- Time-triggered Communication for Distributed Control Applications in a Timed Computation Model (DASC'04)
- Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model (DASC'04)
- Research Directions in Embedded Systems (KB'04)
- Research Directions in Embedded Systems (KB'04)
- EmBase: Strength, Weakness, Opportunities, and Threats Analysis (KB'04)
- Adaptation for Device-independent Authoring (AVI'04)
2003
- Middleware fuer eingebettete Systeme (Middleware for Embedded Systems) (NOEO'03)
- Location-Detection Strategies in Pervasive Computing Environments (PERCOM'03)
- Embedded Systems Knowledge Base (KB'03)
- Dialog Model Clustering for User Interface Adaptation (KB'03)
- Evaluation of User Interface Transcoding Systems (WMSCI'03)
2002
- MUSA-Shadow: Concepts, Implementation, and Sample Applications; A Location-Based Service Supporting Multiple Devices (TP'02)
- Mobile Software Agents for Location-based Systems (ATITAES'02)
- Hermes–-A Lean M-Commerce Software Platform Utilizing Electronic Signatures (HICSS'02)
- A Comparison of Software Architectures for Location-Based Systems (KB'02)
- Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation (Thesis'02)
2000
1999
- The Supervisor–Worker Framework (PLOP'01)
