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