You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 8 results:

BibTex

Filters: First Letter Of Last Name is E [Clear All Filters]

2011

M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Backward Trace Slicing for Rewriting Logic Theories”, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.

2010

M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Iborra, J., “A Compact Fixpoint Semantics for Term Rewriting Systems”, Theoretical Computer Science, 2010.

M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.

2007

S. Flores, Lucas, S., and Villanueva, A., “Formal Verification of Websites”, Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.

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.

2001

M. Falaschi, Policriti, A., and Villanueva, A., “Time Limited Model Checking”, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.