| 2025 | CoDIT | Verification of trajectory-dependent opacity properties via fault diagnosis. | Virginia Maria Alterio, Tianyu Liu, Carla Seatzu, Alessandro Giua |
| 2025 | CoDIT | Cooperative Hoisting with Dual Crawler Cranes under Motion Constraints. | Chenhao Cui, Alessandro Giua, Alessandro Pisano |
| 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 |
| 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 | A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. | Aiwen Lai, Sbastien Lahaye, Alessandro Giua |
| 2019 | SMC | Multiple Attacks Detection on Discrete Event Systems. | Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua |
| 2018 | CoDIT | Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. | Changshun Wu, Isabel Demongodin, Alessandro Giua |
| 2018 | CoDIT | Computation of Activation Probabilities in the Independent Cascade Model. | Wenjing Yang, Leonardo Brenner, Alessandro Giua |
| 2018 | ETFA | Influence Maximization by Link Activation in Social Networks. | Wenjing Yang, Leonardo Brenner, Alessandro Giua |
| 2018 | ETFA | Stealthy Attacks for Partially-Observed Discrete Event Systems. | Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua |
| 2016 | CoDIT | Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. | Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua |
| 2013 | ETFA | Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. | Ziyue Ma, Zhiwu Li, Alessandro Giua |
| 2013 | ETFA | General observation structures for Petri nets. | Yin Tong, Zhiwu Li, Alessandro Giua |
| 2010 | ICRA | Decentralized stabilization of heterogeneous linear multi-agent systems. | Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Giovanni Ulivi |
| 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 |
| 2007 | ACC | Stabilization of switched affine systems: An application to the buck-boost converter. | Daniele Corona, Jean Buisson, Bart De Schutter, Alessandro Giua |
| 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 |
| 1999 | ICRA | Optimal Control of Production Systems with Unreliable Machines and Finite Buffers. | Fabio Balduzzi, Giuseppe Menga, Alessandro Giua |
| 1998 | SMC | Optimal speed allocation and sensitivity analysis of hybrid stochastic Petri nets. | Fabio Balduzzi, Giuseppe Menga, Alessandro Giua |
| 1998 | SMC | On the choice of suboptimal monitors for supervisory control of Petri nets. | Francesco Basile, Pasquale Chiacchio, Alessandro Giua |
| 1998 | SMC | Decentralized volume control of open-channels using H | Carla Seatzu, Alessandro Giua, Giampaolo Usai |
| 1993 | ICRA | A Class of Petri Nets with a Convex Reachability Set. | Alessandro Giua, Frank DiCesare |
| 1988 | AIMSA | Automated Diagnosis for Digital Circuits. | Alessandra Fanni, Alessandro Giua, M. G. Manca |