Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nenzi, Laura
45  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

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

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

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

Bortolussi, Luca ; Gallo, Giuseppe Maria ; Křetínský, Jan.
http://arxiv.org/abs/2201.09928.  , 2022
Link: http://arxiv.org/abs/220..
 
?
4

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

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

Mohammadinejad, Sara ; Deshmukh, Jyotirmy V ; Nenzi, Laura
http://arxiv.org/abs/2106.08548.  , 2021
Link: http://arxiv.org/abs/210..
 
?
6

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

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

Pigozzi, Federico ; Medvet, Eric ; Nenzi, Laura
info:eu-repo/semantics/altIdentifier/wos/WOS:000723779400001.  , 2021
Link: http://hdl.handle.net/11..
 
?
8

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

Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele..
http://arxiv.org/abs/2104.14333.  , 2021
Link: http://arxiv.org/abs/210..
 
?
9

A kernel function for Signal Temporal Logic formulae:

Bortolussi, Luca ; Gallo, Giuseppe Maria ; Nenzi, Laura
http://arxiv.org/abs/2009.05484.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

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

Lamp, Josephine ; Silvetti, Simone ; Breton, Marc..
http://arxiv.org/abs/1906.10073.  , 2019
Link: http://arxiv.org/abs/190..
 
?
11

Modelling and Analysing Resilient Cyber-Physical Systems:

Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji...
hal-02104308.  , 2019
Link: https://hal.science/hal-..
 
?
12

Modelling, specification, and programming for collective ad..:

Seebach, Hella ; Belzner, Lenz ; Gribaudo, Marco...
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64456.  , 2019
Link: https://opus.bibliothek...
 
?
13

Modelling and analysing resilient cyber-physical systems:

Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji...
13RC2094.  , 2019
Link: http://hdl.handle.net/10..
 
?
14

Modelling and Analysing Resilient Cyber-Physical Systems:

Bennaceur, Amel ; Ghezzi, Carlo ; Tei, Kenji...
hal-02104308.  , 2019
Link: https://hal.science/hal-..
 
?
15

Monitoring Mobile and Spatially Distributed Cyber-Physical ..:

Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele.
http://arxiv.org/abs/1904.08847.  , 2019
Link: http://arxiv.org/abs/190..
 
1-15