You are here

Publications

Export 28 results:
Filters: Author is Demis Ballis  [Clear All Filters]
Unpublished
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.
Conference Proceedings
M. Baggi, Ballis, D., and Falaschi, M., XML Semantic Filtering via Ontology Reasoning, 3rd International Conference on Internet and Web Applications and Services, ICIW 2008. IEEE Computer Society, pp. 482–487, 2008.
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.
M. Alpuente, Ballis, D., Falaschi, M., and Romero, D. O., A Semi-Automatic Methodology for Repairing Faulty Web Sites, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., Semantic Verification of Web System Contents, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
D. Ballis and Vivó, J. G., A Rule-based System for Web Site Verification, Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.
D. Ballis, Baruzzo, A., and Comini, M., A rule-based method to match Software Patterns against UML Models, The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
M. Alpuente, Ballis, D., and Falaschi, M., A Rewriting-based Framework for Web Sites Verification, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.
M. Baggi, Ballis, D., and Falaschi, M., Quantitative Pathway Logic for Computational Biology, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009. Springer, pp. 68–82, 2009.
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.
D. Ballis, Baruzzo, A., and Comini, M., A Minimalist Visual Notation for Design Patterns and Antipatterns, 5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
M. Baggi and Ballis, D., A Lazy Implementation of a Language for Approximate Filtering of XML Documents, Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.
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.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
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.
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M., Cost-Sensitive Diagnosis of Declarative Programs, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 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, Baggi, M., Ballis, D., and Falaschi, M., Completeness of Unfolding for Rewriting Logic Theories, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
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.
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.
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., Falaschi, M., Ojeda, P., and Romero, D. O., An Abstract Generic Framework for Web Site Verification, 2008 International Symposium on Applications and the Internet, SAINT 2008. IEEE Computer Society, pp. 104–110, 2008.
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, 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.
Book Chapter
M. Alpuente, Ballis, D., and Falaschi, M., Transformation and Debugging of Functional Logic Programs, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.