References

Filter by:

Enter a value to search for title and contributor(s).
Enter a comma separated list of keywords.
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.
Iegorov, O. ., Torres, R. ., & Fischmeister, S. . (2017). Periodic Task Mining in Embedded System Traces. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 331-340. Pittsburgh, USA. https://doi.org/10.1109/RTAS.2017.5