Sort by: Author Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

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)
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)
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)
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)
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)
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)
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.
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)
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)
Arafa, P., D. Solomon, S. Navabpour, and S. Fischmeister, "Debugging Behaviour of Embedded-Software Developers: An Exploratory Study", IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Raleigh, USA, 2017. PDF icon [pdf] (202.08 KB)
Arafa, P., G. M. Tchamgoue, H. Kashif, and S. Fischmeister, "QDIME: QoS-aware Dynamic Binary Instrumentation", IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Banff, Canada, 2017. PDF icon [pdf] (560.77 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)
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)
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)
Azim, A., and S. Fischmeister, "Efficient mode changes in multi-mode systems", International Conference on Computer Design (ICCD), pp. 592--599, 2016. PDF icon [pdf] (161.65 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)
Azim, A., G. Carvajal, R. Pellizzoni, and S. Fischmeister, "Generation of Communication Schedules for Multi-Mode Distributed Real-Time Applications", Proceedings of Design, Automation and Test in Europe (DATE), Grenoble, France, pp. 1--6, March, 2014. PDF icon [paper] (1.21 MB)
Azim, A., S. Sundaram, and S. Fischmeister, "An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads", Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), Paris, France, pp. 249 -- 258, Jul, 2013. PDF icon [paper] (411.17 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)

B

Babaee, R., A. Gurfinkel, and S. Fischmeister, "Prevent: a Predictive Run-time Verification Framework Using Statistical Learning", 16th International Conference on Software Engineering and Formal Methods, Toulouse, France, 2018. PDF icon [pdf] (923.26 KB)
Basiri, M. Hossein, N. L. Azad, and S. Fischmeister, "Secure Dynamic Nonlinear Heterogeneous Vehicle Platooning: Denial-of-Service Cyber-Attack Case", Security and Privacy in Cyber-Physical Systems: Threats and Defenses. Studies in Systems, Decision and Control: Springer, 2021. PDF icon [pdf] (1.71 MB)
Basiri, M. Hossein, N. Azad, and S. Fischmeister, "Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control", 28th Mediterranean Conference on Control and Automation (MED), Saint-Raphael, France, IEEE, 2020. PDF icon [pdf] (543.11 KB)
Basiri, M. Hossein, B. Ghojogh, N. L. Azad, S. Fischmeister, F. Karray, and M. Crowley, "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), Jeju Island, Republic of Korea, IEEE, 2020. PDF icon [pdf] (1.95 MB)
Basiri, M. Hossein, N. Azad, and S. Fischmeister, "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), Saint-Raphael, France, IEEE, 2020. PDF icon [pdf] (870.88 KB)
Basiri, M.H., J.G. Thistle, J.W. Simpson-Porco, and S. Fischmeister, "Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems", Annual American Control Conference (ACC), Philadelphia, USA, 2019. PDF icon [pdf] (1.15 MB)
Basiri, M. Hossein, J. Thistle, and S. Fischmeister, "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), vol. 51, issue 15, Stockholm, Sweden, pp. 292--297, 2018. PDF icon [paper] (912.82 KB)
Basiri, M. Hossein, M. Pirani, N. L. Azad, and S. Fischmeister, "Security-aware optimal actuator placement in vehicle platooning", Asian Journal Of Control, 2021. PDF icon [pdf] (5.28 MB)
Basiri, M. H., M. Pirani, N. Azad, and S. Fischmeister, "Security of Vehicle Platooning: A Game-Theoretic Approach", IEEE Access, vol. 7, issue 1, pp. 185565--185579, 2019. PDF icon [pdf] (1.65 MB)
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)
Berkovich, S., B. Bonakdarpour, and S. Fischmeister, "Runtime Verification with Minimal Intrusion Through Parallelism", Formal Methods in System Design, pp. 1-32, 2015.
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.
Blackburn, S. M., A. Diwan, M. Hauswirth, P. Sweeney, J. Nelson Amaral, T. Brecht, L. Bulej, C. Click, L. Eeckhout, S. Fischmeister, et al., "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), vol. 38, issue 4, pp. 1-15, 2016.
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)
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)
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)

C

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)
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)
Carvajal, G., M. Salem, N. Benann, and S. Fischmeister, "Enabling Rapid Construction of Arrival Curves From Execution Traces", IEEE Design & Test, vol. PP, issue 99, 2017.
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. 12, issue 5, pp. 1806-1816, 2016.
Carvajal, G., C. W. Wallace Wu, and S. Fischmeister, "Evaluation of Communication Architectures for Switched Real-time Ethernet", IEEE Transactions on Computers, 2012.
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)
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)
Chen, X., A. Azim, X. Liu, S. Fischmeister, and J. Ma, "DTS: Dynamic TDMA Scheduling for Networked Control Systems", Journal of Systems Architecture, pp. 194-205, 2014.
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.
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)

D

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.
Dunne, M., and S. Fischmeister, "Powertrace-based Fuzzing of CAN Connected Hardware", IEEE International Conference on Cyber Security and Resilience (CSR), Rhodes, Greece, IEEE, 2022.
Dunne, M., G. Gracioli, and S. Fischmeister, "A Comparison of Data Streaming Frameworks for Anomaly Detection in Embedded Systems", International Workshop on Security and Privacy for the Internet-of-Things (IoTSec), Orlando, USA, 2018. PDF icon [pdf] (498.17 KB)

F

Fischmeister, S., "Embedded Systems Knowledge Base --- Austria and Surrounding Regions", OCG-Schriftenreihe, vol. 182: Austrian Computer Society, pp. 200, 2004.
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)
Fischmeister, S., "Web-Service basierte Software (Web-Services)", Software Engineering, 3rd: Hanser Verlag, pp. 217–237, 2004.
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)
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)
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)
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.
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)
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)
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)
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)
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)
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)
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)
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)
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)
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., 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)
Fischmeister, S., "Location Context in Mobile and Pervasive Computing Systems: Technologies, Architectures & Implementation", Computer Science, Salzburg, University of Salzburg, pp. 146, 11/2002.
Fischmeister, S., Building Secure Mobile Agents: The Supervisor-Worker Framework, Vienna, Technical University Vienna, pp. 94, 03/2000. PDF icon [thesis] (440.76 KB)

G

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)

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)
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.
Grisel-Davy, A., M. Bhogayata, S. Pabbi, A. Narayan, and S. Fischmeister, "Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis", ACM SIGBED International Conference on Embedded Software (EMSOFT), Shanghai, China, ACM, 2022.

I

Iegorov, O., and S. Fischmeister, "Parameterless Semi-Supervised Anomaly Detection in Univariate Time Series", Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML), 2020. PDF icon [pdf] (734.3 KB)
Iegorov, O., and S. Fischmeister, "Mining Task Precedence Graphs from Real-Time Embedded System Traces", Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, 2018. PDF icon [pdf] (185.42 KB)
Iegorov, O., R. Torres, and S. Fischmeister, "Periodic Task Mining in Embedded System Traces", IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Pittsburgh, USA, pp. 331-340, 2017. PDF icon [pdf] (389.55 KB)

J

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)
Joshi, Y., G. M. Tchamgoue, and S. Fischmeister, "Runtime Verification of LTL on Lossy Traces", 32nd ACM Symposium on Applied Computing (SAC), Marrakech, Morocco, pp. 1379-1386, 2017. PDF icon [pdf] (325.24 KB)

K

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)
Kashif, H., and H. Patel, "Bounding Buffer Space Requirements for Real-Time Priority-Aware Networks", Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), SunTec, Singapore, January, 2014. PDF icon [paper] (316.03 KB)

(Best Paper Candidate)

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)
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)
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)
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)
Kashif, H., H. Patel, and S. Fischmeister, "Path Selection for Real-Time Communication on Priority-Aware NoCs", ACM Transactions on Design Automation of Electronic Systems , vol. 21, issue 3, pp. 1-25, 2016.
Kashif, H., S. Gholamian, and H. Patel, "SLA: A Stage-level Latency Analysis for Real-time Communication in a Pipelined Resource Model", IEEE Transactions on Computers, vol. PP, issue 99, April, 2014. PDF icon [paper] (763.8 KB)
Kauffman, S., and S. Fischmeister, "Event Stream Abstraction Using Nfer: Demo Abstract", International Conference on Cyber-Physical Systems, Montreal, Canada, ACM, pp. 332 to 333, 2019. PDF icon [pdf] (310.36 KB)
Kauffman, S., K. Havelund, and S. Fischmeister, "Monitorability Over Unreliable Channels", International Conference on Runtime Verification (RV), Porto, Portugal, pp. 256 to 272, 2019. PDF icon [pdf] (413.94 KB)
Kauffman, S., and S. Fischmeister, "Mining Temporal Intervals from Real-time System Traces", 6th International Workshop on Software Mining, Champaign, USA, 2017. PDF icon [paper] (358.91 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)
Kauffman, S., K. Havelund, and S. Fischmeister, "What Can We Monitor Over Unreliable Channels?", International Journal on Software Tools for Technology Transfer, vol. 23, issue 4, pp. 579--600, 2021. PDF icon [pdf] (793.42 KB)
Kauffman, S., M. Dunne, G. Gracioli, W. Khan, N. Benann, and S. Fischmeister, "Palisade: A Framework for Anomaly Detection in Embedded Systems", Journal of Systems Architecture, pp. 1--17, 2020. PDF icon [pdf] (2.04 MB)
Kauffman, S., K. Havelund, R. Joshi, and S. Fischmeister, "Inferring Event Stream Abstractions", Formal Methods in System Design, pp. 29, 2018.
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)
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)

L

Lamichhane, K., C. Moreno, and S. Fischmeister, "Non-Intrusive Program Tracing of Non-Preemptive Multitasking Systems Using Power Consumption", Design, Automation and Test in Europe Conference and Exhibition (DATE), Dresden, Germany, 2018. PDF icon [pdf] (163.04 KB)

M

Medhat, R., B. Bonakdarpour, S. Fischmeister, and Y. Joshi, "Accelerated Runtime Verification of LTL Specifications with Counting Semantics", International Conference on Runtime Verification, Madrid, Spain, pp. 251--267, 2016. PDF icon [pdf] (619.7 KB)
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)
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)
Medhat, R., B. Bonakdarpour, and S. Fischmeister, "Energy-efficient Multiple Producer-Consumer", IEEE Transactions on Parallel and Distributed Systems, 2018.
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.
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)
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)
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)
Menkhaus, G., and S. Fischmeister, "Dialog Model Clustering for User Interface Adaptation", Proceedings of the International Conference on Web Engineering, Oviedo, Spain, Springer-Verlag Heidelberg, June, 2003. PDF icon [paper] (543.04 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)
Moreno, C., and S. Fischmeister, "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), Prague, Czech Republic, 2019. PDF icon [pdf] (773.88 KB)
Moreno, C., and S. Fischmeister, "Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers", Design Automation Conference (DAC), Austin, USA, 2017. PDF icon [pdf] (108.82 KB)
Moreno, C., and S. Fischmeister, "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), Porto, Portugal., 2017. PDF icon [pdf] (270.31 KB)

(Associated poster nominated for Best Poster Award)

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)
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)
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)
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), Washington, USA, ACM, pp. 77-88, 2013. PDF icon [pdf] (742.96 KB)

(best paper award)

Moreno, C., and S. Fischmeister, "Accurate Measurement of Small Execution Times -- Getting Around Measurement Errors", Embedded Systems Letters (ESL), 2017. PDF icon [pdf] (62.02 KB)
Moreno, C., and S. Fischmeister, "Non-Intrusive Runtime Monitoring Through Power Consumption to Enforce Safety and Security Properties in Embedded Systems", Formal Methods in Software Design (FMSD), 2017. PDF icon [pdf] (906.46 KB)
Moreno, C., and S. Fischmeister, Accurate Measurement of Small Execution Times – Getting Around Measurement Errors, no. TR-2017-cmoreno-001, Waterloo, Canada, University of Waterloo, 2017. PDF icon [extended-version TR-2017-cmoreno-001] (126.77 KB)

N

Narayan, A., N. Benann, and S. Fischmeister, "Mining Specifications using Nested Words", Proceedings of the 6th International Workshop on Software Mining, Urbana-Champaign, USA, 2017. PDF icon [paper] (398.65 KB)
Narayan, A., S. Kauffman, J. Morgan, G. Martin Tchamgoue, Y. Joshi, S. Fischmeister, and C. Hobbs, "System Call Logs with Natural Random Faults: Experimental Design and Application", Silicon Errors in Logic -- System Effects (SELSE), Boston, USA, 2017. PDF icon [pdf] (251.78 KB)
Narayan, A., G. Cutulenco, Y. Joshi, and S. Fischmeister, "Mining Timed Regular Specifications from System Traces", ACM Transactions on Embedded Computing Systems, vol. 17, issue 2, 2018. PDF icon [paper] (611.3 KB)
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.
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)
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)
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)
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)
Newsham, Z., A. Oliveira, JC. Petkovich, A. Rehman, G.M. Tchamgoue, and S. Fischmeister, "Intersert: Assertions on Distributed Process Interaction Sessions", IEEE International Conference on Software Quality, Reliability & Security (QRS), Prague, Czech Republic, 2017. PDF icon [pdf] (515.11 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)
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)
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)

O

Oliveira, A., S. Fischmeister, A. Diwan, M. Hauswirth, and P. Sweeney, "Perphecy: Performance Regression Test Selection Made Simple but Effective", Proc. of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST), Tokyo, Japan, 2017. PDF icon [pdf] (252.6 KB)
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)
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)
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)
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)
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)

P

Petkovich, J-C., A. Oliveira, Y. Zhang, T. Reidemeister, and S. Fischmeister, "DataMill: a distributed heterogeneous infrastructure for robust experimentation", Software Practice and Experience, vol. 46, issue 10, pp. 29, 2016.
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)
Pree, W., S. Fischmeister, G. Menkhaus, and G. Stieglbauer, "Middleware fuer eingebettete Systeme (Middleware for Embedded Systems)", Noeo, 2003.

R

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)

S

Sakhuja, S., M. Dunne, and S. Fischmeister, "The Boy Who Cried Wolf: On Precision in CAN Bus Intrusion Detection ", Embedded Security in Cars, Michigan, USA, 2021.
Salem, M., G. Carvajal, T. Liu, and S. Fischmeister, "Assessing the Robustness of Arrival Curves Models for Real-time Systems", Intl. Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, pp. 23--40, 2019. PDF icon [pdf] (972.27 KB)
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)
Schmidt, L., A. Narayan, and S. Fischmeister, "TREM: A Tool for Mining Timed Regular Specifications from System Traces", Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Urbana-Champaign, USA, 2017. PDF icon [paper] (409.66 KB)
Sharma, S., A. Flores, C. Hobbs, J. Stafford, and S. Fischmeister, "Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA", Workshop on Autonomous Systems Design (ASD 2019), Florence, Italy, 2019. PDF icon [pdf] (406.67 KB)
Sharma, S., A. Flores, C. Moreno, C. Hobbs, J. Stafford, K. Lamichhane, W. Khan, and S. Fischmeister, "Lessons-learned from Applying STAMP Safety and Security Analysis on AEB for L4 Autonomous Driving", STAMP Workshop, 2018.
Shrestha, S. Lal, T. Lee, and S. Fischmeister, "Metasploit for Cyber-Physical Security Testing with Real-Time Constraints", 5th International Conference on Science of Cyber Security (SciSec), Matsue, Japan, 2022.
Sucholutsky, I., A. Narayan, M. Schonlau, and S. Fischmeister, "Deep Learning for System Trace Restoration", International Joint Conference on Neural Networks (IJCNN), Budapest, Hungary, 2019. PDF icon [pdf] (198.57 KB)

T

Tchamgoue, G. Martin, and S. Fischmeister, "Lessons Learned on Assumptions and Scalability with Time-Aware Instrumentation", International Conference on Embedded Software (EMSOFT), Pittsburgh, USA, pp. 1 - 7, 2016. PDF icon [pdf] (276.28 KB)
Thakur, S., and S. Fischmeister, "A Generalizable Saliency Map-based Interpretation of Model Outcome", International Conference on Pattern Recognition (CPR), Milano, Italy, 2020. PDF icon [pdf] (5.35 MB)
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)

V

Valov, P., J-C. Petkovich, J. Guo, S. Fischmeister, and K. Czarnecki, "Transferring Performance Prediction Models Across Different Hardware Platforms", International Conference on Performance Engineering (ICPE), L'Aquila, Italy, 2017. PDF icon [pdf] (821.37 KB)

W

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)
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)

Z

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)

Publications search

Opportunities

Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.