Publications

Filter by:

Enter a value to search for title and contributor(s).
Enter a comma separated list of keywords.
Arafa, P. ., Tchamgoue, G. M., Kashif, H. ., & Fischmeister, S. . (2017). QDIME: QoS-aware Dynamic Binary Instrumentation. IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems. Presented at the. Banff, Canada.
Joshi, Y. ., Tchamgoue, G. M., & Fischmeister, S. . (2017). Runtime Verification of LTL on Lossy Traces. 32nd ACM Symposium on Applied Computing (SAC), 1379-1386. Marrakech, Morocco. https://doi.org/10.1145/3019612.3019827
Narayan, A. ., Benann, N. ., & Fischmeister, S. . (2017). Mining Specifications using Nested Words. Proceedings of the 6th International Workshop on Software Mining. Presented at the. Urbana-Champaign, USA.