Capra Lorenzo
RICERCATORE CONFERMATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA
Competenze e ambito di ricerca
Contatti
Sede di lavoro
Numero di telefono dell'ufficio
E-mail di ateneo
E-mail
Sito web
Didattica
A.A. 2020/2021
A.A. 2019/2020
A.A. 2018/2019
A.A. 2017/2018
A.A. 2016/2017
A.A. 2015/2016
Ricerca
Pubblicazioni
-
Towards a Petri net Model for Graph Transformation Systems / L. Capra. - In: IAENG INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS. - ISSN 1992-9978. - 49:4(2019 Nov 20), pp. 415-420.
-
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.
-
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets / L. Capra. - (2019). ((Intervento presentato al 3. convegno Working Formal Methods Symposium tenutosi a Timisoara 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.