BORTOLUSSI, LUCA
BORTOLUSSI, LUCA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
An active learning approach to the falsification of black box cyber-physical systems
2017 Silvetti, S; Policriti, A; Bortolussi, L
jSSTL - A tool to monitor spatio-temporal properties
2017 Bortolussi L.; Loreti M.; Nenzi L.
Policy learning in continuous-time Markov decision processes using Gaussian Processes
2017 Bartocci, E; Bortolussi, L; Brazdil, T; Milios, D; Sanguinetti, G
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours
2017 Massink M.; Ter Beek M. H.; Bortolussi L.; Ciancia V.; Gnesi S.; Hillston J.; Latella D.; Loreti M.; Tribastone M.; Vandin A.
QUANTICOL - Combining spatial verification with model reduction and relating local and global views
2017 Massink M.; Ter Beek M.; Bortolussi L.; Ciancia V.; Gnesi S.; Hillston J.; Latella D.; Loreti M.; Tribastone M.; Vandin A.
Fluid analysis of spatio-temporal properties of agents in a population model
2016 Bortolussi, L; Tschaikowski, M
Hybrid behaviour of Markov population models
2016 Bortolussi L.
Location aggregation of spatial population CTMC models
2016 Bortolussi, L; Feng, C
Logic-based multi-objective design of chemical reaction networks
2016 Bortolussi L.; Policriti A.; Silvetti S.
Matching models across abstraction levels with Gaussian processes
2016 Caravagna G.; Bortolussi L.; Sanguinetti G.
Mean field approximation of uncertain stochastic models
2016 Bortolussi, L; Gast, N
Mean-field limits beyond ordinary differential equations
2016 Bortolussi, L; Gast, N
Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent
2016 Bartocci, E; Bortolussi, L; Brazdil, T; Milios, D; Sanguinetti, G
Scalable verification for spatial stochastic logics
2016 Bortolussi L.; Ciancia V.; Gilmore S.; Hillston J.; Latella D.; Loreti M.; Massink M.; Nenzi L.; Paskauskas R.; Tribastone M.; Tschaikowski M.
Smoothed model checking for uncertain Continuous-Time Markov Chains
2016 Bortolussi L.; Milios D.; Sanguinetti G.
Studying emergent behaviours in morphogenesis using signal spatio-temporal logic
2016 Bartocci E.; Bortolussi L.; Milios D.; Nenzi L.; Sanguinetti G.
A unified view of spatial representation and analysis techniques
2015 Galpin, V; Bortolussi, L; Ciancia, V; Feng, C; Gast, N; Hillston, J; Massink, M; Latella, D; Tribastone, M; Tschaikowski, M
CARMA: Collective Adaptive Resource-sharing Markovian Agents
2015 Bortolussi, L; De Nicola, R; Galpin, V; Gilmore, S; Hillston, J; Latella, D; Loreti, M; Massink, M
Efficient checking of individual rewards properties in Markov population models
2015 Bortolussi, L; Hillston, J
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction
2015 Bortolussi L.; Milios D.; Sanguinetti G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An active learning approach to the falsification of black box cyber-physical systems | 1-gen-2017 | Silvetti, S; Policriti, A; Bortolussi, L | |
| jSSTL - A tool to monitor spatio-temporal properties | 1-gen-2017 | Bortolussi L.; Loreti M.; Nenzi L. | |
| Policy learning in continuous-time Markov decision processes using Gaussian Processes | 1-gen-2017 | Bartocci, E; Bortolussi, L; Brazdil, T; Milios, D; Sanguinetti, G | |
| QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours | 1-gen-2017 | Massink M.; Ter Beek M. H.; Bortolussi L.; Ciancia V.; Gnesi S.; Hillston J.; Latella D.; Loreti M.; Tribastone M.; Vandin A. | |
| QUANTICOL - Combining spatial verification with model reduction and relating local and global views | 1-gen-2017 | Massink M.; Ter Beek M.; Bortolussi L.; Ciancia V.; Gnesi S.; Hillston J.; Latella D.; Loreti M.; Tribastone M.; Vandin A. | |
| Fluid analysis of spatio-temporal properties of agents in a population model | 1-gen-2016 | Bortolussi, L; Tschaikowski, M | |
| Hybrid behaviour of Markov population models | 1-gen-2016 | Bortolussi L. | |
| Location aggregation of spatial population CTMC models | 1-gen-2016 | Bortolussi, L; Feng, C | |
| Logic-based multi-objective design of chemical reaction networks | 1-gen-2016 | Bortolussi L.; Policriti A.; Silvetti S. | |
| Matching models across abstraction levels with Gaussian processes | 1-gen-2016 | Caravagna G.; Bortolussi L.; Sanguinetti G. | |
| Mean field approximation of uncertain stochastic models | 1-gen-2016 | Bortolussi, L; Gast, N | |
| Mean-field limits beyond ordinary differential equations | 1-gen-2016 | Bortolussi, L; Gast, N | |
| Policy learning for time-bounded reachability in continuous-time Markov decision processes via doubly-stochastic gradient ascent | 1-gen-2016 | Bartocci, E; Bortolussi, L; Brazdil, T; Milios, D; Sanguinetti, G | |
| Scalable verification for spatial stochastic logics | 1-gen-2016 | Bortolussi L.; Ciancia V.; Gilmore S.; Hillston J.; Latella D.; Loreti M.; Massink M.; Nenzi L.; Paskauskas R.; Tribastone M.; Tschaikowski M. | |
| Smoothed model checking for uncertain Continuous-Time Markov Chains | 1-gen-2016 | Bortolussi L.; Milios D.; Sanguinetti G. | |
| Studying emergent behaviours in morphogenesis using signal spatio-temporal logic | 1-gen-2016 | Bartocci E.; Bortolussi L.; Milios D.; Nenzi L.; Sanguinetti G. | |
| A unified view of spatial representation and analysis techniques | 1-gen-2015 | Galpin, V; Bortolussi, L; Ciancia, V; Feng, C; Gast, N; Hillston, J; Massink, M; Latella, D; Tribastone, M; Tschaikowski, M | |
| CARMA: Collective Adaptive Resource-sharing Markovian Agents | 1-gen-2015 | Bortolussi, L; De Nicola, R; Galpin, V; Gilmore, S; Hillston, J; Latella, D; Loreti, M; Massink, M | |
| Efficient checking of individual rewards properties in Markov population models | 1-gen-2015 | Bortolussi, L; Hillston, J | |
| Efficient stochastic simulation of systems with multiple time scales via statistical abstraction | 1-gen-2015 | Bortolussi L.; Milios D.; Sanguinetti G. |