Sebastian Fischmeister

Sebastian Fischmeister

Sebastian Fischmeister
Dr.tech. Salzburg University, Austria

Assistant Professor
Engineering 5, E5-4112
Department of Electrical and Computer Engineering
University of Waterloo
Waterloo, Ontario N2L 3G1, Canada

Tel: +1-519-888-4567 x 33694
Fax: +1 519 746 3077

sfischme@uwaterloo.ca (gpg)

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

2011
Navabpour, S., C. W. W. Wu, B. Bonakdarpour, and S. Fischmeister, "Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, September, 2011. Abstract  Download: [paper] (433.08 KB)
Bonakdarpour, B., and S. Fischmeister, "Runtime Monitoring of Time-sensitive Systems -- Tutorial Supplement", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, September, 2011. Abstract  Download: RV11-tutorial.pdf (1.28 MB)
Azim, A., and S. Fischmeister, "Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures", Proc. of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Sept, 2011. Abstract  Download: [paper] (304.27 KB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Optimal Instrumentation of Data-flow in Concurrent Data Structures", Proc. of the 15th International Conference On Principles Of Distributed Systems (OPODIS), Toulouse, France, December, 2011. Abstract  Download: [paper] (417.18 KB)
Thomas, J., S. Fischmeister, and D. Kumar, "Lowering Overhead in Sampling-based Execution Monitoring and Tracing", Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), Chicago, USA, 2011. Abstract  Download: [paper] (606.51 KB)
Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Sampling-based Runtime Verification", Proc. of the International Symposium on Formal Methods (FM), Limerick, Ireland, 2011.  Download: [paper] (1.45 MB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "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), Chicago, USA, 2011. Abstract  Download: [paper] (186.14 KB)
2010
Anand, M., S. Fischmeister, Y. Hur, J. Kim, and I. Lee, "Generating Reliable Code from Hybrid-Systems Models", IEEE Transactions on Computers, vol. 59, issue 9, pp. 1281--1294, September, 2010. Abstract  Download: [paper] (1.91 MB)
Fischmeister, S., and A. Azim, "Design Choices for High-Confidence Distributed Real-time Software", Proc. of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Heraclion, Crete, October, 2010.  Download: [paper] (374.08 KB)
Potop-Butucaru, D., A. Azim, and S. Fischmeister, "Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures", Proc. of the International Conference on Embedded Software (EMSOFT), Scottsdale, Arizona, USA, October, 2010. Abstract  Download: [paper] (563.09 KB)
Arney, D., S. Fischmeister, I. Lee, Y. Takashima, and M. Yim, "Model-based Programming of Modular Robots", Proc. of the 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC), Carmona, Spain, May, 2010. Abstract  Download: [paper] (912.05 KB)
Carvajal, G., and S. Fischmeister, "A TDMA Ethernet Switch for Dynamic Real-Time Communication", Proc. of the 18th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), Charlotte, United States, pp. 119-126, May, 2010. Abstract  Download: [paper] (296.7 KB)
Fischmeister, S., and P. Lam, "Time-Aware Instrumentation of Embedded Software", IEEE Transactions on Industrial Informatics, vol. P, issue 99, pp. 1551–3203, August, 2010. Abstract  Download: [paper] (1.2 MB)
Fischmeister, S., and Y. Ba, "Sampling-based Program Execution Monitoring", Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 133--142, 2010. Abstract  Download: [paper] (289.35 KB)
2009
Fischmeister, S., R. Trausmuth, and I. Lee, "Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet", IEEE Transactions on Industrial Informatics, vol. 5, issue 3, pp. 325--337, 2009. Abstract  Download: [paper] (1.23 MB)
Fischmeister, S., and P. Lam, "On Time-Aware Instrumentation of Programs", Proc. of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, USA, pp. 305--314, 2009. Abstract  Download: [talk] (878.1 KB)
Arney, D., S. Fischmeister, J. M. Goldman, I. Lee, and R. Trausmuth, "Plug-and-Play for Medical Devices: Experiences from a Case Study", Biomedical Instrumentation & Technology, vol. 43, issue 4, pp. 313--317, 2009.  Download: [paper] (530.32 KB)
Anand, M., S. Fischmeister, and I. Lee, "Resource Scopes: Toward Language Support for Compositional Determinism", Proc. of the 12th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC), Tokyo, Japan, pp. 295--304, 2009. Abstract  Download: [paper] (224.03 KB)
Weiss, G., S. Fischmeister, M. Anand, and R. Alur, "Specification and Analysis of Network Resource Requirements of Control Systems", Proc. of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC), San Fransisco, USA, pp. 381--395, 2009. Abstract  Download: [paper] (252.55 KB)
Gracioli, G., and S. Fischmeister, "Tracing Interrupts in Embedded Software", Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Dublin, Ireland, pp. 137--146, 2009. Abstract  Download: [paper] (335.83 KB); [talk] (1.14 MB)
2008
Anand, M., A. Easwaran, S. Fischmeister, and I. Lee, "Compositional Feasibility Analysis of Conditional Real-Time Task Models", Proc. of the IEEE International Symposium on Object/Component/Service-oriented Real-Time Computing (ISORC), Orlando, USA, pp. 391--398, 2008. Abstract  Download: [paper] (742.76 KB)
Anand, M., J. Kim, S. Fischmeister, and I. Lee, "Generating Sound and Resource-Aware Code from Hybrid System Models", Model-Driven Development of Reliable Automotive Services, vol. 4922, San Diego, USA, Springer, pp. 48--66, 2008.  Download: [paper] (277.46 KB)
Fischmeister, S., I. Lee, and R. Trausmuth, "Hardware Acceleration for Verifiable, Adaptive Real-Time Communication", Proc. of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany, pp. 1425--1432, 2008. Abstract  Download: [paper] (386.91 KB)
Fischmeister, S., and R. Trausmuth, "A Programmable Arbitration Layer For Adaptive Real-Time Systems", Proc. of the Intl. Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), St. Luis, USA, pp. 27--31, 2008. Abstract  Download: [paper] (728.47 KB)
2007
Anand, M., S. Fischmeister, and I. Lee, "Composition Techniques for Tree Communication Schedules", Proc. of the 19th Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, pp. 235--246, 2007. Abstract  Download: [paper] (698.16 KB)
Almeida, L., M. Anand, S. Fischmeister, and I. Lee, "A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems", Proc. of the 7th Annual ACM Conference on Embedded Software (EMSOFT), Salzburg, Austria, pp. 65--75, 2007. Abstract  Download: [paper] (302.29 KB)
Fischmeister, S., and I. Lee, "Temporal Control in Real-Time Systems: Languages and Systems", Handbook on Real-Time Systems: CRC Press, pp. 10-1 to 10-18, 2007.
Fischmeister, S., O. Sokolsky, and I. Lee, "A Verifiable Language for Programming Communication Schedules", IEEE Transactions on Computers, vol. 56, issue 11, no. 11, pp. 1505--1519, 2007. Abstract  Download: [paper] (1.39 MB)
2006
Anand, M., S. Fischmeister, and I. Lee, "An Analysis Framework for Network-Code Programs", Proc. of the 6th Annual ACM Conference on Embedded Software (EMSOFT), Seoul, South Korea, pp. 122--131, 2006. Abstract  Download: [paper] (494.91 KB)
Fischmeister, S., O. Sokolsky, and I. Lee, "Network-Code Machine: Programmable Real-Time Communication Schedules", Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, USA, pp. 311--324, 2006. Abstract  Download: [paper] (232.2 KB)
2005
Anand, M., S. Fischmeister, J. Kim, and I. Lee, "Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems", Proc. of the ACM Conference on Embedded Software (EMSOFT), New York, USA, pp. 210--213, 2005. Abstract  Download: [paper] (320.51 KB)
Fischmeister, S., "Multi-Dimensional Schedules for Media-Access Control in Time-Triggered Communication", Proc. of the IEEE Symposium on Computers and Communications (ISCC), La Manga del Mar Menor, Cartagena, SPAIN, IEEE Press, pp. 664--670, 2005. Abstract  Download: [paper] (709.34 KB)
Fischmeister, S., and K. Winkler, "Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime", Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), Las Palmas, Spain, pp. 106--114, 2005. Abstract  Download: [paper] (633.56 KB)
Menkhaus, G., S. Fischmeister, M. Holzmann, and C. Farcas, "Towards Efficient Use of Shared Communication Media in the Timed Model", Proc. of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, USA, pp. 342--351, 2005. Abstract  Download: [paper] (1.14 MB)
2004
Menkhaus, G., and S. Fischmeister, "Adaptation for Device-independent Authoring", {Developing User Interfaces with XML: Advances on User Interface Description Languages Workshop at Advanced Visual Interface (AVI)}, Gallipoli, Italy, 2004. Abstract  Download: [paper] (342.01 KB)
Birke, B., K. - M. Koch, S. Fischmeister, H. Hafner, and D. Karlsson, "EmBase: Strength, Weakness, Opportunities, and Threats Analysis", Embedded Systems Knowledge Base – Austria and Surrounding Regions, vol. 182: Austrian Computer Society, pp. 61--75, 2004.
Fischmeister, S., "Embedded Systems Knowledge Base -- Austria and Surrounding Regions", OCG-Schriftenreihe, vol. 182: Austrian Computer Society, pp. 200, 2004.
Fischmeister, S., and W. Pree, "Research Directions in Embedded Systems", Embedded Systems Knowledge Base -- Austria and Surrounding Regions, vol. 182: Austrian Computer Society, pp. 33--47, 2004.
Coste, E., C. Farcas, S. Fischmeister, and W. Pree, "Research Directions in Embedded Systems", EmBase News as Web Portal, vol. 182: Austrian Computer Society, pp. 75--93, 2004.
Fischmeister, S., and G. Menkhaus, "Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model", 23rd International Digital Avionics Systems Conference (DASC): IEEE Press, pp. 9.A.4-1--11, 2004. Abstract  Download: [paper] (470.43 KB)
Menkhaus, G., M. Holzmann, and S. Fischmeister, "Time-triggered Communication for Distributed Control Applications in a Timed Computation Model", 23rd International Digital Avionics Systems Conference (DASC), Salt Lake City, USA, IEEE Press, pp. 9.B.2.1--12, 2004. Abstract  Download: [paper] (624.19 KB)
Fischmeister, S., "Web-Service basierte Software (Web-Services)", Software Engineering, 3rd: Hanser Verlag, pp. 217--237, 2004.
2003
Menkhaus, G., and S. Fischmeister, "Evaluation of User Interface Transcoding Systems", Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, pp. 194--204, July, 2003. Abstract  Download: [paper] (154.01 KB)
Menkhaus, G., and S. Fischmeister, "Dialog Model Clustering for User Interface Adaptation", Web Engineering, Oviedo, Spain, Springer-Verlag Heidelberg, 2003. Abstract  Download: [paper] (543.04 KB)
Koch, K. - M., M. Loge, W. Pree, and S. Fischmeister, "Embedded Systems Knowledge Base", Proc. of the 3rd International Conference on Knowledge Management, Graz, Austria, J.UCS Journal of Universal Computer Science, 2003. Abstract  Download: [paper] (278.14 KB)
Fischmeister, S., G. Menkhaus, and A. Stumpfl, "Location-Detection Strategies in Pervasive Computing Environments", Proc. of the IEEE Pervasive Computing 2003 (PERCOM): IEEE Press, pp. 273--280, 2003. Abstract  Download: [paper] (806.44 KB)
2002
Fischmeister, S., "Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation", Department of Computer Science, Salzburg, University of Salzburg, pp. 146, 11/2002. Abstract  Download: [paper] (13.72 MB)
Fischmeister, S., A Comparison of Software Architectures for Location-Based Systems, : Department of Computer Science, University of Salzburg, 2002.
Fischmeister, S., G. Hagleitner, and W. Pree, "Hermes–-A Lean M-Commerce Software Platform Utilizing Electronic Signatures", Proc. of the 35th Hawaiian Conference on System Sciences (HICSS): IEEE Computer Society, pp. 4034--4041, 2002. Abstract  Download: [paper] (291.4 KB)
Fischmeister, S., "Mobile Software Agents for Location-based Systems", Agent Technologies, Infrastructures, Tools, and Applications for E-Services, no. 2592: Springer-Verlag Heidelberg, pp. 226--239, 2002. Abstract  Download: [paper] (1.02 MB)
Fischmeister, S., G. Menkhaus, and W. Pree, "MUSA-Shadow: Concepts, Implementation, and Sample Applications; A Location-Based Service Supporting Multiple Devices", Proc. of the TOOLS Pacific, Sydney, Australia, Australian Computer Society Press, 2002. Abstract  Download: [paper] (449.78 KB)
2001
Fischmeister, S., G. Vigna, and R. Kemmerer, "Evaluating the Security Of Three Java-Based Mobile Agent Systems", Mobile Agents, vol. 2240, pp. 31--41, 2001. Abstract  Download: [paper] (191.96 KB)
Fischmeister, S., G. Hagleitner, W. Pree, and G. Pomberger, "Symbolon–-A Novel Concept for Secure E-Commerce", Towards the E-Society: E-Commerce, E-Business, and E-Government, Zürich, Kluwer Academic Publishers, pp. 603--617, 2001. Abstract  Download: [paper] (178.2 KB)
2000
Fischmeister, S., "Building Secure Mobile Agents: The Supervisor-Worker Framework", Faculty of Informatics, Vienna, Technical University Vienna, pp. 94, 2000. Abstract  Download: [paper] (440.76 KB)
1999
Fischmeister, S., and W. Lugmayr, "The Supervisor–Worker Framework", 6th Annual Conference on Patters Languages of Programming (PLOP), Monticello, Illinois, 1999. Abstract  Download: [paper] (441.09 KB)