Newsham, Z., Ganesh, V., Fischmeister, S., Audemard, G., & Simon, L. (2014). Impact of Community Structure on SAT Solver Performance 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), 252-268. Vienna, Austria.
References
Filter by:
Kashif, H., & Patel, H. (2014). Bounding Buffer Space Requirements for Real-Time Priority-Aware Networks Presented at the Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC) conference. SunTec, Singapore. (Original work published 2026)
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
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)
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)
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)
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)
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., Arafa, P., & Fischmeister, S. (2013). INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties Presented at the Proc. Of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) conference. Taipei, Taiwan. (Original work published 2026)