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 2026)
References
Filter by:
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 2026)
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
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 2026)
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 2026)
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 2026)
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 2026)
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 2026)
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 2026)
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 2026)