Demis Ballis' Home Page

Contact Information

Address
Dipartimento di Matematica e Informatica
Via delle Scienze, 206
33100 Udine - Italy

Office: SS14

Phone: +39-(0)432-558484

Fax: +39-(0)432-558499

Email: demis.ballis@dimi.uniud.it

Research Interests

Functional Logic Programming
Term Rewriting Systems
Rewriting Logic
Declarative Debugging
Machine Learning
Program Transformation
Automated Program Correction
Program and Data Verification for the World Wide Web

Publications

M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Assertion-based Analysis via Slicing with ABETS (System Description)

In 32nd International Conference on Logic Programming (ICLP 2016)

To appear in the ICLP'16 special issue of TPLP
M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Debugging Maude Programs via Runtime Assertion Checking and Trace Slicing

In Journal of Logical and Algebraic Methods in Programming.

Elsevier, 2016
M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Combining Runtime Checking and Slicing to improve Maude Error Diagnosis

In Festschrift Symposium in Honor of José Meseguer (LRC 2015)

Springer LNCS 9200, 2015
M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Exploring conditional rewriting logic computations

In Journal of Symbolic Computation, 69: 3-39.

Elsevier, 2015
M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Inspecting Rewriting Logic Computations (in a parametric and stepwise way)

In Specification, Algebra, and Software. A Festschrift Symposium in Honor of Kokichi Futatsugi (SAS 2014)

Springer LNCS, 2013
M. Alpuente, D. Ballis, F. Frechina, and D. Romero

Using Conditional Trace Slicing for Improving Maude Programs

Science of Computer Programming

Elsevier, 2013
M. Alpuente, D. Ballis, and D. Romero

A Rewriting Logic Approach to the Formal Specification and Verification of Web applications

Science of Computer Programming

Elsevier, 2013
M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Parametric Exploration of Rewriting Logic Computations

In Proc. of the 5th Int'l Symposium on Symbolic Computation in Software Science (SCSS 2013), Hagenberg (Austria), 2013.

RISC Report Series.
M. Alpuente, D. Ballis, M. Falaschi, F. Frechina, and D. Romero

Rewriting-based repairing strategies for XML repositories

The Journal of Logic and Algebraic Programming

DOI: http://dx.doi.org/10.1016/j.jlap.2013.05.002

Elsevier, 2013.
M. Alpuente, D. Ballis, F. Frechina, and J. Sapiña

Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne

In Proc. of the 22nd European Symposium on Programming (ESOP 2013), pages 121-124, Rome (Italy), 2013.

Springer LNCS 7792, 2013.
M. Alpuente, D. Ballis, F. Frechina, and D. Romero

Julienne: a Trace Slicer for Conditional Rewrite Theories

In Proc. of the 18th International Symposium on Formal Methods (FM 2012), pages 28-32, Paris (France), 2012.

Springer LNCS 7436, 2012.
M. Alpuente, D. Ballis, F. Frechina, and D. Romero

Backward Trace Slicing for Conditional Rewrite Theories

In Proc. of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 18), pages 62-76, Merida (Venezuela), 2012.

Springer LNCS 7180.
M. Alpuente, D. Ballis, J. Espert, F. Frechina, and D. Romero

Debugging of Web Applications with Web-TLR

In Proc. of the 7th International Workshop on Automated Specification and Verification of Web Systems, Reykjavik (Iceland), pages 66-80.

EPTCS 61, 2011
M. Alpuente, D. Ballis, J. Espert, and D. Romero

Backward Trace Slicing for Rewriting Logic Theories

In Proc. of CADE 23 – the 23rd International Conference on Automated Deduction, Wroclaw (Poland), pages 34-48

© Springer LNCS 6883, 2011.
D. Ballis, and T. Kutsia Eds.

Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems

Journal of Symbolic Computation 46(2):93-94, 2011.

© Elsevier
M. Alpuente, M. Baggi, D. Ballis, and M. Falaschi

Completeness of Unfolding for Rewriting Logic Theories

In Proc. of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara (Romania), pages 116-123, 2010.

© IEEE Computer Society Press.
M. Alpuente, D. Ballis, and Francisco Correa, M. Falaschi

An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs

In Theoretical Computer Science 411(47): 4055-4101, 2010.

© Elsevier.
M. Alpuente, D. Ballis, J. Espert, and D. Romero

Model-checking Web Applications with Web-TLR

In Proc. of 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010) , pp. 341-346, Singapore, 2010.

© Springer LNCS 6252.
M. Alpuente, D. Ballis, and M. Falaschi

Transformation and Debugging of Functional Logic Programs

In 25 Years of Logic Programming in Italy
© Springer LNCS, 6125, pages 271-299, 2010
M. Baggi, D. Ballis, and M. Falaschi

An Access Control Language based on Term Rewriting and Description Logic

In Proc. of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP'10), Madrid (Spain). Springer LNCS. In press.
M. Alpuente, M. Baggi, D. Ballis, and M. Falaschi

A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT

In Proc. of ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10), Madrid (Spain).

© ACM Press, pages 43-52, 2010
M. Alpuente, D. Ballis, and D. Romero

Specification and Verification of Web Applications in Rewriting Logic

In Proc. of The 16th Formal Methods Symposium and 2nd World Congress (FM '09), Eindhoven, (the Netherlands) 2009.

© Springer LNCS 5850, pages 790-805
M. Baggi, D. Ballis, and M. Falaschi

Quantitative Pathway Logic for Computational Biology

In Proc. of The 7th Conference on Computational Methods in Systems Biology (CMSB '09), Bologna (Italy), 2009.

© Springer LNCS 5688, pages 68-82, 2009.
D. Ballis, S. Escobar

Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites

Electronic Notes in Theoretical Computer Science, Volume 235, pages 1-152, 2009.

© Elsevier Science
D. Ballis, S. Escobar, and M. Marchiori

Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites

Electronic Notes in Theoretical Computer Science, Volume 200, Issue 3, pages 1-188, 2008.

© Elsevier Science
M. Alpuente, M. Baggi, D. Ballis, and M. Falaschi

Semantic Verification of Web System Contents

In Proc. of the Fifth International Workshop on Web Information Systems Modeling (WISM '08), Barcelona (Spain), 2008.

© Springer LNCS vol. 5232, pages 437-446.
M. Baggi, D. Ballis, and M. Falaschi

XML Semantic Filtering via Ontology Reasoning

In Proc. of the Third International Conference on Internet and Web Applications and Services (ICIW '08), Athens (Greece), pages 482-487, 2008.

© IEEE Computer Society Press.
M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda and D. Romero

An Abstract Generic Framework for Web Site Verification

In Proc. of the 2008 International Symposium on Applications and the Internet (SAINT' 08), Turku (Finland), pages 104-110, 2008.

© IEEE Computer Society Press.
D. Ballis, A. Baruzzo, and M. Comini

A Minimalist Visual Notation for Design Patterns and Antipatterns

In Proc. of the 5th International Conference on Information Technology : New Generations (ITNG '08), Las Vegas (Nevada, USA), 2008, pages 51-56.

© IEEE Computer Society Press.
D. Ballis, A. Baruzzo, and M. Comini

A Rule-based Method to Match Software Patterns against UML Models

In Proc. of The Eighth International Workshop on Rule-Based Programming (RULE '07), pages 239-248, Paris (France), 2007.

Electronic Notes in Theoretical Computer Science, vol. 219, pages 51-66.

© Elsevier, North-Holland.
M. Baggi, D. Ballis

PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents

In Proc. of 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP'07), Paris (France), 2007.

Electronic Notes in Theoretical Computer Science, vol. 216, pages 93-109.

© Elsevier, North-Holland.
M. Alpuente, D. Ballis, M. Falaschi, P. Ojeda and D. Romero

A Fast Algebraic Web Verification Service

In Proc. of 1st Int'l Conference on Web Reasoning and Rule Systems (RR'07), Innsbruck (Austria), 2007.

© Springer LNCS 4524.
D. Ballis and D. Romero

Filtering of XML Documents

In Proc. of 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06), Paphos (Cyprus), 2006. ISBN: 0-7695-2826-0, pages 19-26.

© IEEE Computer Society Press.
D. Ballis and D. Romero

Fixing Web Sites Using Correction Stategies

In Proc. of 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06), Paphos (Cyprus), 2006. ISBN: 0-7695-2826-0, pages 11-18.

© IEEE Computer Society Press.
M. Alpuente, D. Ballis, M. Falaschi and D. Romero

A Semi-Automatic Methodology for Repairing Faulty Web Sites

In Proc. of the 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Pune (India), 2006. ISBN: 0-7695-2678-0, pages 31-40.

© IEEE Computer Society Press.
M. Alpuente, D. Ballis and M. Falaschi

Rule-based Verification of Web sites

In Int'l Journal on Software Tools for Technology Transfer, volume 8, pages 565-585, 2006.

© Springer.

Extended and revised version of this paper.
D. Ballis and J. Garcia-Vivo

A Rule-based System for Web site Verification

In Proc. of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV'05), Valencia (Spain), 2005.

Electronic Notes in Theoretical Computer Science, 157(2):11-17, 2006

© Elsevier, North-Holland.
M. Alpuente, D. Ballis and M. Falaschi

Automated Verification of Web Sites Using Partial Rewriting

In Proc. of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA'04), Paphos (Cyprus), 2004.
M. Alpuente, D. Ballis and M. Falaschi

VERDI: an Automated Tool for Web sites Verification

In Proc. of the 9th European Conference on Logics in Artificial Intelligence (JELIA '04), Lisbon (Portugal),2004.

System Demonstration

© Springer LNCS 3229:726-729.
M. Alpuente, D. Ballis and M. Falaschi

A Rewriting-Based Framework for Web Sites Verification

In Proc. of 5th International Workshop on Rule-Based Programming (RULE '04), Aachen (Germany),2004.

Electronic Notes in Theoretical Computer Science, 124(1):41-61, 2005.

© Elsevier, North-Holland.
M. Alpuente, D. Ballis, S. Escobar , M. Falaschi and S. Lucas

Abstract Correction of Functional Programs

Electronic Notes in Theoretical Computer Science, Volume 86(3), 2003.

© Elsevier, North-Holland.
D. Ballis, M. Falaschi, C. Ferri, J. Hernández-Orallo and M. J. Ramírez-Quintana

Cost-Sensitive Diagnosis of Declarative Programs

Electronic Notes in Theoretical Computer Science, Volume 86(3), 2003.

© Elsevier, North-Holland.
M. Alpuente, D. Ballis, S. Escobar , M. Falaschi and S. Lucas

Abstract Correction of OBJ-like Programs

In L. Palopoli, editor, Proc. of the APPIA-GULP-PRODE 2003 Joint Conference on Declarative Programming (AGP'03), 2003.
M. Alpuente, D. Ballis, F. Correa and M. Falaschi

Automated Correction of Functional Logic Programs

In Proc of European Symposium on Programming (ESOP 2003), Warsaw (Poland), 2003.

© Springer LNCS 2618:54-68.
M. Alpuente, D. Ballis, F. Correa and M. Falaschi

A Multiparadigm Automatic Correction Scheme

In Proc of 11th International Workshop on Functional and (Constraint) Logic Programming, (WFLP 2002), Grado (Italy), 2002.
M. Alpuente, D. Ballis, F. Correa and M. Falaschi

Correction of Functional Logic Programs

Technical report DSIC-II/23/02, UPV, 2002.

Teaching [ Master SIT | Informatica Multimediale | Lab. di Tecnologie Audio-Video Interattive | Lab. di Informatica | Lab. di Produzione Multimediale | Lab. di Web Design | Ist. di Matematica I + Informatica appl. alla didattica ]

Fondamenti di Informatica 2007/2008 (Master di I livello in Sistemi Informativi Territoriali)
Parte I
- Introduzione all'Elaborazione dell'Informazione
  - L'elaborazione dell'informazione ed il significato di informazione.
  - Rappresentazione dell'Informazione:
    - Rappresentazione dei Dati Testuali
    - codifica binaria dei numeri naturali
    - codifica di Huffmann
  - HTML e stili
    - Linguaggio HTML
    - CSS
- Elementi di Architettura degli Elaboratori
  - Il modello di Von Neumann.
  - La CPU: organizzazione e funzionamento
  - Memoria volatile: Organizzazione e funzionamento
  - Dispositivi di I/O e periferiche
    - bus I/O: ATA, USB, Firewire
    - Dischi, CD/DVD
- Elementi di Sistemi Operativi
  - Sistemi Operativi: Struttura e funzionalità
  - Gestione della memoria e dei Dispositivi di Memoria di Massa: Il File System.
  - L'interprete dei comandi (alcuni comandi).
  - I Sistemi Operativi Windows XP e Mac OS X.
- Reti di Calcolatori
  - Le reti di calcolatori (cenni), il protocollo TCP/IP.
  - Internet ed il World Wide Web, i browser, il protocollo HTTP, SSH
  - Posta Elettronica, SFTP e SSH
  - Reperimento di Informazione su Rete: Motori di Ricerca
  - Cenni alle problematiche di sicurezza.
  - PGP
- Testo Adottato: D. Sciuto et al., Introduzione ai Sistemi Informatici, McGraw-Hill, Seconda edizione 2002.
Parte II
- La programmazione strutturata
  - La nozione di algoritmo e la rappresentazione degli algoritmi mediante diagrammi di flusso. Elementi base sui linguaggi di programmazione.
  - Elementi base di programmazione Java: variabili, tipi, espressioni, strutture di controllo, array, metodi, ricorsione.
- Tipi di dati astratti e occultamento delle informazioni [4+0]
  - I principi dell'incapsulamento e dell'occultamento delle informazioni.
- Testo Adottato: S. Mizzaro, Introduzione alla programmazione con il linguaggio Java, FrancoAngeli.
- Slide sulla codifica dell'informazione
- Slide sul linguaggio HTML
- Dispensa sui CSS
- Introduzione a Java (dispensa) [pdf]
- Trasparenze sul linguaggio Java [pdf]
- Manuale Java online
- Esercizi (espressioni, istruzioni condizionali, cicli)
- slide Reti
- slide Sistemi Operativi (NEW)
- Il gioco Life
- Progetto Java
Informatica Multimediale (Corso di Laurea in Scienze e Tecnologie Multimediali), a.a. 2016/2017
- Slide, dispense ed esercitazioni del corso
Laboratorio di Tecnologie Audio-Video Interattive (Corso di Laurea in Scienze e Tecnologie Multimediali), a.a. 2016/2017
- Slide, dispense ed esercitazioni del corso
Laboratorio di Informatica (Corso di Laurea in Scienze e Tecnologie Multimediali), a.a. 2007/2008

Testi, appunti, esercizi, ecc.
- Testo adottato: S. Mizzaro, Introduzione alla programmazione con il linguaggio Java. FrancoAngeli, terza edizione, 2003.
- Altri testi consigliati: G. Pighizzini, M. Ferrari Dai fondamenti agli oggetti Addison Wesley, 2005.
- Introduzione a Java (dispensa) [pdf]
- Trasparenze sul linguaggio Java [pdf]
- Manuale Java online
- Esercizi (espressioni, istruzioni condizionali, cicli)
- Esercizi (vettori, matrici)
- Esercizi (gestione stringhe: la classe Enigmista)
- Applet e grafica. Esempio immagini
- Esercizi (gestione immagini e suoni)
Altri link utili
- Il sito ufficiale del linguaggio JAVA
- Bluej, un ambiente di sviluppo per il linguaggio JAVA
- Java2 SDK, Standard Edition 1.4.2 (J2SE v1.4.2 SDK) (necessario per poter utilizzare Bluej)
Laboratorio di Produzione Multimediale (Corso di Laurea Magistrale in Linguaggi e Tecnologie dei Nuovi Media), a.a. 2007/2008

Slides ed esercizi
- Slide linguaggio HTML
- Dispense CSS
- FLASH CS3 User Manual [PDF]
- Esercitazioni 17/04/08
- Esercitazioni 24/04/08
- Esercitazioni 08/05/08
Modulo integrato (Istituzioni di Matematica I + Informatica applicata alla didattica)
(Corso di Laurea in Scienze della Formazione Primaria), a.a. 2008/2009

Testi d'esame
- Istituzioni di matematica I Appello del 02/07/09
- Informatica applicata alla didattica Appello del 02/07/09
Laboratorio di Web Design (Corso di Laurea in Scienze e Tecnologie Multimediali), a.a. 2008/2009

Slides ed esercizi
- Slide linguaggio HTML
- Slide fogli di stile CSS2
- Dispense CSS
- Esercitazioni HTML 15/10/08
- Esercitazioni CSS 22/10/08
- Altre risorse
  - Specifica HTML 4.01
  - Elenco Tag e attributi HTML 4.01
  - Specifica XHTML 1.0
  - Specifica CSS2
  - Elenco proprietà CSS2
Esercitazioni di assembler (Architetture degli elaboratori) a.a. 2004/2005

Testi, appunti, esercizi, ecc.
- Il manuale di Spim
- Le dispense sul MIPS assembler di Guido Sciavicco (a.a. 2003-2004)
Esercitazioni prolog (Linguaggi di programmazione I) a.a. 2003/2004 - 2004/2005

Testi, appunti, esercizi, ecc.
- K. R. Apt, The Logic Programming Paradigm: A Tutorial ( pdf)
- K. R. Apt, The Logic Programming Paradigm and Prolog ( pdf)
- Una piccola collezione di piccoli programmi in Prolog

Software

The XPHIL System.
The PHIL System.
The NOBUG System.
The GVERDI System.
The VERDI System.

My PGP Key

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.5 (Darwin)

mQGiBEWw/j8RBADumK23AjoxGqg33zt4vlJ+so7Zd65Gu6JbwykFZc0HPiXubquw
h/w+HFvDrEQXikobgEdshevo2/CP+LxRf1Q3ec8cZr9vjbFjPtFBxf1IzOHDHLCC
0jDhZsi9VinGL4lG0SIxvhTHNd7hn40WnVe4i52r24JZjhl81nvMIJY2DwCgtWC9
d3AS9Idx2Q/yKQPFHmwMYPUD/jwixmYpVccbodoLtBl7ZnetHtc2Jh9nmryOuXm7
JUqr7N04ip4hZQr76EnTxO0ITQ1/gFtM0WXjftUbh2lPhFO5IuiivQcPUawZTRP6
15+Q6/6hfS7b8xqnFh5L54lDrYhpsxsAy2gZo3dk3NnAbxw7aVzP8yPe6WWCscEL
/EWyBADIALx2kYaDjMvxmlTpNCki3Y3arDxOY+mk1drC/LXHBuU5Gpzr903NgXtz
gt6ZGpIkVHEkSbz0NV7s2S5DTVjRCMBsgXwgGWjxAQT1LRsY5qzBwIdb2923Vucn
UwnVMSSmJ7r6n7aJnWvspBrGc8j3GCGEP5BEAgNr3Pgg5HwyILQiRGVtaXMgQmFs
bGlzIDxkZW1pc0BkaW1pLnVuaXVkLml0PohgBBMRAgAgBQJFsP4/AhsjBgsJCAcD
AgQVAggDBBYCAwECHgECF4AACgkQcn+jQaaoIWZafACfX3jy9R8gXrGWhLKPKIDD
XnNTPzYAn0IKTJKUASCFITNBDOKO8d+hPzBRuQENBEWw/y4QBACeORuyKXZcbb7T
Npny9rp7y6CSD3HGN8vZZpQJLFQtAMqUwViP4DPLm44qrZtRrx2sy6GEBByzlYK2
ebp3SslNA7NM7nx88GLvGc5lfX6Labl2QJ1ex8VXByf0wY5WZ8NCWnCoFZWvz85f
54Y29gdnn9seJduBGoeX7KfeDWMbLwADBQP9H2WbeeULIhVBaO/YRlvM1s78V+HZ
X6HgFb04kIq619+Vl54+5YqYI2Xl8339L2SdMFPnECGVt9NoJlB/H7csNBKDGSjU
3Citfbj/Av4m6UrknCIhSmRr3jiqsnkwKqgFeZmpg8yJZ8u0Ri2Gm9wchMtu/YGN
X+nLsCzG/jXXAgWISQQYEQIACQUCRbD/LgIbDAAKCRByf6NBpqghZjtuAKCW3vD3
gTt/FtBUqEJZT5Q6GfrUYQCfQ9MEvNXNhNx/1rIimMA1yCg0Nik=
=pb7f
-----END PGP PUBLIC KEY BLOCK-----

Demis Ballis

Associate Professor of Computer Science

Department of Mathematics and Computer Science
F.LI.T. Group

University of Udine

Contact Information

Research Interests

Publications

Teaching [ Master SIT | Informatica Multimediale | Lab. di Tecnologie Audio-Video Interattive | Lab. di Informatica | Lab. di Produzione Multimediale | Lab. di Web Design | Ist. di Matematica I + Informatica appl. alla didattica ]

Software

My PGP Key

Demis Ballis

Associate Professor of Computer Science

Department of Mathematics and Computer Science F.LI.T. Group

University of Udine

Contact Information

Research Interests

Publications

Teaching [ Master SIT | Informatica Multimediale | Lab. di Tecnologie Audio-Video Interattive | Lab. di Informatica | Lab. di Produzione Multimediale | Lab. di Web Design | Ist. di Matematica I + Informatica appl. alla didattica ]

Software

My PGP Key

Department of Mathematics and Computer Science
F.LI.T. Group