Miguel Valero Espada

According to our database, Miguel Valero Espada authored at least 8 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

An abstract interpretation toolkit for µCRL.

Miguel Valero Espada, Jaco van de Pol

Formal Methods Syst. Des., 2007

2006

Accelerated Modal Abstractions of Labelled Transition Systems.

Miguel Valero Espada, Jaco van de Pol

Proceedings of the Algebraic Methodology and Software Technology, 2006

2004

An Abstract Interpretation Toolkit for <i>mu</i>CRL.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

A State Space Distribution Policy Based on Abstract Interpretation.

Simona Orzan, Jaco van de Pol, Miguel Valero Espada

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Abstraction of Parallel Uniform Processes with Data.

Jun Pang, Jaco van de Pol, Miguel Valero Espada

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Modal Abstractions in µCRL.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Verification of JavaSpaces^TM Parallel Programs.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Formal Specification of JavaSpaces Architecture Using µCRL.

Jaco van de Pol, Miguel Valero Espada

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002