Biblio

Found 3 results
Filters: Keyword is Runtime verification  [Clear All Filters]
2017
Jakšić, S. et al., 2017. COEMS – open traces from the industry. In RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Seattle, WA, USA: EasyChair. Available at: https://easychair.org/publications/paper/QljX.
PDF icon COEMS_open_traces_from_the_industry.pdf (772.18 KB)
2016
Decker, N., Leucker, M. & Thoma, D., 2016. Monitoring modulo theories. International Journal on Software Tools for Technology Transfer, 18(2), pp.205-225. Available at: http://dx.doi.org/10.1007/s10009-015-0380-3.
PDF icon Decker_Leucker_Thoma-Monitoring_Modulo_Theories-STTT15.pdf (586.11 KB)
2014
Scheffel, T. & Schmitz, M., 2014. Three-Valued Asynchronous Distributed Runtime Verification. In International Conference on Formal Methods and Models for System Design (MEMOCODE). International Conference on Formal Methods and Models for System Design (MEMOCODE). 10/2014. EPFL, Lausanne, Switzerland: IEEE. Available at: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961843.
PDF icon fdtl.pdf (516.65 KB)