Paolo Arcaini - Concepedia

Author

Paolo Arcaini

National Institute of Informatics ORCID

Also Known As

ARCAINI, PAOLO, Arcaini, Paolo, Paolo Arcaini, Trubiani, Catia

258

Publications

2.7K

Citations

H-Index

126

Concepts

All Affiliations

National Institute of Informatics University of Bergamo University of Milan Charles University Simula Research Laboratory

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	23	48	1.6K
2	Arts	1	1	23
3	Medicine	1	1	22
4	Natural Sciences	1	1	17
5	Communication	1	1	23

Paolo Arcaini

Publications

1.8K

Citations

H-Index

Page 1

	Year	Citations
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra EngineeringVerificationMape-k Feedback LoopsFormal VerificationSelf-stabilization	2015	197
Modeling and analyzing MAPE-K feedback loops for self-adaptation Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra Software Engineering for Adaptive and Self-Managing Systems EngineeringVerificationMape-k Feedback LoopsFormal VerificationSelf-stabilization	2015	98
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems Alessandro Calò, Paolo Arcaini, Shaukat Ali, EngineeringAvoidable Collision ScenariosAdvanced Driver-assistance SystemAutonomous SystemsCombined Approach	2020	97
A model‐driven process for engineering a toolset for a formal method Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Software Practice and Experience EngineeringSoftware SystemsSoftware EngineeringSystem-level DesignSoftware Analysis	2011	76
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs Shaukat Ali, Paolo Arcaini, Xinyi Wang, Quantum CompilersQuantum ScienceOutput Coverage CriteriaQuantum ComputingQuantum Algorithms	2021	69
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search Zhenya Zhang, Gidon Ernst, Sean Sedwards, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Artificial IntelligenceEngineeringMachine LearningModel TuningVerification	2018	66
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra ACM Transactions on Autonomous and Adaptive Systems Mape ComponentsEngineeringVerificationFormal DesignAdaptive Computing	2017	65
Muskit: A Mutation Analysis Tool for Quantum Software Testing Eñaut Mendiluze Usandizaga, Shaukat Ali, Paolo Arcaini, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) Quantum SoftwareEngineeringSoftware EngineeringSoftware AnalysisFormal Verification	2021	52
Generating Tests for Detecting Faults in Feature Models Paolo Arcaini, Angelo Gargantini, P. Vavassori Software MaintenanceEngineeringVerificationTest Data GenerationSoftware Engineering	2015	39
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search Yixing Luo, Xiao–Yi Zhang, Paolo Arcaini, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) Artificial IntelligenceEngineeringTest Data GenerationSoftware EngineeringComplex Systems	2021	37

Page 1