BERNARDINELLO LUCA

Ruolo:
Ricercatore
Settore scientifico disciplinare:
Informatica (INF/01)
Telefono:
Stanza:
  • U14, Piano: 2, Stanza: 2011

Pubblicazioni

  • Nesterov, R., Bernardinello, L., Lomazova, I., Pomello, L. (2023). Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach. SOFTWARE AND SYSTEMS MODELING, 22(1), 351-375 [10.1007/s10270-022-01008-x]. Dettaglio

  • Adobbati, F., Bernardinello, L., Soylu, G., Pomello, L. (2022). Information Flow Among Transitions of Bounded Equal-Conflict Petri Nets. In Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022) (pp.60-79). CEUR-WS. Dettaglio

  • Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L. (2022). Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. In M. Koutny, F. Kordon, D. Moldt (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVI (pp. 1-23). Springer [10.1007/978-3-662-65303-6_1]. Dettaglio

  • Adobbati, F., Bernardinello, L., Pomello, L., Stramare, R. (2022). Implementable strategies for a two-player asynchronous game on Petri nets. In 2022 Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2022 (pp.69-75). CEUR-WS. Dettaglio

  • Adobbati, F., Bernardinello, L., Pomello, L. (2021). A Two-Player Asynchronous Game on Fully Observable Petri Nets. In K.F. Koutny M. (a cura di), Transactions on Petri Nets and Other Models of Concurrency XV. (pp. 126-149). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-662-63079-2_6]. Dettaglio

Progetti di ricerca

BERNARDINELLO-Fondo per il finanziamento delle attività base di ricerca
Anno: 2017
Bando: FFABR 2017
Enti finanziatori: M.I.U.R. - MINISTERO DELL'ISTRUZIONE, DELL'UNIVERSITA' E DELLA RICERCA - UFFICIO I - Bilancio e Contabilita'. Coordinamento staff della Direzione

Premi e responsabilità scientifiche

Congressi/Convegni

  • Program chair - 43rd International Conference on Application and Theory of Petri Nets and Concurrency(Norvegia), 2022
  • Program chair - Application of concurrency to system design (ACSD), 2014