L. Baresi

Most-cited papers

Microservices Identification Through Interface Analysis
L. Baresi, Martin Garriga, A. De Renzis
2017European Conference on Service-Oriented and Cloud Computing147 citations Open access
Semantic Scholar
Towards a Serverless Platform for Edge Computing
L. Baresi, Danilo Filgueira Mendonça
2019International Conference on Fog Computing102 citations
Semantic Scholar
A Unified Model for the Mobile-Edge-Cloud Continuum
L. Baresi, D. Mendonça, Martin Garriga, S. Guinea +1 more
2019ACM Trans. Internet Techn.99 citations Open access
Semantic Scholar
A discrete-time feedback controller for containerized cloud applications
L. Baresi, S. Guinea, A. Leva, G. Quattrocchi
2016SIGSOFT FSE93 citations Open access
Semantic Scholar
Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture
L. Baresi, D. Mendonça, Martin Garriga
2017European Conference on Service-Oriented and Cloud Computing66 citations Open access
Semantic Scholar
A comparison framework for runtime monitoring approaches
R. Rabiser, S. Guinea, Michael Vierhauser, L. Baresi +1 more
2017Journal of Systems and Software55 citations Open access
Semantic Scholar
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes
L. Baresi, David Hu, G. Quattrocchi, L. Terracciano
2021International Conference on Service Oriented Computing47 citations
Semantic Scholar
Multi-party business process compliance monitoring through IoT-enabled artifacts
G. Meroni, L. Baresi, Marco Montali, P. Plebani
2018Information Systems45 citations Open access
Semantic Scholar
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration
A. Metzger, Clément Quinton, Z. Á. Mann, L. Baresi +1 more
2019Computing38 citations Open access
Semantic Scholar
Learning and Evolution in Dynamic Software Product Lines
Amir Molzam Sharifloo, A. Metzger, Clément Quinton, L. Baresi +1 more
2016International Symposium on Software Engineering for Adaptive and Self-Managing Systems36 citations Open access
Semantic Scholar
Feature Interactions: The Next Generation (Dagstuhl Seminar 14281)
Sven Apel, J. Atlee, L. Baresi, P. Zave
2014Dagstuhl Reports33 citations
Semantic Scholar
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
D. Mendonça, G. Rodrigues, Raian Ali, V. Alves +1 more
2016Information and Software Technology30 citations Open access
Semantic Scholar
Formal verification and validation of embedded systems: the UML-based MADES approach
L. Baresi, Gundula Blohm, D. Kolovos, N. Matragkas +4 more
2015Journal of Software and Systems Modeling28 citations Open access
Semantic Scholar
Engineering Multi-Agent Systems
M. Baldoni, L. Baresi, M. Dastani
2015Lecture Notes in Computer Science28 citations
Semantic Scholar
Evolution in dynamic software product lines
Clément Quinton, Michael Vierhauser, R. Rabiser, L. Baresi +2 more
2020J. Softw. Evol. Process.27 citations Open access
Semantic Scholar
NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge
L. Baresi, David Hu, G. Quattrocchi, L. Terracciano
2022International Symposium on Software Engineering for Adaptive and Self-Managing Systems26 citations Open access
Semantic Scholar
Microservices: The Evolution and Extinction of Web Services?
L. Baresi, Martin Garriga
2019Microservices, Science and Engineering26 citations
Semantic Scholar
Dynamically Evolving the Structural Variability of Dynamic Software Product Lines
L. Baresi, Clément Quinton
20152015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems23 citations Open access
Semantic Scholar
Building Software for the Internet of Things
L. Baresi, L. Mottola, S. Dustdar
2015IEEE Internet Computing21 citations Open access
Semantic Scholar
Evolution in dynamic software product lines: challenges and perspectives
Clément Quinton, R. Rabiser, Michael Vierhauser, P. Grünbacher +1 more
2015Software Product Lines Conference21 citations Open access
Semantic Scholar
Efficient Dynamic Updates of Distributed Components Through Version Consistency
L. Baresi, C. Ghezzi, Xiaoxing Ma, V. Manna
2017IEEE Transactions on Software Engineering20 citations Open access
Semantic Scholar
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud
L. Baresi, S. Guinea, G. Quattrocchi, D. Tamburri
2016International Conference on Smart Cloud20 citations
Semantic Scholar
PAPS: A Framework for Decentralized Self-management at the Edge
L. Baresi, D. Mendonça, G. Quattrocchi
2019International Conference on Service Oriented Computing19 citations
Semantic Scholar
Efficient Scalable Verification of LTL Specifications
L. Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo G. Rossi
20152015 IEEE/ACM 37th IEEE International Conference on Software Engineering18 citations Open access
Semantic Scholar
A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects
L. Baresi, G. Meroni, P. Plebani
2015Business Process Management Workshops18 citations
Semantic Scholar
What Are We Missing When Testing Our Android Apps?
K. Rubinov, L. Baresi
2018Computer17 citations
Semantic Scholar
Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps
Andreas Christoforou, Martin Garriga, A. Andreou, L. Baresi
2017International Conference on Service Oriented Computing17 citations
Semantic Scholar
Trends and Challenges for Software Engineering in the Mobile Domain
L. Baresi, W. Griswold, Grace A. Lewis, M. Autili +2 more
2021IEEE Software16 citations Open access
Semantic Scholar
WiDiSi: A Wi-Fi direct simulator
L. Baresi, N. Derakhshan, S. Guinea
2016IEEE Wireless Communications and Networking Conference15 citations
Semantic Scholar
Open Challenges in Federated Machine Learning
L. Baresi, G. Quattrocchi, N. Rasi
2023IEEE Internet Computing13 citations
Semantic Scholar
Adopting microservice architecture: A decision support model based on genetically evolved multi-layer FCM
Andreas Christoforou, A. Andreou, Martin Garriga, L. Baresi
2021Applied Soft Computing12 citations Open access
Semantic Scholar
Fine-Grained Dynamic Resource Allocation for Big-Data Applications
L. Baresi, A. Leva, G. Quattrocchi
2021IEEE Transactions on Software Engineering12 citations Open access
Semantic Scholar
PAPS: A Serverless Platform for Edge Computing Infrastructures
L. Baresi, G. Quattrocchi
2021Frontiers in Sustainable Cities11 citations Open access
Semantic Scholar
A Comprehensive Resource Management Solution for Web-based Systems
Filippo Seracini, Massimiliano Menarini, I. Krüger, L. Baresi +2 more
2014International Conference on Automation and Computing11 citations
Semantic Scholar
A Qualitative and Quantitative Analysis of Container Engines
L. Baresi, G. Quattrocchi, N. Rasi
2023Journal of Systems and Software10 citations Open access
Semantic Scholar
COCOS: A Scalable Architecture for Containerized Heterogeneous Systems
L. Baresi, G. Quattrocchi
2020International Conference on Software Architecture10 citations
Semantic Scholar
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation
L. Baresi, Mersedeh Sadeghi, Massimo Valla
20182018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)10 citations Open access
Semantic Scholar
Test oracles for simulink-like models
L. Baresi, M. Delamaro, P. Nardi
2017International Conference on Automated Software Engineering10 citations
Semantic Scholar
MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct
L. Baresi, N. Derakhshan, S. Guinea, Francesco Arenella
20172017 IEEE International Conference on Communications (ICC)10 citations
Semantic Scholar
A distributed architecture for efficient Web service discovery
L. Baresi, Matteo Miraz, P. Plebani
2016Service Oriented Computing and Applications10 citations Open access
Semantic Scholar
Self-adaptive systems, services, and product lines
L. Baresi
2014Software Product Lines Conference10 citations
Semantic Scholar
Federated Machine Learning as a Self-Adaptive Problem
L. Baresi, G. Quattrocchi, N. Rasi
2021International Symposium on Software Engineering for Adaptive and Self-Managing Systems9 citations
Semantic Scholar
A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications
L. Baresi, G. Quattrocchi
20202020 IEEE International Conference on Web Services (ICWS)9 citations Open access
Semantic Scholar
Towards Vertically Scalable Spark Applications
L. Baresi, G. Quattrocchi
2018Euro-Par Workshops9 citations
Semantic Scholar
Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services
A. Metzger, Clément Quinton, Z. Á. Mann, L. Baresi +1 more
2020International Conference on Service Oriented Computing8 citations Open access
Semantic Scholar
On the Timed Analysis of Big-Data Applications
F. Marconi, G. Quattrocchi, L. Baresi, M. Bersani +1 more
2018NASA Formal Methods8 citations Open access
Semantic Scholar
Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files
L. Baresi, G. Quattrocchi, D. Tamburri
2022arXiv.org7 citations Open access
Semantic Scholar
Fine-grained Context-aware Access Control for Smart Devices
L. Baresi, Mersedeh Sadeghi
2018International Conference on Computer Science and Information Technologies7 citations
Semantic Scholar
A Logic-Based Approach for the Verification of UML Timed Models
L. Baresi, A. Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem K. +1 more
2017ACM Transactions on Software Engineering and Methodology7 citations Open access
Semantic Scholar
How bit-vector logic can help improve the verification of LTL specifications over infinite domains
L. Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo G. Rossi
2016ACM Symposium on Applied Computing7 citations Open access
Semantic Scholar