Publicaciones en colaboración con investigadores/as de Universidad Pontificia de Salamanca (5)

2006

  1. Formal methods for UML

    Modern Formal Methods and Applications (Springer Netherlands), pp. 177-196

2005

  1. An "abstract process" approach to algebraic dynamic architecture description

    Journal of Logic and Algebraic Programming, Vol. 63, Núm. 2, pp. 177-214

  2. UML automatic verification tool with formal methods

    Electronic Notes in Theoretical Computer Science

2002

  1. Coordination in a reflective architecture description language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2001

  1. Formal verification of coherence for a shared memory multiprocessor model

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)