Name Card

Full name Familienname, Vorname
Visconti, Ennio
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura WebMonitor: Verification of Web User InterfacesInproceedings Konferenzbeitrag 5-Jan-2023
2Vana Gür, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Georg Posterior predictive model assessment using formal methods in a spatio-temporal modelPreprint Preprint3-Oct-2022
3Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo Model-driven engineering city spaces via bidirectional model transformationsArtikel Article 2021
4Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele ; Nenzi, Laura Online monitoring of spatio-temporal properties for imprecise signalsKonferenzbeitrag Inproceedings2021
5Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio Monitoring Spatio-Temporal Properties (Invited Tutorial)Konferenzbeitrag Inproceedings2020
6Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo Model-Driven Design of City Spaces via Bidirectional TransformationsKonferenzbeitrag Inproceedings 2019