| 2025 | CoDIT | Verification of trajectory-dependent opacity properties via fault diagnosis. | Virginia Maria Alterio, Tianyu Liu, Carla Seatzu, Alessandro Giua |
| 2025 | CoDIT | Timed Fault Diagnosis in Switching Output Automata. | Tianyu Liu, Carla Seatzu, Alessandro Giua |
| 2025 | SMC | Cyber-Attacks Detection in Timed Probabilistic DESs via Artificial Neural Networks. | Omar Amri, Carla Seatzu, Alessandro Giua, Dimitri Lefebvre |
| 2024 | CoDIT | Bisimulation non-interference analysis of bounded Petri nets. | Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu |
| 2023 | CoDIT | Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread. | Diego Deplano, Mauro Franceschelli, Carla Seatzu |
| 2023 | CoDIT | Verification of Current State Opacity using Switching Output Automata. | Tianyu Liu, Carla Seatzu, Alessandro Giua |
| 2020 | ETFA | A region-based approach for state estimation of timed automata under no event observation. | Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua |
| 2019 | CoDIT | Railway disruption: a bi-level rescheduling algorithm. | Graziana Cavone, Lex Blenkers, Ton J. J. van den Boom, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter |
| 2019 | ETFA | Modeling, analysis, and control of automated manufacturing systems using Petri nets. | Carla Seatzu |
| 2019 | SMC | Multiple Attacks Detection on Discrete Event Systems. | Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua |
| 2018 | ETFA | Diagnosability analysis of bounded Petri nets. | Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu |
| 2018 | ETFA | Stealthy Attacks for Partially-Observed Discrete Event Systems. | Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua |
| 2018 | SMC | Liveness Enforcement for a Class of Petri Nets via Resource Allocation. | Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu |
| 2015 | ETFA | An improved technique for train load planning at intermodal rail-road terminals. | Mariagrazia Dotoli, Nicola Epicoco, Carla Seatzu |
| 2014 | CoDIT | Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology. | Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu |
| 2014 | ETFA | State feedback control of labeled Petri nets with uncertainty in the initial marking. | Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu |
| 2014 | ETFA | Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange. | Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu |
| 2014 | ICRA | Optimization of intermodal rail-road freight transport terminals. | Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano |
| 2014 | VECoS | Fault Diagnosis of Discrete Event Systems Using Petri Nets. | Carla Seatzu |
| 2013 | ETFA | Marking estimation of Time Petri nets with unobservable transitions. | Francesco Basile, Maria Paola Cabasino, Carla Seatzu |
| 2013 | ETFA | A survey on efficient diagnosability tests for automata and bounded Petri nets. | Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu |
| 2013 | ETFA | Benders/gossip methods for heterogeneous multi-vehicle routing problems. | Sarmad Riazi, Carla Seatzu, Oskar Wigstrm, Bengt Lennartson |
| 2013 | ETFA | On the use of IPA in performance optimization of continuous marked graphs: A case study. | Carla Seatzu, Yorai Wardi |
| 2013 | SMC | Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking. | Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis |
| 2012 | ETFA | Marking estimation of fuzzy Petri nets. | Maria Paola Cabasino, Mariagrazia Dotoli, Carla Seatzu |
| 2010 | SMC | Fault diagnosis of manufacturing systems using continuous Petri nets. | Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Surez |
| 2009 | ICINCO | Discrete Event Diagnosis using Petri Nets. | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
| 2008 | SMC | Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS. | Alessandro Giua, Carla Seatzu, Fausto Sessego |
| 2007 | ACC | Supervisory Control of Petri Nets with Decentralized Monitor Places. | Francesco Basile, Alessandro Giua, Carla Seatzu |
| 2005 | ETFA | Decentralized supervisory control of Petri nets with monitor places. | Francesco Basile, Alessandro Giua, Carla Seatzu |
| 2005 | ETFA | Quantized optimal control of discrete-time systems. | Daniele Corona, Alessandro Giua, Carla Seatzu |
| 2003 | ETFA | Observers for nondeterministic λ-free labeled Petri nets. | Daniele Corona, Alessandro Giua, Carla Seatzu, Jorge Jlvez |
| 2003 | SMC | Generalized mutual exclusion constraints and monitors for colored Petri nets. | Maria Pia Fanti, Alessandro Giua, Carla Seatzu |
| 2003 | SMC | A deadlock prevention method for railway networks using monitors for colored Petri nets. | Maria Pia Fanti, Alessandro Giua, Carla Seatzu |
| 2001 | ETFA | Deadlock recovery of Petri net models controlled using observers. | Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu |
| 2000 | ICRA | Incremental Optimization of Cyclic Timed Event Graphs. | Alessandro Giua, Aldo Piccaluga, Carla Seatzu |
| 1998 | SMC | Decentralized volume control of open-channels using H | Carla Seatzu, Alessandro Giua, Giampaolo Usai |