Capra Lorenzo

RICERCATORE CONFERMATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16256
E-mail di ateneo
Sito web
mer-ven h 14.30
Luogo di ricevimento
stanza 5052

Didattica

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.