You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 40 results:

BibTex

Filters: Author is Maria Alpuente [Clear All Filters]

2005

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Verifying Real-Time Properties of tccp Programs”, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.

2004

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Abstract Model Checking of tccp programs”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.

M. Alpuente, Ballis, D., and Falaschi, M., “An Automated Tool for Web Sites Verification”, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, vol. 3229. Springer, pp. 726–729, 2004.

M. Alpuente, Ballis, D., and Falaschi, M., “Automated Verification of Web Sites Using Partial Rewriting”, Pre-Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004. pp. 81–88, 2004.

2003

M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of First-Order Functional Programs”, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, 2003.

M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of OBJ-like Programs”, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 2003.

M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Diagnosis of Functional Programs”, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.

M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., “Correction of Functional Logic Programs”, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.

M. Alpuente, Falaschi, M., and Villanueva, A., “Symbolic Model Checking for Timed Concurrent Constraint Programs”, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.

2002

M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., “A Multiparadigm Automatic Correction Scheme”, Pre-Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002. 2002.

Pages