Alessandro Giua
-
A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems