MIGUEL ÁNGEL
VALERO ESPADA
Profesor colaborador
Centrum Wiskunde & Informatica
Ámsterdam, HolandaPublicaciones en colaboración con investigadores/as de Centrum Wiskunde & Informatica (7)
2007
-
An abstract interpretation toolkit for μcRL
Formal Methods in System Design
2006
-
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
-
A state space distribution policy based on abstract interpretation
Electronic Notes in Theoretical Computer Science
2004
-
Abstraction of parallel uniform processes with data
Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004
-
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
-
Verification of JavaSpaces™ parallel programs
Proceedings - International Conference on Application of Concurrency to System Design, ACSD
2002
-
Formal specification of JavaSpaces™ architecture using μCRL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)