Nombre de documents

4

CV de Catalin Dima


Communication dans un congrès1 document

  • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Translating EB3 to LNT for verification with CADP. iFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland. 2013. <hal-00768310v4>

Thèse1 document

  • Catalin Dima. An algebraic theory of real-time formal languages. Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2001. English. <tel-00004672>

Pré-publication, Document de travail1 document

  • Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn, et al.. Entropy Games and Matrix Multiplication Games. Accepted to STACS 2016. 2015. <hal-01164086v3>

Article dans une revue1 document

  • Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu. Verification of EB3 specifications using CADP . Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. <10.1007/s00165-016-0362-6>. <hal-01290460>