Biblio

Found 2 results
Filters: Keyword is Runtime verification  [Clear All Filters]
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)