| 2008 |
|---|
| 12 | EE | Sonia Flores,
Salvador Lucas,
Alicia Villanueva:
Formal Verification of Websites.
Electr. Notes Theor. Comput. Sci. 200(3): 103-118 (2008) |
| 11 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
Electr. Notes Theor. Comput. Sci. 206: 3-21 (2008) |
| 2007 |
|---|
| 10 | EE | María Alpuente,
Bernhard Gramlich,
Alicia Villanueva:
A Framework for Timed Concurrent Constraint Programming with External Functions.
Electr. Notes Theor. Comput. Sci. 188: 143-155 (2007) |
| 9 | EE | Alicia Villanueva:
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0.
J. Funct. Program. 17(6): 813-814 (2007) |
| 2006 |
|---|
| 8 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
Verifying Real-Time Properties of tccp Programs.
J. UCS 12(11): 1551-1573 (2006) |
| 7 | EE | Moreno Falaschi,
Alicia Villanueva:
Automatic verification of timed concurrent constraint programs.
TPLP 6(3): 265-300 (2006) |
| 2005 |
|---|
| 6 | EE | Moreno Falaschi,
Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs
CoRR abs/cs/0505026: (2005) |
| 5 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
Abstract Model Checking of tccp programs.
Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005) |
| 4 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
A semantic framework for the abstract model checking of tccp programs.
Theor. Comput. Sci. 346(1): 58-95 (2005) |
| 2004 |
|---|
| 3 | EE | María Alpuente,
Moreno Falaschi,
Alicia Villanueva:
A Symbolic Model Checker for tccp Programs.
RISE 2004: 45-56 |
| 2 | EE | Alicia Villanueva:
Model checking for the concurrent constraint paradigm.
AI Commun. 17(2): 93-94 (2004) |
| 2001 |
|---|
| 1 | EE | Moreno Falaschi,
Alberto Policriti,
Alicia Villanueva:
Modeling concurrent systems specified in a temporal concurrent constraint language-I.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
