Home Research Publication CV
                                                                                                

Publications

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]