• Enhancing Security and Reliability for Smart- Systems' Architectures 

  Hofer F (IEEE, 2018)

  The vision of a fourth industrial revolution lately strongly captured the attention of research. A Cyber-physical system (CPS) is one of the main drivers of this vision. Such system controls an underlying factory interacting ...
• Modeling and Summarizing News Events Using Semantic Triples 

  Prasojo RE; Kacimi M; Nutt W (Springer, 2018)

  Summarizing news articles is becoming crucial for allowing quick and concise access to information about daily events. This task can be challenging when the same event is reported with various levels of detail or is subject ...
• Scalability Assessment of Microservice Architecture Deployment Configurations: A Domain-based Approach Leveraging Operational Profiles and Load Tests 

  Avritzer A; Ferme V; Janes A; Russo B; van Hoorn A; Schulz H; Menasché D; Rufino V (2020)

  Microservices have emerged as an architectural style for developing distributed applications. Assessing the performance of architectural configurations - e.g., with respect to deployment alternatives - is challenging and ...
• Automatic performance monitoring and regression testing during the transition from monolith to microservices 

  Janes A; Russo B (IEEE, 2019)

  The transition from monolith to microservices poses several challenges, like how to redistribute the features of system over  different microservices. During the transition, developers may also redesign or rethink system ...
• Inconsistency-tolerant reasoning with OWL DL 

  Zhang X; Xiao G; Lin Z; Bussche JV (2014)

  The Web Ontology Language. (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant ...
• Cooperation, collaboration and pair-programming: Field studies on backup behavior 

  Coman I; Robillard PN; Sillitti A; Succi G (2014)

  Considering that pair programming has been extensively studied for more than a decade, it can seem quite surprising that there is such a lack of consensus on both its best use and its benefits. We argue that pair programming ...
• Classifying Software Bug Reports Using Methods from Formal Concept Analysis 

  Borchmann D; Penaloza R; Wang W (2014)

  We provide experience in applying methods from formal concept analysis to the problem of classifying software bug reports characterized by distinguished features. More specifically, we investigate the situation where we ...
• What do we know about software development in startups? 

  Giardino C; Unterkalmasteiner M; Paternoster N; Gorschek T; Abrahamsson PK (2014)

  An impressive number of new startups are launched every day as a result of growing new markets, accessible technologies, and venture capital. New ventures such as Facebook, Supercell, Linkedin, Spotify, WhatsApp, and ...
• An elicitation instrument for operationalising GQM+Strategies (GQM+S-EI) 

  Petersen K; Gencel C; Asghari N; Betz S (2015)

  A recent approach for measurement program planning, GQM+Strategies, provides an important extension to existing approaches linking measurements and improvement activities to strategic goals and ways to achieve these goals. ...
• A Study of Energy-Aware Implementation Techniques: Redistribution of Computational Jobs in Mobile Apps 

  Corral L; Georgiev A; Sillitti A; Succi G (2015)

  As devices like smartphones and tablets have been adopted by millions of users, the offer of mobile software products and services has as well evolved significantly. Current mobile software products require hardware ...
• Software development in startup companies: A systematic mapping study 

  Paternoster N; Giardino C; Unterkalmasteiner M; Gorschek T; Abrahamsson PK (2014)

  Context: Software startups are newly created companies with no operating history and fast in producing cutting-edge technologies. These companies develop software under highly uncertain conditions, tackling fast-growing ...
• Engineering commitment-based business protocols with 2CL methodology 

  Baldoni M; Baroglio C; Marengo E; Patti V; Capuzzimati F (2014)

  Enterprises must respect a number of regulations, with multilevel nature and which change along time. They must not only adapt their business interactions to the regulations and their changes but also evaluate the risks ...
• Consistency reasoning in lattice-based fuzzy description logics 

  Borgwardt S; Penaloza R (2014)

  Fuzzy Description Logics have been widely studied as a formalism for representing and reasoning with vague knowledge. One of the most basic reasoning tasks in (fuzzy) Description Logics is to decide whether an ontology ...
• Entity and Aspect Extraction for Organizing News Comments 

  Prasojo RE; Kacimi M; Nutt W (ACM, 2015)

  News websites give their users the opportunity to participate in discussions about published articles, by writing comments. Typically, these comments are unstructured making it hard to understand the flow of user discussions. ...
• “Se dovessi dare un voto a questo laboratorio, darei nove”: Introduzione del Computational Thinking nella scuola secondaria di primo grado: Risultati dell’esperienza = "If I had to vote on this laboratory, I would give nine": Introduction on Computational Thinking in the lower secondary school: Results of the experience 

  Fronza I; El Ioini N; Janes A; Sillitti A; Succi G; Corral Velazquez LR (2014)

  Spesso l’Informatica, a differenza di altre discipline (come la matematica o la filosofia), non è percepita come una disciplina scientifica ma solo come un utilizzo della tecnologia. L’educazione al pensiero algoritmico, ...
• DIE: A domain specific aspect language for IDE events 

  Fabry J; Robbes R; Denker M (IICM, 2014)

  Integrated development environments (IDEs) have become the primary way to develop software. Besides just using the built-in features, it becomes more and more important to be able to extend the IDE with new features and ...
• An empirical study on the impact of static typing on software maintainability 

  Hanenberg S; Kleinschmager S; Robbes R; Tanter É; Stefik A (Kluwer Academic Publishers, 2014)

  Static type systems play an essential role in contemporary programming languages. Despite their importance, whether static type systems impact human software development capabilities remains open. One frequently mentioned ...
• Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata 

  Calvanese D; Eiter T; Ortiz M (2014)

  Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas, including the Semantic Web, data and information integration, peer-to-peer data ...
• “Un Mooc a scuola”, approcci e prospettive = MOOC in school, approaches and perspectives 

  Ravanelli F; Del Fatto V; Dodero G; Gennari R; Mastachi N; Franceschini B; Macola C (Aica, 2014)

  Il potenziamento e lo sviluppo delle tecnologie della rete Internet stanno sconvolgendo rapidamente i paradigmi della pedagogia e della didattica e trasformando gli ambienti e i metodi di apprendimento tradizionali. Sono ...
• Methods of biological network inference for reverse engineering cancer chemoresistance mechanisms 

  Lecca P (Elsevier Ltd, 2014)

  We review recent Bayesian network inference methodologies we developed to infer genetic and metabolic pathways associated to oncological drug chemoresistance. Bayesian inference is supported by a rigorous and widely accepted ...

View more