Laura Nenzi: Unterschied zwischen den Versionen
K
aktuellere Publikation ergänzt
K (1 Version importiert: bei Wikipedia vom Löschen bedroht, bzw. Aktualisierung) |
de>Sandra Folie K (aktuellere Publikation ergänzt) |
||
| Zeile 21: | Zeile 21: | ||
==== Artikel in Zeitschriften und Sammelbänden (Auswahl) ==== | ==== Artikel in Zeitschriften und Sammelbänden (Auswahl) ==== | ||
* mit L. Bortolussi und R. Lanciani: ''Model checking Markov population modelsby stochastic approximations''. In: ''Information and Computation'' 262 (2018), S. 189–220. DOI: 10.1016/j.ic.2018.09.004. | * mit E. Bartocci et al.: ''MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties''. In: ''Runtime Verification. 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings''. Hrsg. von Jyotirmoy Deshmukh und Dejan Ničković. Springer, Cham 2020, S. 417–428. ISBN 978-3-030-60508-7. | ||
*mit L. Bortolussi und R. Lanciani: ''Model checking Markov population modelsby stochastic approximations''. In: ''Information and Computation'' 262 (2018), S. 189–220. DOI: 10.1016/j.ic.2018.09.004. | |||
* mit L. Bortolussi et al.: ''Qualitative and Quanti-tative Monitoring of Spatio-Temporal Properties with SSTL''. In: ''Logical Methods in Computer Science'' 14/4 (2018). DOI: 10.1016/j.ic.2018.09.004. | * mit L. Bortolussi et al.: ''Qualitative and Quanti-tative Monitoring of Spatio-Temporal Properties with SSTL''. In: ''Logical Methods in Computer Science'' 14/4 (2018). DOI: 10.1016/j.ic.2018.09.004. | ||
* mit S. Silvetti, E. Bartocci und L. Bortolussi: ''Signal Convolution Logic''. In: ''ATVA 2018: The 16th International Symposium on Automated Technology for Verificationand Analysis'' 11138, Springer 2018, S. 267–283. DOI: 10.1007/978-3-030-01090-4_16. | * mit S. Silvetti, E. Bartocci und L. Bortolussi: ''Signal Convolution Logic''. In: ''ATVA 2018: The 16th International Symposium on Automated Technology for Verificationand Analysis'' 11138, Springer 2018, S. 267–283. DOI: 10.1007/978-3-030-01090-4_16. | ||