You are here

Home

Publications

Export 54 results:
Filters: First Letter Of Last Name is B  [Clear All Filters]
1994
M. Comini and Levi, G., “An Algebraic Theory of Observables”, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.
1996
R. Bagnara, Comini, M., Scozzari, F., and Zaffanella, E., “The AND-compositionality of CLP Computed Answer Constraints”, Proceedings APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming. pp. 355–366, 1996.
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.
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, 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.
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.
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.
2005
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.
2006
A. Baruzzo and Comini, M., “Checking UML Model Consistency”, Proceedings of CILC 2006 - Convegno Italiano di Logica Computazionale. pp. 1–15, 2006.
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.
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.
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.
A. Baruzzo and Comini, M., “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
A. Baruzzo and Comini, M., “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
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.
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.
A. Baruzzo and Comini, M., “A Framework for Computer Aided Consistency Verification of UML Models”. 2007.
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.
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.
A. Baruzzo and Comini, M., “Toward a Unified Framework for Quality and Consistency Verification of UML Models”. 2007.
2008
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. 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.
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.
A. Baruzzo and Comini, M., “A Methodology for UML Models V&V”, Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
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.
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. 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.
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.

Pages

created with Drupal | customized by Giovanni Bacci