Miguel Valero Espada (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Miguel Valero Espada, Jaco van de Pol: An abstract interpretation toolkit for µCRL. Formal Methods in System Design 30(3): 249-273 (2007)
7		Miguel Valero Espada, Jaco van de Pol: Accelerated Modal Abstractions of Labelled Transition Systems. AMAST 2006: 338-352
6		Simona Orzan, Jaco van de Pol, Miguel Valero Espada: A State Space Distribution Policy Based on Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 128(3): 35-45 (2005)
5		Jaco van de Pol, Miguel Valero Espada: An Abstract Interpretation Toolkit for muCRL. Electr. Notes Theor. Comput. Sci. 133: 295-313 (2005)
4		Jaco van de Pol, Miguel Valero Espada: Modal Abstractions in µCRL. AMAST 2004: 409-425
3		Jun Pang, Jaco van de Pol, Miguel Valero Espada: Abstraction of Parallel Uniform Processes with Data. SEFM 2004: 14-23
2		Jaco van de Pol, Miguel Valero Espada: Verification of JavaSpacesTM Parallel Programs. ACSD 2003: 196-205
1		Jaco van de Pol, Miguel Valero Espada: Formal Specification of JavaSpaces™ Architecture Using µCRL. COORDINATION 2002: 274-290

Selection of 8 from 8 records - Miguel Valero Espada has 3 coauthors