| 2019 | CloudCity: A Live Environment for the Management of Cloud Infrastructures. | Pedro Loureno, Joo Pedro Dias, Ademar Aguiar, Hugo Sereno Ferreira |
| 2019 | A General Framework to Identify Software Components from Execution Data. | Cong Liu, Boudewijn F. van Dongen, Nour Assy, Wil M. P. van der Aalst |
| 2019 | Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. | Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo |
| 2019 | Architecture to Manage and Protect Personal Data Utilising Blockchain. | Jens Leicht, Maritta Heisel |
| 2019 | Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems. | Ashalatha Kunnappilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu |
| 2019 | A New Model-based Framework for Testing Security of IoT Systems in Smart Cities using Attack Trees and Price Timed Automata. | Moez Krichen, Roobaea Alroobaea |
| 2019 | Towards Automated Management and Analysis of Heterogeneous Data within Cannabinoids Domain. | Kenji Koga, Maria Spichkova, Nitin Mantri |
| 2019 | Consolidating a Model for Describing Situated Software Practices. | Diana Kirk, Stephen G. MacDonell, Ewan D. Tempero |
| 2019 | Software Development Process: An Action Grammars Perspective. | Diana Kirk |
| 2019 | Hammock-based Identification of Changes in Advice Applications between Aspect-oriented Programs. | Marija Katic |
| 2019 | Formal Approach to Dynamic SoS Design. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed |
| 2019 | Security Applications of GPUs. | Sotiris Ioannidis |
| 2019 | Categorical Classification of Factors Effecting Knowledge Management in Software Crowdsourcing: Hypothetical Framework. | Nasir Hussain |
| 2019 | UML Specification and Transformation of Safety Features for Memory Protection. | Lars Huning, Padma Iyenghar, Elke Pulvermller |
| 2019 | Evaluation and Comparison of Dynamic Call Graph Generators for JavaScript. | Zoltn Herczeg, Gbor Lki |
| 2019 | Towards the Efficient Use of Dynamic Call Graph Generators of Node.js Applications. | Zoltn Herczeg, Gbor Lki, kos Kiss |
| 2019 | New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani |
| 2019 | On Improved Verification of Reconfigurable Real-Time Systems. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani |
| 2019 | Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners. | Predrag Filipovikj, Cristina Seceleanu |
| 2019 | Investigating Mobile Applications Quality in Official and Third-party Marketplaces. | Fausto Fasano, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
| 2019 | Refactoring Misuse Case Diagrams using Model Transformation. | Mohamed El-Attar, Nidal Nasser |
| 2019 | Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures. | Richard Dijkstra, Ella E. Roubtsova |
| 2019 | Model-Driven Software Development Combined with Semantic Mutation of UML State Machines. | Anna Derezinska, Lukasz Zaremba |
| 2019 | Mutating UML State Machine Behavior with Semantic Mutation Operators. | Anna Derezinska, Lukasz Zaremba |
| 2019 | Automated Software Measurement Strategies Elaboration Using Unsupervised Learning Data Analysis. | Sarah A. Dahab, Stephane Maag |