Obserwuj
Luca Bortolussi
Tytuł
Cytowane przez
Cytowane przez
Rok
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
2092013
Data-driven statistical learning of temporal logic properties
E Bartocci, L Bortolussi, G Sanguinetti
International conference on formal modeling and analysis of timed systems, 23-37, 2014
1302014
Smoothed model checking for uncertain continuous-time Markov chains
L Bortolussi, D Milios, G Sanguinetti
Information and Computation 247, 235-253, 2016
1192016
System design of stochastic models using robustness of temporal properties
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
Theoretical Computer Science 587, 3-25, 2015
1042015
Robustness of bayesian neural networks to gradient-based attacks
G Carbone, M Wicker, L Laurenti, A Patane, L Bortolussi, G Sanguinetti
Advances in Neural Information Processing Systems 33, 15602-15613, 2020
942020
Modeling biological systems in stochastic concurrent constraint programming
L Bortolussi, A Policriti
Constraints 13, 66-90, 2008
882008
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
822015
Monitoring mobile and spatially distributed cyber-physical systems
E Bartocci, L Bortolussi, M Loreti, L Nenzi
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
812017
On the robustness of temporal properties for stochastic models
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
arXiv preprint arXiv:1309.0866, 2013
772013
Fluid model checking
L Bortolussi, J Hillston
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
732012
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Logical Methods in Computer Science 14 (Modal and temporal logics), 2018
692018
A robust genetic algorithm for learning temporal specifications from data
L Nenzi, S Silvetti, E Bartocci, L Bortolussi
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
652018
CARMA: collective adaptive resource-sharing Markovian agents
L Bortolussi, R De Nicola, V Galpin, S Gilmore, J Hillston, D Latella, ...
arXiv preprint arXiv:1509.08560, 2015
642015
Learning and Designing Stochastic Processes from Logical Constraints
L Bortolussi, G Sanguinetti
Logical Methods in Computer Science 11 (2), 2015
642015
Temporal logic based monitoring of assisted ventilation in intensive care patients
S Bufo, E Bartocci, G Sanguinetti, M Borelli, U Lucangelo, L Bortolussi
Leveraging Applications of Formal Methods, Verification and Validation …, 2014
642014
Stochastic concurrent constraint programming and differential equations
L Bortolussi, A Policriti
Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007
632007
Stochastic concurrent constraint programming
L Bortolussi
Electronic Notes in Theoretical Computer Science 164 (3), 65-80, 2006
632006
Specifying and monitoring properties of stochastic spatio-temporal systems in signal temporal logic
L Bortolussi, L Nenzi
Proceedings of the 8th International Conference on Performance Evaluation …, 2014
562014
Hybrid systems and biology: continuous and discrete modeling for systems biology
L Bortolussi, A Policriti
Formal Methods for Computational Systems Biology: 8th International School …, 2008
522008
HYPE: Hybrid modelling by composition of flows
V Galpin, L Bortolussi, J Hillston
Formal Aspects of Computing 25, 503-541, 2013
49*2013
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20