You are here

Publications

Export 4 results:
Filters: Keyword is Rewriting Logic and Author is Daniel Omar Romero  [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, 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.
2009
M. Alpuente, Ballis, D., and Romero, D. O., Specification and Verification of Web Applications in Rewriting Logic, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
2007
M. Alpuente, Ballis, D., Falaschi, M., Ojeda, P., and Romero, D. O., A Fast Algebraic Web Verification Service, Web Reasoning and Rule Systems, 1st International Conference, RR 2007, vol. 4524. Springer, 2007.