Concepedia

Paolo Arcaini

PA

63

Publications

1.8K

Citations

26

H-Index

2010

Active since

Affiliations

National Institute of Informatics(Current)

University of Bergamo

University of Milan

Charles University

Simula Research Laboratory

Paolo Arcaini is an author at National Institute of Informatics specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationSoftware TestingVerificationSoftware EngineeringComputer EngineeringProgram Analysis

Publications per year

2010–2025

63

Publications

63

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation

Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra · 2015 · 197 citations

Engineering, Verification, Mape-k Feedback Loops +16

Modeling and analyzing MAPE-K feedback loops for self-adaptation

Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra · Software Engineering for Adaptive and Self-Managing Systems · 2015 · 98 citations

Engineering, Verification, Mape-k Feedback Loops +16

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems

Alessandro Calò, Paolo Arcaini, Shaukat Ali et al. · 2020 · 97 citations

Engineering, Avoidable Collision Scenarios, Advanced Driver-assistance System +18

A model‐driven process for engineering a toolset for a formal method

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene et al. · Software Practice and Experience · 2011 · 76 citations

Engineering, Software Systems, Software Engineering +22

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

Shaukat Ali, Paolo Arcaini, Xinyi Wang et al. · 2021 · 69 citations

Quantum Compilers, Quantum Science, Output Coverage Criteria +15

Rows per page

1–5 of 63