Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nenzi, Laura
95  Ergebnisse:
Personensuche X
?
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

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/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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

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/..
 
?
8

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/..
 
?
9

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/..
 
?
10

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

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/..
 
?
12

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

Mining Road Traffic Rules with Signal Temporal Logic and Gr..:

Pigozzi, Federico ; Medvet, Eric ; Nenzi, Laura
Applied Sciences.  11 (2021)  22 - p. 10573 , 2021
Link: https://doi.org/10.3390/..
 
?
14

Mining Interpretable Spatio-Temporal Logic Properties for S..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura - p. 91-107 , 2021
Link: https://doi.org/10.1007/..
 
?
15

MoonLight: A Lightweight Tool for Monitoring Spatio-Tempora..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele.. - p. 417-428 , 2020
Link: https://doi.org/10.1007/..
 
1-15