Laura Nenzi: Unterschied zwischen den Versionen

338 Bytes hinzugefügt ,  4. März 2021
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.
Anonymer Benutzer