E-LIB Suche - Ergebnisse für: Nenzi, Laura

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

Context, Composition, Automation, and Communication - The C..:

Uhrmacher, Adelinde M ; Frazier, Peter ; Hähnle, Reiner...
ACM Transactions on Modeling and Computer Simulation. , 2024

Link: https://doi.org/10.1145/..

3

Predicting decentmon:

Ennio Visconti ; Ezio Bartocci ; Ylies Falcone.
doi:10.6084/m9.figshare.24128775.v1. , 2024

Link: https://doi.org/10.6084/..

4

Predicting decentmon:

Ennio Visconti ; Ezio Bartocci ; Ylies Falcone.
doi:10.6084/m9.figshare.24128775.v1. , 2024

Link: https://doi.org/10.6084/..

5

MoonLight: a lightweight tool for monitoring spatio-tempora..:

Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca..
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 503-517 , 2023

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

6

Flows of People and Things in Early Modern Japan: Print Cul..:

, In: The New Cambridge History of Japan,

Nenzi, Laura - p. 507-536 , 2023

Link: https://doi.org/10.1017/..

7

Runtime Verification: 23rd International Conference, RV 202..

Lecture Notes in Computer Science, 14245

Katsaros, Panagiotis ; Nenzi, Laura - 1st ed. 2023 . , 2023

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

8

Context, Composition, Automation, and Communication -- The ..:

Uhrmacher, Adelinde ; Frazier, Peter ; Hähnle, Reiner...
http://arxiv.org/abs/2310.05649. , 2023

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

9

One-Shot Learning of Ensembles of Temporal Logic Formulas f..:

, In: Lecture Notes in Computer Science; Genetic Programming,

Indri, Patrick ; Bartoli, Alberto ; Medvet, Eric. - p. 34-50 , 2022

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

10

Software Verification and Formal Methods for ML-Enabled Aut..

Lecture Notes in Computer Science, 13466

Isac, Omri ; Ivanov, Radoslav ; Katz, Guy.. - 1st ed. 2022 . , 2022

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

11

The Tokugawa World ed. by Gary P. Leupp and De-min Tao:

Nenzi, Laura
Monumenta Nipponica. 77 (2022) 2 - p. 330-334 , 2022

Link: https://doi.org/10.1353/..

12

Learning Model Checking and the Kernel Trick for Signal Tem..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bortolussi, Luca ; Gallo, Giuseppe Maria ; Křetínský, Jan. - p. 281-300 , 2022

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

13

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..

14

CHAPTER 3 Women's Travel Narratives in Early Modern Japan: ..:

, In: Traditions of East Asian Travel,

Nenzi, Laura - p. 44-69 , 2022

Link: https://doi.org/10.1515/..

15

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..