Home Research Publication CV


Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams, Y. Zhang, B. Bérard, F. Kordon, Y. Thierry‑Mieg, 11th International Workshop on Discrete Event Systems (WODES'10), Berlin, Germany, pp. 291-296, (IFAC/Elsevier). [pdf]

Modeling Automated Highway Systems with VeriJ. Y. Zhang, In MOdelling and VErifying parallel Processes (MOVEP'2010), pages 138–143. [pdf]

Modeling complex systems with VeriJ. Y. Zhang, B. Bérard, L.M. Hillah, F. Kordon, Y. Thierry‑Mieg, 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11), Tunis, Tunisi.  [pdf]