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'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
2009
Arney, D.,
R. Trausmuth,
S. Fischmeister,
J. M. Goldman, and
I. Lee,
"
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 2009 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]
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.,
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
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.
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]
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.,
"
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. 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.
[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]
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
1999