Thierry-mieg Yann
Computer Science
Laboratory of Computer Science of Paris 6 (LIP6)
France
Biography
THIERRY-MIEG Yann is working in the department of computer science at Laboratory of Computer Science of Paris 6 (LIP6), France.
Research Interest
Complex Floating Point Arithmetic
Publications
-
Y. Zhang, B. Bérard, L. Hillah, F. Kordon, Y. Thierry‑Mieg : “Controllability for Discrete Event Systems Modeled in VeriJâ€, International Journal of Critical Computer-Based Systems, vol. 5 (3/4), pp. 218-240, (ISBN: 1757-8779) (2014)
-
Y. Thierry‑Mieg : “Symbolic Model-Checking Using ITS-Toolsâ€, Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035, Lecture Notes in Computer Science, London, United Kingdom, pp. 231-237, (Springer Berlin Heidelberg), (ISBN: 978-3-662-46680-3) (2015)
-
B. Bérard, P. Lafourcade, L. Millet, M. Potop‑Butucaru, Y. Thierry‑Mieg, S. Tixeuil : “Formal verification of mobile robot protocolsâ€, Distributed Computing, vol. 29, Distributed Computing, pp. 1-25, (Springer Verlag) (2016)
