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 2026)
References
Filter by:
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
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 2026)
Wu, W., Kumar, D., Bonakdarpour, B., & Fischmeister, S. (2013). Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques Presented at the Proc. Of the International Conference on Runtime Verification (RV) conference. (Original work published 2026)
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)
Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2013). GPU-based Runtime Verification Presented at the IEEE International Parallel & Distributed Processing Symposium (IPDPS) conference. (Original work published 2026)
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 Presented at the Proc. Of the ACM Symposium on the Foundations of Software Engineering (FSE) conference. St. Petersburg, Russia.
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 2026)
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
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