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