By Roberta Calegari Dottorato di ricerca in Computer Science and engineering Alma Mater Studiorum Università di Bologna. 20 Aprile 2018 Abstract Computing is moving towards pervasive, ubiquitous environments in which devices, software agents and services are all expected to seamlessly…
PhD Theses
Inference and Learning Systems for Uncertain Relational Data
Inference and Learning Systems for Uncertain Relational Data by Giuseppe Cota Dottorato di Ricerca in Scienze dell’Ingegneria University of Ferrara, Italy 19 Febbraio 2018 http://docente.unife.it/giuseppe.cota/phd-thesis Abstract Representing uncertain information and being able to reason on it is of foremost…
A Commitment-based Infrastructure for Programming Socio-Technical Systems
By Federico Capuzzimati Università di Torino 16/10/2016. Abstract Socio-technical system design is characterized by a precise identification of social relations and their evolution, a perspective that is proven to be suitable for modeling large organizational realities. This thesis presents 2COMM,…
Process-Aware Data Quality Assessment
By Ognjen Savković Freire Universität Bozen September 2016 Abstract Data quality is one of the most important problems in data management. In this thesis we focus on two problems of data quality: stability and completeness. Stability and completeness are two…
A Formal Foundation of FDI Design via Temporal Epistemic Logic
By MARCO GARIO University of Trento 04 Marzo 2016 Abstract Autonomous systems must be able to detect and promptly react to faults. Fault Detection and Identification components (FDI) are in charge of detecting the occurrence of faults. The FDI depends…
Probabilistic Reasoning and Learning for the Semantic Web
By Riccardo Zese Università di Ferrara 2015 Abstract The Semantic Web introduced a new vision of the World Wide Web where the information resources published on the Internet are readable and understandable by machines. However, incompleteness and/or uncertainty are…
Portfolio Approaches in Constraint Programming
By Roberto Amadini, University of Bologna 4 Giugno 2015 Abstract Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be significantly outperformed by using a portfolio of —possibly on-average slower— algorithms. Within the Constraint Programming…
Compliance by Design: Synthesis of Business Processes by Declarative Specifications
By Francesco Olivieri UNIVERSITÀ DEGLI STUDI DI VERONA Dottorato di ricerca in COMPUTER SCIENCE Maggio 2014 Business Process Compliance are three words scholars use to describe what happens, or should happen, when two worlds very different from each other collide.…
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages
By Laura Titolo Università di Udine 12 Maggio 2014 ABSTRACT In this thesis, we propose a semantic framework for tccp based on abstract interpretation with the main purpose of formally verifying and debugging tccp programs. A key point for the…
Software Verification and Synthesis using Constraints and Program Transformation
Emanuele De Angelis University “G. D’Annunzio” of Chieti-Pescara April 2014 ABSTRACT In the last decade formal methods applied to software production have received a renewed attention as the basis of a methodology for increasing the reliability of software artefacts (for…