Capra Lorenzo
RICERCATORE CONFERMATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA
Contatti
Sede di lavoro
Numero di telefono dell'ufficio
E-mail di ateneo
E-mail
Sito web
Didattica
A.A. 2019/2020
A.A. 2018/2019
A.A. 2017/2018
A.A. 2016/2017
A.A. 2015/2016
A.A. 2014/2015
Ricerca
Pubblicazioni
-
PNemu: An Extensible Modeling Library for Adaptable Distributed Systems / M. Camilli, L. Capra, C. Bellettini (LECTURE NOTES IN COMPUTER SCIENCE). - In: Application and Theory of Petri Nets and Concurrency / [a cura di] S. Donatelli, S. Haar. - [s.l] : Springer, 2019 May. - ISBN 9783030215705. - pp. 80-90 (( Intervento presentato al 40. convegno PETRI NETS tenutosi a Aachen nel 2019.
-
A high-level petri net-based formal model of distributed self-adaptive systems / M. Camilli, C.N.M. Bellettini, L. Capra - In: ECSA '18 : Proceedings[s.l] : ACM, 2018 Sep 24. - ISBN 9781450364836. - pp. 1-7 (( Intervento presentato al 12. convegno European Conference on Software Architecture tenutosi a Madrid nel 2018.
-
Towards Evolving Petri Nets: a Symmetric Nets-based Framework / L. Capra, M. Camilli (IFAC-PAPERSONLINE). - In: 14th IFAC Workshop on Discrete Event Systems WODES 2018 / [a cura di] G. De Tommasi. - [s.l] : Elsevier, 2018 Jul. - pp. 480-485 (( Intervento presentato al 14. convegno Discrete Event Systems WODES tenutosi a Sorrento nel 2018.
-
Design-Time to Run-Time Verification of Microservices Based Applications / M. Camilli, C. Bellettini, L. Capra - In: Software Engineering and Formal Methods / [a cura di] A. Cerone, M. Roveri. - [s.l] : Springer International Publishing, 2018 Feb. - ISBN 9783319747804. - pp. 168-173 (( Intervento presentato al 15. convegno International Conference on Software Engineering and Formal Methods (SEFM) tenutosi a Trento nel 2017.
-
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding / M. Beccuti, L. Capra, M. De Pierro, G. Franceschinis, S. Pernice (LECTURE NOTES IN COMPUTER SCIENCE). - In: Computer Performance Engineering / [a cura di] R. Bakhshi, P. Ballarini, B. Barbot, H. Castel-Taleb, A. Remke. - Prima edizione. - [s.l] : Springer Verlag, 2018. - ISBN 9783030022266. - pp. 30-45 (( Intervento presentato al 15. convegno EPEW tenutosi a Paris nel 2018.