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

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

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

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

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

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

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

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

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

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

Modelling and analysing resilient cyber-physical systems:

, In: Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji... - p. 70-76 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Inferring analyzable models from trajectories of spatially-..:

, In: Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Tsigkanos, Christos ; Nenzi, Laura ; Loreti, Michele... - p. 100-106 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

A Logic-Based Learning Approach to Explore Diabetes Patient..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,
Lamp, Josephine ; Silvetti, Simone ; Breton, Marc.. - p. 188-206 , 2019
Link: https://doi.org/10.1007/..
 
?
14

A Robust Genetic Algorithm for Learning Temporal Specificat..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio. - p. 323-338 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Automatic verification of reliability requirements of spati..:

, In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools,
Vissat, Ludovica Luisa ; Hillston, Jane ; Loreti, Michele. - p. 225-226 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15