Paolo Arcaini
National Institute of Informatics(JP)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Software Reliability and Analysis Research, Advanced Software Engineering Methodologies, Quantum Computing Algorithms and Architecture
Most-Cited Works
- → Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation(2015)200 cited
- → Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems(2020)98 cited
- → A model‐driven process for engineering a toolset for a formal method(2011)76 cited
- → AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications(2010)75 cited
- → Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs(2021)69 cited
- → Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search(2018)66 cited
- → Formal Design and Verification of Self-Adaptive Systems with Decentralized Control(2017)65 cited
- → Muskit: A Mutation Analysis Tool for Quantum Software Testing(2021)52 cited
- → Quantum Software Engineering: Roadmap and Challenges Ahead(2025)39 cited