Testing Cyber-Physical Systems through Bayesian Optimization. Transactions on Embedded Computing Systems (TECS), ESWEEK special issue for articles presented in the 2017 ACM SIGBED International Conference on Embedded Software (EMSOFT), ACM 2017 (To appear).
Quantitative temporal simulation and refinement distances for timed systems. Transactions on Automatic Control, IEEE, 60(9), 2015, pp. 2291-2306.
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation, Elsevier, 228 (2013), pp. 83-119.
Timed parity games: Complexity and robustness. Journal of Logical Methods in Computer Science, 7(4) (2011), pp. 1-55.