Automated controllability and synthesis with hierarchical set decision diagrams. - Yan Zhang 017; Béatrice Bérard; Fabrice Kordon; Yann Thierry-Mieg (WODES, 2010)

Semi-automatic controller design of Java-like models. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Yann Thierry-Mieg (FTfJP@ECOOP, 2013)

Controllability for discrete event systems modelled in VeriJ. - Yan Zhang 017; Béatrice Bérard; Lom-Messan Hillah; Fabrice Kordon; Yann Thierry-Mieg (Int. J. Crit. Comput. Based Syst., 2014)