Παρακολούθηση
Luca Bortolussi
Luca Bortolussi
Università di Trieste
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα units.it - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
1762013
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
1112014
Smoothed model checking for uncertain continuous-time Markov chains
L Bortolussi, D Milios, G Sanguinetti
Information and Computation 247, 235-253, 2016
962016
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
832015
Modeling biological systems in stochastic concurrent constraint programming
L Bortolussi, A Policriti
Constraints 13 (1), 66-90, 2008
832008
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification, 21-37, 2015
782015
Fluid model checking
L Bortolussi, J Hillston
International Conference on Concurrency Theory, 333-347, 2012
662012
On the robustness of temporal properties for stochastic models
E Bartocci, L Bortolussi, L Nenzi, G Sanguinetti
arXiv preprint arXiv:1309.0866, 2013
652013
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
622017
Learning and Designing Stochastic Processes from Logical Constraints
L Bortolussi, G Sanguinetti
Logical Methods in Computer Science 11 (2), 2015
592015
Stochastic concurrent constraint programming and differential equations
L Bortolussi, A Policriti
Electronic Notes in Theoretical Computer Science 190 (3), 27-42, 2007
582007
Stochastic concurrent constraint programming
L Bortolussi
Electronic Notes in Theoretical Computer Science 164 (3), 65-80, 2006
582006
Temporal logic based monitoring of assisted ventilation in intensive care patients
S Bufo, E Bartocci, G Sanguinetti, M Borelli, U Lucangelo, L Bortolussi
International Symposium On Leveraging Applications of Formal Methods …, 2014
532014
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
502014
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
462015
Hybrid dynamics of stochastic programs
L Bortolussi, A Policriti
Theoretical Computer Science 411 (20), 2052-2077, 2010
452010
Hybrid systems and biology
L Bortolussi, A Policriti
International School on Formal Methods for the Design of Computer …, 2008
442008
HYPE: Hybrid modelling by composition of flows
V Galpin, L Bortolussi, J Hillston
Formal Aspects of Computing 25 (4), 503-541, 2013
42*2013
A temporal logic approach to modular design of synthetic biological circuits
E Bartocci, L Bortolussi, L Nenzi
International Conference on Computational Methods in Systems Biology, 164-177, 2013
372013
U-check: Model checking and parameter synthesis under uncertainty
L Bortolussi, D Milios, G Sanguinetti
International Conference on Quantitative Evaluation of Systems, 89-104, 2015
352015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20