Sebastian Fischmeister

Sebastian Fischmeister

Sebastian Fischmeister
Dr.tech. Salzburg University, Austria

Assistant Professor
Davis Center (DC) 2538
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

Office hours: 3:30-4:00F


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 Conference on Embedded Software, EMSOFT'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
  • 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

2010
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), 2010. [paper]
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. [paper]
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. [paper]
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. [paper][talk]
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. [paper]
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 Fransisco, USA, pp. 305--314, 2009. [paper][talk]
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. [paper]
2008
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. [paper]
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. [paper]
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. [paper]
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. [paper]
2007
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. [paper]
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. [paper]
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. [paper]
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. [paper]
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. [paper]
2005
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. [paper]
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. [paper]
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. [paper]
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. [paper]
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. [paper]
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. [paper]
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. [paper]
Fischmeister, S., "Web-Service basierte Software (Web-Services)", Software Engineering, 3rd: Hanser Verlag, pp. 217--237, 2004.
Fischmeister, S., "Embedded Systems Knowledge Base -- Austria and Surrounding Regions", OCG-Schriftenreihe, vol. 182: Austrian Computer Society, pp. 200, 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.
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., 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.
2003
Menkhaus, G., and S. Fischmeister, "Evaluation of User Interface Transcoding Systems", 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, pp. 194--204, July, 2003. [paper]
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. [paper]
Menkhaus, G., and S. Fischmeister, "Dialog Model Clustering for User Interface Adaptation", Web Engineering, Oviedo, Spain, Springer-Verlag Heidelberg, 2003. [paper]
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. [paper]
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. [paper]
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. [paper]
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. [paper]
Fischmeister, S., A Comparison of Software Architectures for Location-Based Systems, : Department of Computer Science, University of Salzburg, 2002.
2001
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. [paper]
2000
Fischmeister, S., "Building Secure Mobile Agents: The Supervisor-Worker Framework", Faculty of Informatics, Vienna, Technical University Vienna, pp. 94, 2000. [paper]
1999
Fischmeister, S., and W. Lugmayr, "The Supervisor–Worker Framework", 6th Annual Conference on Patters Languages of Programming (PLOP), Monticello, Illinois, 1999. [paper]