Yan Zhang

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Timed Petri Nets

Simple Temporal

Controller Design

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg
Controllability for discrete event systems modelled in VeriJ. Int. J. Crit. Comput. Based Syst. 5 (3/4) (2014)
Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Yann Thierry-Mieg
Semi-automatic controller design of Java-like models. FTfJP@ECOOP (2013)
Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg
Automated controllability and synthesis with hierarchical set decision diagrams. WODES (2010)