You are here

Sebastian Fischmeister

Associate Professor

Short Biography

Sebastian FischmeisterSebastian 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 currently Associate Professor 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.

Contact Sebastian

Professional Activities

  • 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
  • Embedded Security in Cars (ESCAR)
    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
Affiliation: 
University of Waterloo

Schedule

Publications with this group

2016

Salem, M., M. Crowley, and S. Fischmeister, "Anomaly Detection Using Inter-Arrival Curves for Real-time Systems", International Euromicro Conference on Real-Time Systems (ECRTS), Toulouse, France, 2016. PDF icon [pdf] (2.88 MB)
Moreno, C., S. Kauffman, and S. Fischmeister, "Efficient Program Tracing and Monitoring Through Power Consumption -- With A Little Help From The Compiler", Proc. of Design, Automation, and Test (DATE), Dresden, Germany, 2016. PDF icon [pdf] (178.75 KB)
Carvajal, G., L. Araneda, A. Wolf, M. Figueroa, and S. Fischmeister, "Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks", IEEE Transactions on Industrial Informatics, vol. PP, issue 99, 2016.
Cutulenco, G., Y. Joshi, A. Narayan, and S. Fischmeister, "Mining Timed Regular Expressions from System Traces", Proceedings of the 5th International Workshop on Software Mining, Singapore, pp. 3 - 10, 2016. PDF icon [paper] (417.1 KB)
Moreno, C., and S. Fischmeister, "Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace", Proc. of the International Conference on Runtime Verification (RV), Madrid, Spain, 2016. PDF icon [pdf] (795.35 KB)PDF icon [Appendices] (61.96 KB)
Kauffman, S., C. Moreno, and S. Fischmeister, "Static Transformation of Power Consumption for Software Attestation", IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, South Korea, 2016. PDF icon [paper] (366.59 KB)

2015

Medhat, R., R. S., B. Bonakdarpour, and S. Fischmeister, "A Framework for Mining Hybrid Automata from Input/Output Traces", International Conference on Embedded Software (EMSOFT), 2015. PDF icon [paper] (1.77 MB)
Johnson, T. T., R. Gannamaraju, and S. Fischmeister, "A Survey of Electrical and Electronic (E/E) Notifications for Motor Vehicles", 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV), Gothenburg, Sweden, pp. 1--15, 2015. PDF icon [pdf] (407.38 KB)
Moreno, C., A. M. Hasan, and S. Fischmeister, "Exp-HE: A Family of Fast Exponentiation Algorithms Resistant to SPA, Fault, and Combined Attacks", International Conference on Embedded Software (EMSOFT), 2015. PDF icon [paper] (776.23 KB)
Azim, A., R. Pellizzoni, and S. Fischmeister, "Generation of Communication Schedules Using Component Interfaces", Proc. of the International Conference on Emerging Technologies and Factory Automation (ETFA), Luxembourg, 2015. PDF icon [pdf] (331.37 KB)
Denil, J., H. Kashif, P. Arafa, H. Vangheluwe, and S. Fischmeister, "Instrumentation and Preservation of Extra-functional Properties of Simulink Models", Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, Alexandria, USA, 2015.
Ketata, A., C. Moreno, S. Fischmeister, J. Liang, and K. Czarnecki, "Performance Prediction upon Toolchain Migration in Model-Based Software", International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, Canada, pp. 302 - 311, 2015. PDF icon [pdf] (198.56 KB)
Newsham, Z., VI. Ganesh, and S. Fischmeister, "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), Austin, USA, 2015. PDF icon [pdf] (484.14 KB)
Medhat, R., B. Bonakdarpour, D. Kumar, and S. Fischmeister, "Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints", ACM Transactions on Embedded Computing Systems (TECS), vol. 14, issue 4, pp. 79, 2015.
Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "Runtime Verification with Minimal Intrusion Through Parallelism", Formal Methods in System Design, pp. 1-32, 2015.
Newsham, Z., W. Lindsay, VI. Ganesh, J. Hui Liang, S. Fischmeister, and K. Czarnecki, "SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers", International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, USA, Springer, 62 - 70, 2015. PDF icon [pdf] (2.17 MB)
Kashif, H., J. Thomas, H. Patel, and S. Fischmeister, "Static Slack-Based Instrumentation of Programs", Proc. of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), Luxembourg, September, 2015. PDF icon [pdf] (603.77 KB)

2014

Oliveira, A., A. Azim, S. Fischmeister, R. Marau, and L. Almeida, "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, Barcelona, Spain, 2014. PDF icon [paper] (254.14 KB)
Chaudhary, S., S. Fischmeister, and L. Tan, "em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications", SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), New York, NY, USA, ACM, pp. 105--114, 2014. PDF icon [paper] (237.57 KB)
Oliveira, A., J-C. Petkovich, and S. Fischmeister, "How Much Does Memory Layout Impact Performance? A Wide Study", Proceedings of the International Workshop on Reproducible Research Methodologies (REPRODUCE), Orlando, USA, pp. 23–28, February, 2014. PDF icon [paper] (124.96 KB)
Newsham, Z., VI. Ganesh, S. Fischmeister, G. Audemard, and L. Simon, "Impact of Community Structure on SAT Solver Performance", 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), Vienna, Austria, pp. 252-268, 2014. PDF icon [paper] (1.66 MB)

(best student paper award)

Medhat, R., B. Bonakdarpour, and S. Fischmeister, "Power-efficient Multiple Producer-Consumer", IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), Phoenix, USA, pp. 669--678, 2014. PDF icon [paper] (680.49 KB)
Medhat, R., D. Kumar, B. Bonakdarpour, and S. Fischmeister, "Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems", ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 115--126, 2014. PDF icon [paper] (2.36 MB)
Zadeh, M. Mehdi Zein, M. Salem, N. Kumar, G. Cutulenco, and S. Fischmeister, "SiPTA: Signal Processing for Trace-based Anomaly Detection", Proc. of the International Conference on Embedded Software (EMSOFT), New Dehli, India, pp. 1--6, Oct., 2014. PDF icon [paper] (357.43 KB)
Rehman, A., A. Oliveira, M. Tripunitara, and S. Fischmeister, "The use of mTags for mandatory security: a case study", Software: Practice and Experience, vol. 44, pp. 1511--1523, 2014. PDF icon [paper] (226.88 KB)

2013

Anand, M., S. Fischmeister, and I. Lee, "A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-time Systems", ACM Transactions on Embedded Computing Systems, vol. 13, issue 1, pp. 1 -- 37, Aug, 2013.
Carvajal, G., and S. Fischmeister, "An Open Platform for Mixed-Criticality Real-time Ethernet", Proc. of the Conference on Design, Automation and Test in Europe (DATE), Grenoble, France, pp. 153-156, 2013. PDF icon [paper] (425.47 KB)
Carvajal, G., M. Figueroa, R. Trausmuth, and S. Fischmeister, "Atacama: An Open FPGA-based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks", Proc. of the 21st IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), pp. 121--128, April, 2013. PDF icon [paper] (1.26 MB)
Oliveira, A., J-C. Petkovich, T. Reidemeister, and S. Fischmeister, "DataMill: Rigorous Performance Evaluation Made Easy", Proc. of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE), Prague, Czech Republic, pp. 137--149, April, 2013. PDF icon [paper] (758.5 KB)
Arafa, P., H. Kashif, and S. Fischmeister, "DIME: Time-aware Dynamic Binary Instrumentation Using Rate-based Resource Allocation", Proc. of the 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, Sept, 2013. PDF icon [paper] (320.59 KB)
Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "GPU-based Runtime Verification", IEEE International Parallel & Distributed Processing Symposium (IPDPS), May, 2013. PDF icon [paper] (388.53 KB)
Gracioli, G.., A.. A. Fröhlich, R.. Pellizzoni, and S.. Fischmeister, "Implementation and Evaluation of Global and Partitioned Scheduling in a Real-Time OS", Real-Time Systems, pp. 1-46, 2013. PDF icon [paper] (791.42 KB)
Kashif, H., P. Arafa, and S. Fischmeister, "INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties", Proc. of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, August, 2013. PDF icon [paper] (341.77 KB)
Moreno, C., S. Fischmeister, and A. M. Hasan, "Non-intrusive Program Tracing and Debugging of Deployed Embedded Systems Through Side-channel Analysis", Proc. of the 14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), New York, USA, ACM, pp. 77-88, 2013. PDF icon [pdf] (742.96 KB)

(best paper award)

Kashif, H., S. Gholamian, R. Pellizzoni, H. D. Patel, and S. Fischmeister, "ORTAP: An Offset-based Response Time Analysis for a Pipelined Communication Resource Model", Proc. of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, pp. 247--258, April, 2013. PDF icon [paper] (1.91 MB)
Wu, W., D. Kumar, B. Bonakdarpour, and S. Fischmeister, "Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques", Proc. of the International Conference on Runtime Verification (RV), Sept, 2013. PDF icon [paper] (1.18 MB)
Navabpour, S., Y. Joshi, C. Wah Wallace, S. Berkovich, R. Medhat, B. Bonakdarpour, and S. Fischmeister, "RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs", Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE), St. Petersburg, Russia, 2013.
Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Time-triggered Runtime Verification", Formal Methods in System Design (FMSD), vol. 43, issue 1, pp. 29--60, 2013. PDF icon [paper] (2.95 MB)
Oliveira, A., S. Fischmeister, A. Diwan, M. Hauswirth, and P. Sweeney, "Why You Should Care About Quantile Regression", Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Houston, USA, March, 2013. PDF icon [paper] (692.97 KB)

2012

Chen, X., A. Azim, X. Liu, and S. Fischmeister, "CSS: Conditional State-Based Scheduling for Networked Control Systems", International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) , Seoul, Korea, pp. 78-87, 2012. PDF icon [paper] (470.2 KB)
Carvajal, G., C. W. Wallace Wu, and S. Fischmeister, "Evaluation of Communication Architectures for Switched Real-time Ethernet", IEEE Transactions on Computers, 2012.
Oliveira, A., A. Saif Ur Rehman, and S. Fischmeister, "mTags: Augmenting Microkernel Messages with Lightweight Metadata", ACM Operating Systems Review, vol. 46, issue 2, pp. 67-79, 2012. PDF icon [paper] (915.6 KB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Path-aware Time-triggered Runtime Verification", Third International Conference on Runtime Verification (RV), Istanbul, Turkey, pp. 199-213, September, 2012. PDF icon [paper] (509.83 KB)
Kashif, H., and S. Fischmeister, "Program Transformation for Time-aware Instrumentation", Proc. of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), Krakow, Poland, pp. 1-8, September, 2012. PDF icon [paper] (409.92 KB)
Anand, M., S. Fischmeister, I. Lee, and L. T. X. Phan, "State-based scheduling with tree schedules: analysis and evaluation", Real-Time Systems, vol. 48, issue 4, pp. 430 - 462, 2012. PDF icon [paper] (1.24 MB)
Bonakdarpour, B., J. Thomas, and S. Fischmeister, "Time-triggered Program Self-monitoring", Proc. of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, pp. 260-269, 2012. PDF icon [paper] (377.34 KB)
Gracioli, G., and S. Fischmeister, "Tracing and Recording Interrupts in Embedded Software", Journal of Systems Architecture, vol. 58, issue 9, pp. 372-385, Oct, 2012.
Kashif, H., H. D. Patel, and S. Fischmeister, "Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs", Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), Sydney, Australia, pp. 499-504, February, 2012. PDF icon [paper] (356.32 KB)

2011

Navabpour, S., C. Wah Wallac 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, pp. 208-222, September, 2011. PDF icon [paper] (433.08 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, pp. 101-110, 2011. PDF icon [paper] (567.34 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, pp. 497-512, December, 2011. PDF icon [paper] (417.18 KB)
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), Toulouse, France, pp. 1-9, September, 2011. PDF icon [paper] (304.27 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, 2011. PDF icon [tutorial] (1.28 MB)
Bonakdarpour, B., S. Navabpour, and S. Fischmeister, "Sampling-based Runtime Verification", Proceedings of the 17th International Conference on Formal Methods (FM), Limerick, Ireland, pp. 88-102, June, 2011. PDF icon [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, pp. 111-120, April, 2011. PDF icon [paper] (186.14 KB)

2010

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. PDF icon [paper] (292.42 KB)
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, Greece, pp. 327-342, October, 2010. PDF icon [paper] (374.08 KB)
Anand, M., S. Fischmeister, Y. Hur, J. Kim, and I. Lee, "Generating Reliable Code from Hybrid-Systems Models", IEEE Transactions on Computers, vol. 59, pp. 1281–1294, July, 2010. PDF icon [paper] (1.91 MB)
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, pp. 66-74, May, 2010. PDF icon [paper] (912.13 KB)
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), Stockholm, Sweden, pp. 133-142, April, 2010. PDF icon [paper] (564.13 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, pp. 199-208, October, 2010. PDF icon [paper] (563.09 KB)
Fischmeister, S., and P. Lam, "Time-Aware Instrumentation of Embedded Software", IEEE Transactions on Industrial Informatics, vol. 6, pp. 652–663, August, 2010. PDF icon [paper] (1.2 MB)

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, pp. 325–337, 2009. PDF icon [paper] (1.23 MB)
Fischmeister, S., and P. Lam, "On Time-Aware Instrumentation of Programs", Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Francisco, USA, pp. 305–314, April, 2009. PDF icon [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, 2009. PDF icon [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, March, 2009. PDF icon [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), Los Angeles, USA CA, pp. 381–395, April, 2009. PDF icon [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, June, 2009. PDF icon [paper] (335.83 KB)PDF icon [talk] (1.14 MB)

(best in research forum award)

2008

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, April, 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, May, 2008. PDF icon [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, San Diego, USA, pp. 48–66, August, 2008. PDF icon [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, September, 2008. PDF icon [paper] (386.91 KB)

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. 67--74, October, 2007. PDF icon [paper] (302.29 KB)
Fischmeister, S., O. Sokolsky, and I. Lee, "A Verifiable Language for Programming Real-Time Communication Schedules", IEEE Transactions on Computers, vol. 56, issue 11, pp. 1505 - 1519, 11/2007. PDF icon [paper] (1.39 MB)
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, July, 2007. PDF icon [paper] (698.16 KB)
Fischmeister, S., and I. Lee, "Temporal Control in Real-Time Systems: Languages and Systems", Handbook of Real-Time and Embedded Systems: CRC Press, pp. 10-1 to 10-18, 2007. PDF icon [chapter] (377.11 KB)

2006

Anand, M., S. Fischmeister, and I. Lee, "An Analysis Framework for Network-Code Programs", Proc. of the ACM & IEEE International Conference on Embedded Software (EMSOFT), Seoul, South Korea, pp. 122–131, October, 2006. PDF icon [paper] (494.91 KB)
Fischmeister, S., O. Sokolsky, and I. Lee, "Network-Code Machine: Programmable Real-Time Communication Schedules", Proc. of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), San Jose, USA, pp. 311–324, April, 2006. PDF icon [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, September, 2005. PDF icon [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), Murcia, Cartagena, Spain, pp. 664--670, June, 2005. PDF icon [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, July, 2005. PDF icon [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, March, 2005. PDF icon [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. PDF icon [paper] (268.23 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.
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", Proceedings of the International Digital Avionics Systems Conference (DASC), Salt Lake City, UT, USA, IEEE Press, October, 2004. PDF icon [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, October, 2004. PDF icon [paper] (624.19 KB)
Fischmeister, S., "Web-Service basierte Software (Web-Services)", Software Engineering, 3rd: Hanser Verlag, pp. 217–237, 2004.

2003

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, September, 2003. PDF icon [paper] (278.14 KB)
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, July, 2003. PDF icon [paper] (154.01 KB)
Fischmeister, S., G. Menkhaus, and A. Stumpfl, "Location-Detection Strategies in Pervasive Computing Environments", Proc. of the IEEE Conference on Pervasive Computing (PERCOM), Texas, USA, IEEE Press, March, 2003. PDF icon [paper] (806.44 KB)
Pree, W., S. Fischmeister, G. Menkhaus, and G. Stieglbauer, "Middleware fuer eingebettete Systeme (Middleware for Embedded Systems)", Noeo, 2003.

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), Island of Hawaii, IEEE Computer Society, January, 2002. PDF icon [paper] (291.4 KB)
Fischmeister, S., "Mobile Software Agents for Location-based Systems", Agent Technologies, Infrastructures, Tools, and Applications for E-Services: Springer-Verlag Heidelberg, 2002. PDF icon [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, February, 2002. PDF icon [paper] (449.78 KB)

2001

Fischmeister, S., G. Vigna, and R. Kemmerer, "Evaluating the Security Of Three Java-Based Mobile Agent Systems", Mobile Agents, Atlanta, USA, 2001. PDF icon [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, 2001. PDF icon [paper] (178.2 KB)

1999

Fischmeister, S., and W. Lugmayr, "The Supervisor--Worker Pattern", 6th Annual Conference on Patters Languages of Programming (PLOP), Monticello, Illinois, 1999. PDF icon [paper] (441.09 KB)

Selected publications outside this group

2002

Fischmeister, S., "Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation", Computer Science, Salzburg, University of Salzburg, pp. 146, 11/2002.

2000

Fischmeister, S., Building Secure Mobile Agents: The Supervisor-Worker Framework, , Vienna, Technical University Vienna, pp. 94, 03/2000. PDF icon [thesis] (440.76 KB)