| Modeling and analyzing MAPE-K feedback loops for self-adaptation P Arcaini, E Riccobene, P Scandurra 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015 | 263 | 2015 |
| A model‐driven process for engineering a toolset for a formal method P Arcaini, A Gargantini, E Riccobene, P Scandurra Software: Practice and Experience 41 (2), 155-166, 2011 | 83 | 2011 |
| Generating avoidable collision scenarios for testing autonomous driving systems A Calò, P Arcaini, S Ali, F Hauer, F Ishikawa 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 79 | 2020 |
| AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications P Arcaini, A Gargantini, E Riccobene Abstract State Machines, Alloy, B and Z: Second International Conference …, 2010 | 77 | 2010 |
| Formal design and verification of self-adaptive systems with decentralized control P Arcaini, E Riccobene, P Scandurra ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-35, 2017 | 68 | 2017 |
| Two-layered falsification of hybrid systems guided by monte carlo tree search Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 65 | 2018 |
| Generating tests for detecting faults in feature models P Arcaini, A Gargantini, P Vavassori 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 56 | 2015 |
| Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020 | 48 | 2020 |
| CoMA: conformance monitoring of java programs by abstract state machines P Arcaini, A Gargantini, E Riccobene Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 44 | 2012 |
| ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019 | 43 | 2019 |
| Assessing the effectiveness of input and output coverage criteria for testing quantum programs S Ali, P Arcaini, X Wang, T Yue 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 42 | 2021 |
| Automatic review of Abstract State Machines by meta-property verification P Arcaini, A Gargantini, E Riccobene Proceedings of the Second NASA formal methods symposium, 4-13, 2010 | 41 | 2010 |
| Rigorous development process of a safety-critical system: from ASM models to Java code P Arcaini, A Gargantini, E Riccobene International Journal on Software Tools for Technology Transfer 19, 247-269, 2017 | 38 | 2017 |
| Integrating formal methods into medical software development: The ASM approach P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene Science of Computer Programming 158, 148-167, 2018 | 31 | 2018 |
| Effective hybrid system falsification using monte carlo tree search guided by QB-robustness Z Zhang, D Lyu, P Arcaini, L Ma, I Hasuo, J Zhao International Conference on Computer Aided Verification, 595-618, 2021 | 29 | 2021 |
| Multi-armed bandits for boolean connectives in hybrid system falsification Z Zhang, I Hasuo, P Arcaini Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 29 | 2019 |
| Generating failing test suites for quantum programs with search X Wang, P Arcaini, T Yue, S Ali International Symposium on Search Based Software Engineering, 9-25, 2021 | 28 | 2021 |
| Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems A Calò, P Arcaini, S Ali, F Hauer, F Ishikawa Proceedings of the 2020 Genetic and Evolutionary Computation Conference …, 2020 | 27 | 2020 |
| FreneticV at the SBST 2022 tool competition E Castellano, S Klikovits, A Cetinkaya, P Arcaini Proceedings of the 15th Workshop on Search-Based Software Testing, 47-48, 2022 | 26 | 2022 |
| Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism P Arcaini, A Gargantini, E Riccobene 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 26 | 2013 |
Elvinia RiccobeneProfessore, Università di Milano, ItalyVerified email at unimi.it
