Publications

Filter by:

Enter a value to search for title and contributor(s).
Enter a comma separated list of keywords.
Oliveira, A. ., Petkovich, J.-C. ., Reidemeister, T. ., & Fischmeister, S. . (2013). DataMill: Rigorous Performance Evaluation Made Easy. Proc. Of the 4th ACM SPEC International Conference on Performance Engineering (ICPE), 137-149. Prague, Czech Republic. (Original work published 2025)
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)