E-LIB Suche - Ergebnisse für: Visconti, Ennio

1

Adaptable Configuration of Decentralized Monitors:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Visconti, Ennio ; Bartocci, Ezio ; Falcone, Yliès. - p. 197-217 , 2024

Link: https://doi.org/10.1007/..

2

WebMonitor: Verification of Web User Interfaces:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura - p. 1-4 , 2022

Link: https://dl.acm.org/doi/1..

3

Model-driven engineering city spaces via bidirectional mode..:

Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang.
Software and Systems Modeling. 20 (2021) 6 - p. 2003-2022 , 2021

Link: https://doi.org/10.1007/..

4

Online monitoring of spatio-temporal properties for impreci..:

, In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design,

Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele. - p. 78-88 , 2021

Link: https://dl.acm.org/doi/1..

5

Monitoring Spatio-Temporal Properties (Invited Tutorial):

, In: Runtime Verification; Lecture Notes in Computer Science,

Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca.. - p. 21-46 , 2020

Link: https://doi.org/10.1007/..

6

WebMonitor: Verification of Web User Interfaces:

Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura
info:eu-repo/semantics/altIdentifier/isbn/9781450394758. , 2022

Link: https://hdl.handle.net/1..

7

Posterior predictive model assessment using formal methods ..:

Vana, Laura ; Visconti, Ennio ; Nenzi, Laura..
http://arxiv.org/abs/2110.01360. , 2021

Link: http://arxiv.org/abs/211..

8

Online Monitoring of Spatio-Temporal Properties for Impreci..:

Visconti, Ennio ; Bartocci, Ezio ; Loreti, Michele.
http://arxiv.org/abs/2109.08081. , 2021

Link: http://arxiv.org/abs/210..

9

Florilegio Visconteo o sia estratto della principale erudiz..:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10477323-0. , 1849

Link: http://mdz-nbn-resolving..

10

Florilegio Visconteo o sia estratto della principale erudiz..:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10477321-9. , 1848

Link: http://mdz-nbn-resolving..

11

Florilegio Visconteo o sia estratto della principale erudiz..:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10477322-4. , 1848

Link: http://mdz-nbn-resolving..

12

Due Discorsi inediti di Ennio Quirino Visconti con alcune s..:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10679973-1. , 1841

Link: http://mdz-nbn-resolving..

13

Monumenti scelti Borghesiani / 5:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10257763-2. , 1837

Link: http://mdz-nbn-resolving..

14

Monumenti scelti Borghesiani / 6:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10257764-7. , 1837

Link: http://mdz-nbn-resolving..

15

Monumenti scelti Borghesiani / 4:

Visconti, Ennio Quirino
http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb10257762-6. , 1836

Link: http://mdz-nbn-resolving..