Sebastian Fischmeister | Real-time Embedded Software Group

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 in 2005. He subsequently worked at the University of Pennsylvania, USA, as Post Graduate Research Associate until 2008. Sebastian Fischmeister is Professor and NSERC/Magna Industrial Research Chair in Automotive Software for Connected and Automated Vehicles 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.

Sebastian Fischmeister is currently an ACM Distinguished Speaker.

Contact Sebastian

Professional Activities

Embedded Security in Cars (ESCAR) Conference
TPC member 2016, 2017
IEEE International Symposium on Real-time Computing (ISORC)
General chair 2017
International Conference on Practical Formal Verification for Software Dependability
TPC member 2017
Workshop on Monitoring and Testing Cyber-Physical Systems (MT-CPS)
TPC member 2017
ACM Symposium on Applied Computing
TPC member 2017
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
Workshop on Formal Verification for Practicing Engineers TPC member 2016
Workshop on Formal Verification for Practicing Engineers (FVPE)
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

Publications with this group

2022

Shrestha, S. L., Lee, T. ., & Fischmeister, S. . (2022). Metasploit for Cyber-Physical Security Testing with Real-Time Constraints. 5th International Conference on Science of Cyber Security (SciSec). Presented at the. Matsue, Japan.

Dunne, M. ., & Fischmeister, S. . (2022). Powertrace-based Fuzzing of CAN Connected Hardware. IEEE International Conference on Cyber Security and Resilience (CSR). Presented at the. Rhodes, Greece: IEEE. https://doi.org/10.1109/CSR54599.2022.9850299

Grisel-Davy, A. ., Bhogayata, M. ., Pabbi, S. ., Narayan, A. ., & Fischmeister, S. . (2022). Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. ACM SIGBED International Conference on Embedded Software (EMSOFT). Presented at the. Shanghai, China: ACM.

2021

Basiri, M. H., Azad, N. L., & Fischmeister, S. . (2021). Secure Dynamic Nonlinear Heterogeneous Vehicle Platooning: Denial-of-Service Cyber-Attack Case. In Security and Privacy in Cyber-Physical Systems: Threats and Defenses. Studies in Systems, Decision and Control. Springer.

Sakhuja, S. ., Dunne, M. ., & Fischmeister, S. . (2021). The Boy Who Cried Wolf: On Precision in CAN Bus Intrusion Detection. Embedded Security in Cars. Presented at the. Michigan, USA.

Basiri, M. H., Pirani, M. ., Azad, N. L., & Fischmeister, S. . (2021). Security-aware optimal actuator placement in vehicle platooning. Asian Journal Of Control. https://doi.org/10.1002/asjc.2567

Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2021). What Can We Monitor Over Unreliable Channels?. International Journal on Software Tools for Technology Transfer, 23, 579-600. https://doi.org/10.1007/s10009-021-00625-z

2020

Basiri, M. H., Azad, N. ., & Fischmeister, S. . (2020). Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control. 28th Mediterranean Conference on Control and Automation (MED). Presented at the. Saint-Raphael, France: IEEE.

Basiri, M. H., Ghojogh, B. ., Azad, N. L., Fischmeister, S. ., Karray, F. ., & Crowley, M. . (2020). Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers. 59th Conference on Decision and Control (CDC). Presented at the. Jeju Island, Republic of Korea: IEEE.

Basiri, M. H., Azad, N. ., & Fischmeister, S. . (2020). Distributed Time-varying Kalman Filter Design and Estimation over Wireless Sensor Networks Using OWA Sensor Fusion Technique. 28th Mediterranean Conference on Control and Automation (MED). Presented at the. Saint-Raphael, France: IEEE.

Thakur, S. ., & Fischmeister, S. . (2020). A Generalizable Saliency Map-based Interpretation of Model Outcome. International Conference on Pattern Recognition (CPR). Presented at the. Milano, Italy.

Iegorov, O. ., & Fischmeister, S. . (2020). Parameterless Semi-Supervised Anomaly Detection in Univariate Time Series. Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML). Presented at the.

Kauffman, S. ., Dunne, M. ., Gracioli, G. ., Khan, W. ., Benann, N. ., & Fischmeister, S. . (2020). Palisade: A Framework for Anomaly Detection in Embedded Systems. Journal of Systems Architecture, 1-17. https://doi.org/10.1016/j.sysarc.2020.101876

2019

Basiri, M. H., Pirani, M. ., Azad, N. ., & Fischmeister, S. . (2019). Security of Vehicle Platooning: A Game-Theoretic Approach. IEEE Access, 7, 185565-185579. https://doi.org/10.1109/ACCESS.2019.2961002

Kauffman, S. ., & Fischmeister, S. . (2019). Event Stream Abstraction Using Nfer: Demo Abstract. International Conference on Cyber-Physical Systems, 332 to 333. Montreal, Canada: ACM. https://doi.org/10.1145/3302509.3313327

Basiri, M. ., Thistle, J. ., Simpson-Porco, J. ., & Fischmeister, S. . (2019). Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems. Annual American Control Conference (ACC). Presented at the. Philadelphia, USA.

Kauffman, S. ., Havelund, K. ., & Fischmeister, S. . (2019). Monitorability Over Unreliable Channels. International Conference on Runtime Verification (RV), 256 to 272. Porto, Portugal. https://doi.org/10.1007/978-3-030-32079-9_15

Sharma, S. ., Flores, A. ., Hobbs, C. ., Stafford, J. ., & Fischmeister, S. . (2019). Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA. Workshop on Autonomous Systems Design (ASD 2019). Presented at the. Florence, Italy.

Salem, M. ., Carvajal, G. ., Liu, T. ., & Fischmeister, S. . (2019). Assessing the Robustness of Arrival Curves Models for Real-time Systems. Intl. Conference on Formal Modeling and Analysis of Timed Systems, 23-40. Amsterdam, The Netherlands. https://doi.org/10.1007/978-3-030-29662-9_2

Moreno, C. ., & Fischmeister, S. . (2019). Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter. 5th International Conference on Information Systems Security and Privacy (ICISSP). Presented at the. Prague, Czech Republic.

Sucholutsky, I. ., Narayan, A. ., Schonlau, M. ., & Fischmeister, S. . (2019). Deep Learning for System Trace Restoration. International Joint Conference on Neural Networks (IJCNN). Presented at the. Budapest, Hungary.

2018

Lamichhane, K. ., Moreno, C. ., & Fischmeister, S. . (2018). Non-Intrusive Program Tracing of Non-Preemptive Multitasking Systems Using Power Consumption. Design, Automation and Test in Europe Conference and Exhibition (DATE). Presented at the. Dresden, Germany.

Babaee, R. ., Gurfinkel, A. ., & Fischmeister, S. . (2018). Prevent: a Predictive Run-time Verification Framework Using Statistical Learning. 16th International Conference on Software Engineering and Formal Methods. Presented at the. Toulouse, France.

Dunne, M. ., Gracioli, G. ., & Fischmeister, S. . (2018). A Comparison of Data Streaming Frameworks for Anomaly Detection in Embedded Systems. International Workshop on Security and Privacy for the Internet-of-Things (IoTSec). Presented at the. Orlando, USA.

Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2018). Energy-efficient Multiple Producer-Consumer. IEEE Transactions on Parallel and Distributed Systems. https://doi.org/10.1109/TPDS.2018.2867853

Basiri, M. H., Thistle, J. ., & Fischmeister, S. . (2018). A Framework for Inference and Identification of Hybrid-System Models: Mixed Event-Time-driven Systems (METS). IFAC-PapersOnLine (Proceedings of 18th IFAC Symposium on System Identification), 51, 292-297. Stockholm, Sweden.

Kauffman, S. ., Havelund, K. ., Joshi, R. ., & Fischmeister, S. . (2018). Inferring Event Stream Abstractions. Formal Methods in System Design, 29. https://doi.org/10.1007/s10703-018-0317-z

Sharma, S. ., Flores, A. ., Moreno, C. ., Hobbs, C. ., Stafford, J. ., Lamichhane, K. ., Khan, W. ., & Fischmeister, S. . (2018). Lessons-learned from Applying STAMP Safety and Security Analysis on AEB for L4 Autonomous Driving. STAMP Workshop. Presented at the.

Narayan, A. ., Cutulenco, G. ., Joshi, Y. ., & Fischmeister, S. . (2018). Mining Timed Regular Specifications from System Traces. ACM Transactions on Embedded Computing Systems, 17. https://doi.org/10.1145/3147660

Iegorov, O. ., & Fischmeister, S. . (2018). Mining Task Precedence Graphs from Real-Time Embedded System Traces. Real-Time and Embedded Technology and Applications Symposium (RTAS). Presented at the. Porto, Portugal.

2017

Arafa, P. ., Solomon, D. ., Navabpour, S. ., & Fischmeister, S. . (2017). Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. IEEE Symposium on Visual Languages and Human-Centric Computing (VL HCC). Presented at the. Raleigh, USA.

Moreno, C. ., & Fischmeister, S. . (2017). Non-Intrusive Runtime Monitoring Through Power Consumption to Enforce Safety and Security Properties in Embedded Systems. Formal Methods in Software Design (FMSD).

Valov, P. ., Petkovich, J.-C. ., Guo, J. ., Fischmeister, S. ., & Czarnecki, K. . (2017). Transferring Performance Prediction Models Across Different Hardware Platforms. International Conference on Performance Engineering (ICPE). Presented at the. L Aquila, Italy.

Oliveira, A. ., Fischmeister, S. ., Diwan, A. ., Hauswirth, M. ., & Sweeney, P. . (2017). Perphecy: Performance Regression Test Selection Made Simple but Effective. Proc. Of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST). Presented at the. Tokyo, Japan.

Moreno, C. ., & Fischmeister, S. . (2017). Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers. Design Automation Conference (DAC). Presented at the. Austin, USA. https://doi.org/10.1145/3061639.3062245

Schmidt, L. ., Narayan, A. ., & Fischmeister, S. . (2017). TREM: A Tool for Mining Timed Regular Specifications from System Traces. Proceedings of the 32nd IEEE ACM International Conference on Automated Software Engineering. Presented at the. Urbana-Champaign, USA.

Arafa, P. ., Tchamgoue, G. M., Kashif, H. ., & Fischmeister, S. . (2017). QDIME: QoS-aware Dynamic Binary Instrumentation. IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Presented at the. Banff, Canada.

Newsham, Z. ., Oliveira, A. ., Petkovich, J. ., Rehman, A. ., Tchamgoue, G. ., & Fischmeister, S. . (2017). Intersert: Assertions on Distributed Process Interaction Sessions. IEEE International Conference on Software Quality, Reliability & Security (QRS). Presented at the. Prague, Czech Republic.

Moreno, C. ., & Fischmeister, S. . (2017). Accurate Measurement of Small Execution Times - Getting Around Measurement Errors. N/A.

Joshi, Y. ., Tchamgoue, G. M., & Fischmeister, S. . (2017). Runtime Verification of LTL on Lossy Traces. 32nd ACM Symposium on Applied Computing (SAC), 1379-1386. Marrakech, Morocco. https://doi.org/10.1145/3019612.3019827

Narayan, A. ., Benann, N. ., & Fischmeister, S. . (2017). Mining Specifications using Nested Words. Proceedings of the 6th International Workshop on Software Mining. Presented at the. Urbana-Champaign, USA.

Moreno, C. ., & Fischmeister, S. . (2017). Accurate Measurement of Small Execution Times — Getting Around Measurement Errors. Embedded Systems Letters (ESL).

Moreno, C. ., & Fischmeister, S. . (2017). On the Security of Safety-Critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?. International Conference on Information Systems Security and Privacy (ICISSP). Presented at the. Porto, Portugal.

Kauffman, S. ., & Fischmeister, S. . (2017). Mining Temporal Intervals from Real-time System Traces. 6th International Workshop on Software Mining. Presented at the. Champaign, USA.

Carvajal, G. ., Salem, M. ., Benann, N. ., & Fischmeister, S. . (2017). Enabling Rapid Construction of Arrival Curves From Execution Traces. IEEE Design & Test, PP. https://doi.org/10.1109/MDAT.2017.2771210

Narayan, A. ., Kauffman, S. ., Morgan, J. ., Tchamgoue, G. M., Joshi, Y. ., Fischmeister, S. ., & Hobbs, C. . (2017). System Call Logs with Natural Random Faults: Experimental Design and Application. Silicon Errors in Logic &Mdash; System Effects (SELSE). Presented at the. Boston, USA.

Iegorov, O. ., Torres, R. ., & Fischmeister, S. . (2017). Periodic Task Mining in Embedded System Traces. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 331-340. Pittsburgh, USA. https://doi.org/10.1109/RTAS.2017.5

2016

Kauffman, S. ., Moreno, C. ., & Fischmeister, S. . (2016). Static Transformation of Power Consumption for Software Attestation. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Presented at the. Daegu, South Korea.

Azim, A. ., & Fischmeister, S. . (2016). Efficient mode changes in multi-mode systems. International Conference on Computer Design (ICCD), 592-599. https://doi.org/10.1109/ICCD.2016.7753345

Petkovich, J.-C. ., Oliveira, A. ., Zhang, Y. ., Reidemeister, T. ., & Fischmeister, S. . (2016). DataMill: a distributed heterogeneous infrastructure for robust experimentation. Software Practice and Experience, 46, 29. https://doi.org/10.1002/spe.2382

Moreno, C. ., Kauffman, S. ., & Fischmeister, S. . (2016). Efficient Program Tracing and Monitoring Through Power Consumption — With A Little Help From The Compiler. Proc. Of Design, Automation, and Test (DATE). Presented at the. Dresden, Germany.

Carvajal, G. ., Araneda, L. ., Wolf, A. ., Figueroa, M. ., & Fischmeister, S. . (2016). Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks. IEEE Transactions on Industrial Informatics, 12, 1806-1816. https://doi.org/10.1109/TII.2016.2535255

Tchamgoue, G. M., & Fischmeister, S. . (2016). Lessons Learned on Assumptions and Scalability with Time-Aware Instrumentation. International Conference on Embedded Software (EMSOFT), 1-7. Pittsburgh, USA. https://doi.org/10.1145/2968478.2975584

Kashif, H. ., Patel, H. ., & Fischmeister, S. . (2016). Path Selection for Real-Time Communication on Priority-Aware NoCs. ACM Transactions on Design Automation of Electronic Systems, 21, 1-25. https://doi.org/10.1145/2866572

Cutulenco, G. ., Joshi, Y. ., Narayan, A. ., & Fischmeister, S. . (2016). Mining Timed Regular Expressions from System Traces. Proceedings of the 5th International Workshop on Software Mining, 3-10. Singapore. https://doi.org/10.1145/2975961.2975962

Medhat, R. ., Bonakdarpour, B. ., Fischmeister, S. ., & Joshi, Y. . (2016). Accelerated Runtime Verification of LTL Specifications with Counting Semantics. International Conference on Runtime Verification, 251-267. Madrid, Spain. https://doi.org/10.1007/978-3-319-46982-9_16

Blackburn, S. M., Diwan, A. ., Hauswirth, M. ., Sweeney, P. ., Amaral, J. N., Brecht, T. ., Bulej, L. ., Click, C. ., Eeckhout, L. ., Fischmeister, S. ., Frampton, D. ., Hendren, L. ., Hind, M. ., Hosking, A. ., Jones, R. ., Kalibera, T. ., Keynes, N. ., Nystrom, N. ., & Zeller, A. . (2016). The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Transactions on Programming Languages and Systems (TOPLAS), 38, 1-15. https://doi.org/10.1145/2983574

Moreno, C. ., & Fischmeister, S. . (2016). 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). Presented at the. Madrid, Spain.

Salem, M. ., Crowley, M. ., & Fischmeister, S. . (2016). Anomaly Detection Using Inter-Arrival Curves for Real-time Systems. International Euromicro Conference on Real-Time Systems (ECRTS). Presented at the. Toulouse, France.

2015

Moreno, C. ., Hasan, A. ., & Fischmeister, S. . (2015). Exp-HE: A Family of Fast Exponentiation Algorithms Resistant to SPA, Fault, and Combined Attacks. International Conference on Embedded Software (EMSOFT). Presented at the.

Newsham, Z. ., Lindsay, W. ., Ganesh, V. ., Liang, J. H., Fischmeister, S. ., & Czarnecki, K. . (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)

Medhat, R. ., S., R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2015). A Framework for Mining Hybrid Automata from Input/Output Traces. International Conference on Embedded Software (EMSOFT). Presented at the.

Kashif, H. ., Thomas, J. ., Patel, H. ., & Fischmeister, S. . (2015). Static Slack-Based Instrumentation of Programs. Proc. Of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA). Presented at the. Luxembourg. https://doi.org/10.1109/ETFA.2015.7301505 (Original work published 2024)

Azim, A. ., Pellizzoni, R. ., & Fischmeister, S. . (2015). Generation of Communication Schedules Using Component Interfaces. Proc. Of the International Conference on Emerging Technologies and Factory Automation (ETFA). Presented at the. Luxembourg.

Johnson, T. T., Gannamaraju, R. ., & Fischmeister, S. . (2015). A Survey of Electrical and Electronic (E/E) Notifications for Motor Vehicles. 24th International Technical Conference on the Enhanced Safety of Vehicles (ESV), 1-15. Gothenburg, Sweden.

Denil, J. ., Kashif, H. ., Arafa, P. ., Vangheluwe, H. ., & Fischmeister, S. . (2015). 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. Presented at the. Alexandria, USA.

Medhat, R. ., Bonakdarpour, B. ., Kumar, D. ., & Fischmeister, S. . (2015). Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Transactions on Embedded Computing Systems (TECS), 14, 79. https://doi.org/10.1145/2744196

Ketata, A. ., Moreno, C. ., Fischmeister, S. ., Liang, J. ., & Czarnecki, K. . (2015). Performance Prediction upon Toolchain Migration in Model-Based Software. International Conference on Model Driven Engineering Languages and Systems (MODELS), 302-311. Ottawa, Canada. https://doi.org/10.1109/MODELS.2015.7338261

Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2015). Runtime Verification with Minimal Intrusion Through Parallelism. Formal Methods in System Design, 1-32. https://doi.org/10.1007/s10703-015-0226-3

Newsham, Z. ., Ganesh, V. ., & Fischmeister, S. . (2015). 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). Presented at the. Austin, USA.

2014

Chen, X. ., Azim, A. ., Liu, X. ., Fischmeister, S. ., & Ma, J. . (2014). DTS: Dynamic TDMA Scheduling for Networked Control Systems. Journal of Systems Architecture, 194-205. https://doi.org/10.1016/j.sysarc.2013.10.012

Oliveira, A. ., Petkovich, J.-C. ., & Fischmeister, S. . (2014). How Much Does Memory Layout Impact Performance? A Wide Study. Proceedings of the International Workshop on Reproducible Research Methodologies (REPRODUCE), 23-28. Orlando, USA. (Original work published 2024)

Rehman, A. ., Oliveira, A. ., Tripunitara, M. ., & Fischmeister, S. . (2014). The use of mTags for mandatory security: a case study. Software: Practice and Experience, 44, 1511-1523. https://doi.org/10.1002/spe.2222

Newsham, Z. ., Ganesh, V. ., Fischmeister, S. ., Audemard, G. ., & Simon, L. . (2014). Impact of Community Structure on SAT Solver Performance. 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), 252-268. Vienna, Austria.

Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2014). Power-efficient Multiple Producer-Consumer. IEEE 28th International Symposium on Parallel & Distributed Processing (IPDPS), 669-678. Phoenix, USA. https://doi.org/10.1109/IPDPS.2014.75

Oliveira, A. ., Azim, A. ., Fischmeister, S. ., Marau, R. ., & Almeida, L. . (2014). 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. Presented at the. Barcelona, Spain.

Medhat, R. ., Kumar, D. ., Bonakdarpour, B. ., & Fischmeister, S. . (2014). Sacrificing a Little Space Can Significantly Improve Monitoring of Time-sensitive Cyber-physical Systems. ACM/IEEE/International/Conference/on/Cyber-Physical/Systems/(ICCPS), 115-126. Berlin, Germany: IEEE. https://doi.org/10.1109/ICCPS.2014.6843716

Chaudhary, S. ., Fischmeister, S. ., & Tan, L. . (2014). em-SPADE: A Compiler Extension for Checking Rules Extracted from Processor Specifications. SIGPLAN/SIGBED/Conference/on/Languages,/Compilers/and/Tools/for/Embedded/Systems/(LCTES), 105-114. New York, NY, USA: ACM. https://doi.org/10.1145/2597809.2597823

Zadeh, M. M. Z., Salem, M. ., Kumar, N. ., Cutulenco, G. ., & Fischmeister, S. . (2014). SiPTA: Signal Processing for Trace-based Anomaly Detection. Proc. Of the International Conference on Embedded Software (EMSOFT), 1-6. New Dehli, India. (Original work published 2024)

Azim, A. ., Carvajal, G. ., Pellizzoni, R. ., & Fischmeister, S. . (2014). Generation of Communication Schedules for Multi-Mode Distributed Real-Time Applications. Proceedings of Design, Automation and Test in Europe (DATE), 1-6. Grenoble, France. (Original work published 2024)

2013

Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2024)

Navabpour, S. ., Joshi, Y. ., Wallace, C. W., Berkovich, S. ., Medhat, R. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs. Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE). Presented at the. St. Petersburg, Russia.

Kashif, H. ., Arafa, P. ., & Fischmeister, S. . (2013). 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). Presented at the. Taipei, Taiwan. (Original work published 2024)

Carvajal, G. ., Figueroa, M. ., Trausmuth, R. ., & Fischmeister, S. . (2013). 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), 121-128. https://doi.org/10.1109/FCCM.2013.54 (Original work published 2024)

Oliveira, A. ., Fischmeister, S. ., Diwan, A. ., Hauswirth, M. ., & Sweeney, P. . (2013). Why You Should Care About Quantile Regression. Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Presented at the. Houston, USA. (Original work published 2024)

Moreno, C. ., Fischmeister, S. ., & Hasan, A. . (2013). 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), 77-88. Washington, USA: ACM. https://doi.org/10.1145/2465554.2465570

Oliveira, A. ., Petkovich, J.-C. ., Reidemeister, T. ., & Fischmeister, S. . (2013). DataMill: Rigorous Performance Evaluation Made Easy. Proc. Of the 4th ACM SPEC International Conference on Performance Engineering (ICPE), 137-149. Prague, Czech Republic. (Original work published 2024)

Anand, M. ., Fischmeister, S. ., & Lee, I. . (2013). A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-time Systems. ACM Transactions on Embedded Computing Systems, 13, 1-37. https://doi.org/10.1145/2501626.2501629 (Original work published 2024)

Carvajal, G. ., & Fischmeister, S. . (2013). An Open Platform for Mixed-Criticality Real-time Ethernet. Proc. Of the Conference on Design, Automation and Test in Europe (DATE), 153-156. Grenoble, France. Retrieved from http://dl.acm.org/citation.cfm?id=2485288.2485326

Arafa, P. ., Kashif, H. ., & Fischmeister, S. . (2013). DIME: Time-aware Dynamic Binary Instrumentation Using Rate-based Resource Allocation. Proc. Of the 13th International Conference on Embedded Software (EMSOFT). Presented at the. Montreal, Canada. (Original work published 2024)

Gracioli, G. ., Fröhlich, A. A., Pellizzoni, R. ., & Fischmeister, S. . (2013). Implementation and Evaluation of Global and Partitioned Scheduling in a Real-Time OS. Real-Time Systems, 1-46. https://doi.org/10.1007/s11241-013-9183-3

Kashif, H. ., Gholamian, S. ., Pellizzoni, R. ., Patel, H. D., & Fischmeister, S. . (2013). 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), 247-258. Philadelphia, USA. https://doi.org/10.1109/RTAS.2013.6531097 (Original work published 2024)

Azim, A. ., Sundaram, S. ., & Fischmeister, S. . (2013). An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads. Proc. Of the Euromicro Conference on Real-Time Systems (ECRTS), 249-258. Paris, France. https://doi.org/10.1109/ECRTS.2013.34 (Original work published 2024)

Bonakdarpour, B. ., Navabpour, S. ., & Fischmeister, S. . (2013). Time-triggered Runtime Verification. Formal Methods in System Design (FMSD), 43, 29-60. https://doi.org/10.1007/s10703-012-0182-0 (Original work published 2013)

Wu, W. ., Kumar, D. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques. Proc. Of the International Conference on Runtime Verification (RV). Presented at the. (Original work published 2024)

2012

Gracioli, G. ., & Fischmeister, S. . (2012). Tracing and Recording Interrupts in Embedded Software. Journal of Systems Architecture, 58, 372-385. https://doi.org/10.1016/j.sysarc.2012.06.003 (Original work published 2024)

Bonakdarpour, B. ., Thomas, J. ., & Fischmeister, S. . (2012). Time-triggered Program Self-monitoring. Proc. Of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 260-269. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.16

Kashif, H. ., Patel, H. D., & Fischmeister, S. . (2012). Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs. Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), 499-504. Sydney, Australia. https://doi.org/10.1109/ASPDAC.2012.6165004 (Original work published 2024)

Carvajal, G. ., Wu, C. W. W., & Fischmeister, S. . (2012). Evaluation of Communication Architectures for Switched Real-time Ethernet. IEEE Transactions on Computers. https://doi.org/10.1109/TC.2012.177

Chen, X. ., Azim, A. ., Liu, X. ., & Fischmeister, S. . (2012). CSS: Conditional State-Based Scheduling for Networked Control Systems. International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 78-87. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.13

Oliveira, A. ., Rehman, A. S. U., & Fischmeister, S. . (2012). mTags: Augmenting Microkernel Messages with Lightweight Metadata. ACM Operating Systems Review, 46, 67-79. https://doi.org/10.1145/2331576.2331587

Navabpour, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2012). Path-aware Time-triggered Runtime Verification. Third International Conference on Runtime Verification (RV), 199-213. Istanbul, Turkey. Retrieved from http://link.springer.com/chapter/10.1007/978-3-642-35632-2_21 (Original work published 2024)

Anand, M. ., Fischmeister, S. ., Lee, I. ., & Phan, L. T. X. (2012). State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems, 48, 430-462. https://doi.org/10.1007/s11241-012-9151-3

Kashif, H. ., & Fischmeister, S. . (2012). Program Transformation for Time-aware Instrumentation. Proc. Of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), 1-8. Krakow, Poland. https://doi.org/10.1109/ETFA.2012.6489580 (Original work published 2024)

2011

Bonakdarpour, B. ., & Fischmeister, S. . (2011). Runtime Monitoring of Time-sensitive Systems —- Tutorial Supplement. Proc. Of the 2nd International Conference on Runtime Verification (RV). Presented at the. San Francisco, USA.

Bonakdarpour, B. ., Navabpour, S. ., & Fischmeister, S. . (2011). Sampling-based Runtime Verification. Proceedings of the 17th International Conference on Formal Methods (FM), 88-102. Limerick, Ireland. https://doi.org/10.1007/978-3-642-21437-0_9 (Original work published 2024)

Navabpour, S. ., Wu, C. W. W., Bonakdarpour, B. ., & Fischmeister, S. . (2011). Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification. Proc. Of the 2nd International Conference on Runtime Verification (RV), 208-222. San Francisco, USA. https://doi.org/10.1007/978-3-642-29860-8_16 (Original work published 2024)

Navabpour, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2011). 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), 111-120. Chicago, USA. https://doi.org/10.1145/1967677.1967693 (Original work published 2024)

Thomas, J. ., Fischmeister, S. ., & Kumar, D. . (2011). 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), 101-110. Chicago, USA. https://doi.org/10.1145/1967677.1967692

Navabpour, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2011). Optimal Instrumentation of Data-flow in Concurrent Data Structures. Proc. Of the 15th International Conference On Principles Of Distributed Systems (OPODIS), 497-512. Toulouse, France. https://doi.org/10.1007/978-3-642-25873-2_34 (Original work published 2024)

Azim, A. ., & Fischmeister, S. . (2011). 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), 1-9. Toulouse, France. https://doi.org/10.1109/ETFA.2011.6059022 (Original work published 2024)

2010

Carvajal, G. ., & Fischmeister, S. . (2010). A TDMA Ethernet Switch for Dynamic Real-Time Communication. Proc. Of the 18th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), 119-126. Charlotte, United States. Retrieved from http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5474059 (Original work published 2024)

Anand, M. ., Fischmeister, S. ., Hur, Y. ., Kim, J. ., & Lee, I. . (2010). Generating Reliable Code from Hybrid-Systems Models. IEEE Transactions on Computers, 59, 1281-1294. https://doi.org/10.1109/TC.2010.84 (Original work published 2024)

Fischmeister, S. ., & Azim, A. . (2010). Design Choices for High-Confidence Distributed Real-time Software. Proc. Of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 327-342. Heraclion, Crete, Greece. https://doi.org/10.1007/978-3-642-16561-0_32 (Original work published 2024)

Fischmeister, S. ., & Lam, P. . (2010). Time-Aware Instrumentation of Embedded Software. IEEE Transactions on Industrial Informatics, 6, 652-663. https://doi.org/10.1109/TII.2010.2068304 (Original work published 2024)

Arney, D. ., Fischmeister, S. ., Lee, I. ., Takashima, Y. ., & Yim, M. . (2010). Model-based Programming of Modular Robots. Proc. of the 13th IEEE International Symposium on Object Component Service-Oriented Real-Time Distributed Computing (ISORC), 66-74. Carmona, Spain. https://doi.org/10.1109/ISORC.2010.16 (Original work published 2024)

Fischmeister, S. ., & Ba, Y. . (2010). Sampling-based Program Execution Monitoring. Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 133-142. Stockholm, Sweden. https://doi.org/10.1145/1755888.1755908 (Original work published 2024)

Potop-Butucaru, D. ., Azim, A. ., & Fischmeister, S. . (2010). Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures. Proc. Of the International Conference on Embedded Software (EMSOFT), 199-208. Scottsdale, Arizona, USA. https://doi.org/10.1145/1879021.1879048 (Original work published 2024)

2009

Anand, M. ., Fischmeister, S. ., & Lee, I. . (2009). 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), 295-304. Tokyo, Japan. https://doi.org/10.1109/ISORC.2009.42 (Original work published 2024)

Weiss, G. ., Fischmeister, S. ., Anand, M. ., & Alur, R. . (2009). Specification and Analysis of Network Resource Requirements of Control Systems. Proc. Of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC), 381-395. Los Angeles, USA CA. https://doi.org/10.1007/978-3-642-00602-9_27 (Original work published 2024)

Fischmeister, S. ., & Lam, P. . (2009). On Time-Aware Instrumentation of Programs. Proc. Of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 305-314. San Francisco, USA. https://doi.org/10.1109/RTAS.2009.26 (Original work published 2024)

Gracioli, G. ., & Fischmeister, S. . (2009). Tracing Interrupts in Embedded Software. Proc. Of the ACM SIGPLAN SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 137-146. Dublin, Ireland. https://doi.org/10.1145/1542452.1542471 (Original work published 2024)

Fischmeister, S. ., Trausmuth, R. ., & Lee, I. . (2009). Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet. IEEE Transactions on Industrial Informatics, 5, 325-337. https://doi.org/10.1109/TII.2009.2026642

Arney, D. ., Fischmeister, S. ., Goldman, J. M., Lee, I. ., & Trausmuth, R. . (2009). Plug-and-Play for Medical Devices: Experiences from a Case Study. Biomedical Instrumentation & Technology, 43. https://doi.org/10.2345/0899-8205-43.4.313

2008

Anand, M. ., Easwaran, A. ., Fischmeister, S. ., & Lee, I. . (2008). Compositional Feasibility Analysis of Conditional Real-Time Task Models. Proc. Of the IEEE International Symposium on Object Component Service-Oriented Real-Time Computing (ISORC), 391-398. Orlando, USA. https://doi.org/10.1109/ISORC.2008.47 (Original work published 2024)

Anand, M. ., Kim, J. ., Fischmeister, S. ., & Lee, I. . (2008). Generating Sound and Resource-Aware Code from Hybrid System Models. Model-Driven Development of Reliable Automotive Services, 48-66. San Diego, USA. https://doi.org/10.1007/978-3-540-70930-5_4 (Original work published 2024)

Fischmeister, S. ., Lee, I. ., & Trausmuth, R. . (2008). Hardware Acceleration for Verifiable, Adaptive Real-Time Communication. Proc. Of the 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1425-1432. Hamburg, Germany. https://doi.org/10.1109/ETFA.2008.4638584 (Original work published 2024)

Fischmeister, S. ., & Trausmuth, R. . (2008). A Programmable Arbitration Layer For Adaptive Real-Time Systems. Proc. Of the Intl. Workshop on Adaptive and Reconfigurable Embedded Systems (APRES), 27-31. St. Luis, USA. Retrieved from http://www.artist-embedded.org/artist/IMG/pdf/ProceedAPRES08dinA4-final.pdf (Original work published 2024)

2007

Fischmeister, S. ., & Lee, I. . (2007). Temporal Control in Real-Time Systems: Languages and Systems. In Handbook of Real-Time and Embedded Systems (pp. 10-1). CRC Press. Retrieved from http://www.crcpress.com/product/isbn/9781584886785

Anand, M. ., Fischmeister, S. ., & Lee, I. . (2007). Composition Techniques for Tree Communication Schedules. Proc. Of the 19th Euromicro Conference on Real-Time Systems (ECRTS), 235-246. Pisa, Italy. https://doi.org/10.1109/ECRTS.2007.88 (Original work published 2024)

Almeida, L. ., Anand, M. ., Fischmeister, S. ., & Lee, I. . (2007). A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems. Proc. Of the 7th Annual ACM Conference on Embedded Software (EMSOFT), 67-74. Salzburg, Austria. https://doi.org/10.1145/1289927.1289942 (Original work published 2024)

Fischmeister, S. ., Sokolsky, O. ., & Lee, I. . (2007). A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Transactions on Computers, 56, 1505-1519. https://doi.org/10.1109/TC.2007.70747 (Original work published 2007)

2006

Anand, M. ., Fischmeister, S. ., & Lee, I. . (2006). An Analysis Framework for Network-Code Programs. Proc. Of the ACM & IEEE International Conference on Embedded Software (EMSOFT), 122-131. Seoul, South Korea. https://doi.org/10.1145/1176887.1176905 (Original work published 2024)

Fischmeister, S. ., Sokolsky, O. ., & Lee, I. . (2006). Network-Code Machine: Programmable Real-Time Communication Schedules. Proc. Of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 311-324. San Jose, USA. https://doi.org/10.1109/RTAS.2006.31 (Original work published 2024)

2005

Anand, M. ., Fischmeister, S. ., Kim, J. ., & Lee, I. . (2005). Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems. Proc. Of the ACM Conference on Embedded Software (EMSOFT), 210-213. New York, USA. https://doi.org/10.1145/1086228.1086267 (Original work published 2024)

Fischmeister, S. . (2005). Multi-Dimensional Schedules for Media-Access Control in Time-Triggered Communication. Proc. Of the IEEE Symposium on Computers and Communications (ISCC), 664-670. Murcia, Cartagena, Spain. https://doi.org/10.1109/ISCC.2005.48 (Original work published 2024)

Fischmeister, S. ., & Winkler, K. . (2005). 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), 106-114. Las Palmas, Spain. https://doi.org/10.1109/ECRTS.2005.20 (Original work published 2024)

Menkhaus, G. ., Fischmeister, S. ., Holzmann, M. ., & Farcas, C. . (2005). 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), 342-351. San Francisco, USA. https://doi.org/10.1109/RTAS.2005.57 (Original work published 2024)

2004

Fischmeister, S. . (2004). Web-Service basierte Software (Web-Services). In Software Engineering (3rdrd ed., pp. 217-237). Hanser Verlag.

Menkhaus, G. ., & Fischmeister, S. . (2004). Adaptation for Device-independent Authoring. Developing User Interfaces With XML: Advances on User Interface Description Languages Workshop at Advanced Visual Interface (AVI). Presented at the. Gallipoli, Italy. https://doi.org/10.1.1.2.7282

Fischmeister, S. ., & Menkhaus, G. . (2004). Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model. Proceedings of the International Digital Avionics Systems Conference (DASC). Presented at the. Salt Lake City, UT, USA: IEEE Press. https://doi.org/10.1109/DASC.2004.1390783 (Original work published 2024)

Fischmeister, S. . (2004). Embedded Systems Knowledge Base —- Austria and Surrounding Regions (Vol. 182, p. 200). Austrian Computer Society.

Menkhaus, G. ., Holzmann, M. ., & Fischmeister, S. . (2004). Time-triggered Communication for Distributed Control Applications in a Timed Computation Model. 23rd International Digital Avionics Systems Conference (DASC). Presented at the. Salt Lake City, USA: IEEE Press. https://doi.org/10.1109/DASC.2004.1390786 (Original work published 2024)

Birke, B. ., Koch, K.-M. ., Fischmeister, S. ., Hafner, H. ., & Karlsson, D. . (2004). EmBase: Strength, Weakness, Opportunities, and Threats Analysis. In S. . Fischmeister (Ed.), Embedded Systems Knowledge Base - Austria and Surrounding Regions (Vol. 182, pp. 61-75). Austrian Computer Society.

Coste, E. ., Farcas, C. ., Fischmeister, S. ., & Pree, W. . (2004). Research Directions in Embedded Systems. In EmBase News as Web Portal: Vol. 182 (Vol. 182, pp. 75-93). Austrian Computer Society.

2003

Fischmeister, S. ., Menkhaus, G. ., & Stumpfl, A. . (2003). Location-Detection Strategies in Pervasive Computing Environments. Proc. Of the IEEE Conference on Pervasive Computing (PERCOM). Presented at the. Texas, USA: IEEE Press. https://doi.org/10.1109/PERCOM.2003.1192750 (Original work published 2024)

Pree, W. ., Fischmeister, S. ., Menkhaus, G. ., & Stieglbauer, G. . (2003). Middleware fuer eingebettete Systeme (Middleware for Embedded Systems). Noeo.

Menkhaus, G. ., & Fischmeister, S. . (2003). Dialog Model Clustering for User Interface Adaptation. Proceedings of the International Conference on Web Engineering. Presented at the. Oviedo, Spain: Springer-Verlag Heidelberg. Retrieved from http://dl.acm.org/citation.cfm?id=1758300 (Original work published 2024)

Koch, K.-M. ., Loge, M. ., Pree, W. ., & Fischmeister, S. . (2003). Embedded Systems Knowledge Base. Proc. Of the 3rd International Conference on Knowledge Management. Presented at the. Graz, Austria: J.UCS Journal of Universal Computer Science. Retrieved from http://i-know.tugraz.at/blog/2003/11/embedded-systems-knowledge-base (Original work published 2024)

Menkhaus, G. ., & Fischmeister, S. . (2003). Evaluation of User Interface Transcoding Systems. Proc. Of the 7th World Multiconference on Systemics, Cybernetics and Informatics. Presented at the. Orlando, Florida, USA. https://doi.org/10.1.1.57.9947 (Original work published 2024)

2002

Fischmeister, S. ., Menkhaus, G. ., & Pree, W. . (2002). MUSA-Shadow: Concepts, Implementation, and Sample Applications; A Location-Based Service Supporting Multiple Devices. Proc. Of the TOOLS Pacific. Presented at the. Sydney, Australia: Australian Computer Society Press. Retrieved from http://dl.acm.org/citation.cfm?id=564103 (Original work published 2024)

Fischmeister, S. . (2002). A Comparison of Software Architectures for Location-Based Systems. N/A.

Fischmeister, S. . (2002). Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation. Salzburg. (Original work published 2002)

Fischmeister, S. ., Hagleitner, G. ., & Pree, W. . (2002). Hermes—-A Lean M-Commerce Software Platform Utilizing Electronic Signatures. Proc. Of the 35th Hawaiian Conference on System Sciences (HICSS). Presented at the. Island of Hawaii: IEEE Computer Society. https://doi.org/10.1109/HICSS.2002.994536 (Original work published 2024)

Fischmeister, S. . (2002). Mobile Software Agents for Location-based Systems. In R. . Kowalczyk, J. . Müller, H. . Tianfield, & R. . Unland (Eds.), Agent Technologies, Infrastructures, Tools, and Applications for E-Services. Springer-Verlag Heidelberg. Retrieved from http://dl.acm.org/citation.cfm?id=1756350

2001

Fischmeister, S. ., Vigna, G. ., & Kemmerer, R. . (2001). Evaluating the Security Of Three Java-Based Mobile Agent Systems. In G. P. Picco (Ed.), Mobile Agents. Atlanta, USA. Retrieved from http://dl.acm.org/citation.cfm?id=732589

Fischmeister, S. ., Hagleitner, G. ., Pree, W. ., & Pomberger, G. . (2001). Symbolon—-A Novel Concept for Secure E-Commerce. In B. . Schmidt, K. . Stanoevska-Slabeva, & V. . Tschammer (Eds.), Towards the E-Society: E-Commerce, E-Business, and E-Government. Zürich: Kluwer Academic Publishers. Retrieved from http://dl.acm.org/citation.cfm?id=647853.737576

Selected publications outside this group

2002

Fischmeister, S. . (2002). Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation. Salzburg. (Original work published 2002)

2000

Fischmeister, S. . (2000). Building Secure Mobile Agents: The Supervisor-Worker Framework. Vienna. (Original work published 2000)