Publications (8)

2012

  1. Elogio a la programación

    Del cálculo numérico a la creatividad abierta: el Centro de Cálculo de la Universidad de Madrid (1965-1982) : [exposición] (Universidad Complutense de Madrid), pp. 57-63

2007

  1. An abstract interpretation toolkit for μcRL

    Formal Methods in System Design

2006

  1. Accelerated modal abstractions of labelled transition systems

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

2005

  1. A state space distribution policy based on abstract interpretation

    Electronic Notes in Theoretical Computer Science

2004

  1. Abstraction of parallel uniform processes with data

    Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

  2. Modal abstractions in μCRL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, pp. 409-425

2003

  1. Verification of JavaSpaces™ parallel programs

    Proceedings - International Conference on Application of Concurrency to System Design, ACSD

2002

  1. Formal specification of JavaSpaces™ architecture using μCRL

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