• IEC 61131-3 Software Testing: a Portable Solution for native applications 

  Hofer F; Russo B (2020)

  Programmable logic controllers (PLCs) are the most used digital systems in manufacturing industry, but there is little support for test automation of such systems. As net result, testing is mostly done manually or not at ...
• Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS 

  Hofer F; Sehr MA; Iannopollo A; Ugalde Diaz I; Sangiovanni-Vincentelli A; Russo B (IEEE, 2019)

  We explore the challenges and opportunities of shifting industrial control software from dedicated hardware to bare-metal servers or cloud computing platforms using off the shelf technologies. In particular, we demonstrate ...
• Architecture, technologies and challenges for cyber-physical systems in industry 4.0: A systematic mapping study 

  Hofer F (IEEE Computer Society, 2018)

  Background: 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 ...
• Identifiability and Regression Analysis of Biological Systems Models: Statistical and Mathematical Foundations and R Scripts 

  Lecca P (Springer, 2020)

  This richly illustrated book presents the objectives of, and the latest techniques for, the identifiability analysis and standard and robust regression analysis of complex dynamical models. The book first provides a ...
• 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 ...

View more