You are here

Home

Publications

Export 4 results:
Filters: Keyword is Verification of Web Applications and Author is Maria Alpuente  [Clear All Filters]
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.
2006
M. Alpuente, Ballis, D., and Falaschi, M., “Rule-based Verification of Web Sites”, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.

created with Drupal | customized by Giovanni Bacci