Sfoglia per Autore
On the Robustness of Temporal Properties for Stochastic Models
2013-01-01 Bartocci, E.; Bortolussi, Luca; Nenzi, L.; Sanguinetti, G.
A temporal logic approach to modular design of synthetic biological circuits
2013-01-01 Bartocci, E.; Bortolussi, Luca; Nenzi, L.
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits
2013-01-01 Ezio, Bartocci; Bortolussi, Luca; Nenzi, Laura
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
2015-01-01 Nenzi, Laura; Bortolussi, Luca
System design of stochastic models using robustness of temporal properties
2015-01-01 Bartocci, Ezio; Bortolussi, Luca; Nenzi, Laura; Sanguinetti, Guido
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
2015-01-01 Bartocci, Ezio; Bortolussi, Luca; Milios, Dimitrios; Nenzi, Laura; Sanguinetti, Guido
Qualitative and quantitative monitoring of spatio-temporal properties
2015-01-01 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
Automatic verification of reliability requirements of spatio-temporal analysis using three-valued spatio-temporal logic
2017-01-01 Vissat, Ludovica Luisa; Hillston, Jane; Loreti, Michele; Nenzi, Laura
jSSTL - A tool to monitor spatio-temporal properties
2017-01-01 Bortolussi, Luca; Loreti, Michele; Nenzi, Laura
Monitoring mobile and spatially distributed cyber-physical systems
2017-01-01 Bartocci, Ezio; Bortolussi, Luca; Loreti, Michele; Nenzi, Laura
Three-valued spatio-temporal logic: A further analysis on spatio-temporal properties of stochastic systems
2017-01-01 LUISA VISSAT, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn
A robust genetic algorithm for learning temporal specifications from data
2018-01-01 Nenzi, Laura; Silvetti, Simone; Bartocci, Ezio; Bortolussi, Luca
Signal Convolution Logic
2018-01-01 Silvetti, Simone; Nenzi, Laura; Bartocci, Ezio; Bortolussi, Luca
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
2018-01-01 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
Model checking Markov population models by stochastic approximations
2018-01-01 Bortolussi, Luca; Lanciani, Roberta; Nenzi, Laura
Analysis of spatio-temporal properties of stochastic systems using TSTL
2019-01-01 Vissat, L. L.; Loreti, M.; Nenzi, L.; Hillston, J.; Marion, G.
Modelling and Analysing Resilient Cyber-Physical Systems
2019-01-01 Bennaceur, A.; Ghezzi, C.; Tei, K.; Kehrer, T.; Weyns, D.; Calinescu, R.; Dustdar, S.; Hu, Z.; Honiden, S.; Ishikawa, F.; Jin, Z.; Kramer, J.; Litoiu, M.; Loreti, M.; Moreno, G.; Muller, H.; Nenzi, L.; Nuseibeh, B.; Pasquale, L.; Reisig, W.; Schmidt, H.; Tsigkanos, C.; Zhao, H.
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
2019-01-01 Lamp, J.; Silvetti, S.; Breton, M.; Nenzi, L.; Feng, L.
Inferring analyzable models from trajectories of spatially-distributed internet of things
2019-01-01 Tsigkanos, C.; Nenzi, L.; Loreti, M.; Garriga, M.; Dustdar, S.; Ghezzi, C.
Monitoring Spatio-Temporal Properties (Invited Tutorial)
2020-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.; Visconti, E.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile