Publications

Filter by:

Enter a value to search for title and contributor(s).
Enter a comma separated list of keywords.
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)
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)
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)
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)