Dott.
Demis Ballis
Docente del corso:
Informatica multimediale
Telefono:
0432 558484
Email:
demis.ballis@uniud.it
Stanza:
SS14 (Sede Rizzi)
Ricevimento:
su appuntamento
Sito web:
Argomenti tesi:
- XML technologies
- Semantic Web
- CMS
- Ruby
- Sviluppo di applicazioni Web
- Approfondimenti sul linguaggio di programmazione Ruby
- Approfondimenti sul linguaggio di programmazione Java
- Ricerca e filtraggio di dati: il linguaggio XQuery
- Utilizzo delle librerie Shoes per la programmazione di videogiochi e applicativi grafici
- Sviluppo di portali Web mediante Content Management Systems
- Costruzione di ontologie: il linguaggio OWL
- Linked data
- RDF e il linguaggio di interrogazione SPARQL
- Verifica formale di applicazioni Web
Breve curriculum:
Demis Ballis è ricercatore di Informatica presso l'Università degli Studi di Udine. Ha conseguito il Diploma di Laurea in Informatica presso l'Università degli Studi di Udine nel 2001. Ha frequentato il corso di Dottorato in Informatica in co-tutela presso l'Università degli Studi di Udine (Italia) e la Universidad Politécnica de Valencia (Spagna) conseguendo il (doppio) titolo di dottore di ricerca in Informatica nel 2005 discutendo la tesi "Rule-based Software Verification and Correction".
Attività di ricerca:
- Verifica di applicazioni Web
- Rewriting Logic e sue applicazioni
- Description Logic e sue applicazioni
- Rule-based programming
Pubblicazioni recenti:
- M. Alpuente, D. Ballis, J. Espert, Francisco 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), 2011. EPTCS. To appear - 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), 2011. © Springer LNCS. To appear - 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
Conferenze e Workshops:
- 7th Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'11), 2011. (Membro di comitato di programma)
- 6th Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'10), 2010. (Membro di comitato di programma)
- 5th Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'09), 2009. (Co-chair di comitato di programma)
- 14th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS'09), 2009. (Membro di comitato di programma)
- 4th Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'08), 2008. (Co-chair di comitato di programma)
- 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08),2008. (Membro di comitato organizzatore)
- 3rd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'07), 2007. (Membro di comitato di programma)
- 3rd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'07), 2007. (Co-chair di comitato organizzatore)
- 2nd Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'06), 2006. (Membro di comitato di programma)
- 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05), 2005. (Membro di comitato di programma)
- 11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02), 2002. (Membro di comitato organizzatore)
