BERNARDINELLO LUCA

Role
Tenured Assistant Professor  
Academic disciplines
Informatica (INF/01)
Office phone
Room:
  • U14, Floor: 2, Room: 2011

Publications

  • Adobbati, F., Bernardinello, L., Kilinc Soylu, G., Pomello, L. (2024). Computing a Parametric Reveals Relation For Bounded Equal-Conflict Petri Nets. In M. Koutny, R. Bergenthum, G. Ciardo (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVII (pp. 54-83). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-662-68191-6_3]. Detail

  • Adobbati, F., Bernardinello, L., Pomello, L., Stramare, R. (2024). Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. In M. Koutny, R. Bergenthum, G. Ciardo (a cura di), Transactions on Petri Nets and Other Models of Concurrency XVII (pp. 189-211). Springer [10.1007/978-3-662-68191-6_8]. Detail

  • 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]. Detail

  • Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L. (2023). Soundness-preserving composition of synchronously and asynchronously interacting workflow net components. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 179(September 2023) [10.1016/j.jpdc.2023.04.005]. Detail

  • Adobbati, F., Bernardinello, L., Pomello, L. (2023). Solving a Safety Game on the Unfolding of Safe Petri Nets. In Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023) (pp.53-69). CEUR-WS. Detail

Research projects

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

Awards

Congresses/Conferences

  • 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