default search action

combined dblp search
author search
venue search
publication search

ask others

Paolo Arcaini

> Home > Persons

Person information

affiliation: National Institute of Informatics, Tokyo, Japan

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Service temporarily not available.

Please try again later.

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/NguyenZAIV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/NguyenZAIV25
Thu-Trang Nguyen, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Hieu Dinh Vo:
Automated program repair for variability bugs in software product line systems. J. Syst. Softw. 221: 112152 (2025)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ArcainiMM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ArcainiMM25
Paolo Arcaini, Andriy V. Miranskyy, Hausi A. Müller:
Introduction to the Special Section on software engineering for hybrid quantum computing systems. J. Syst. Softw. 223: 112362 (2025)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/WangMYAA25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/WangMYAA25
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. ACM Trans. Softw. Eng. Methodol. 34(1): 5:1-5:24 (2025)
2024
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArcainiC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArcainiC24
Paolo Arcaini, Ahmet Cetinkaya:
CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. 238: 103171 (2024)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArcainiBGRS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArcainiBGRS24
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26(3): 379-401 (2024)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ZhangLAJZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ZhangLAJZ24
Xiao-Yi Zhang, Yang Liu, Paolo Arcaini, Mingyue Jiang, Zheng Zheng:
MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms. ACM Trans. Softw. Eng. Methodol. 33(8): 198:1-198:37 (2024)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MuqeetYAA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MuqeetYAA24
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Mitigating Noise in Quantum Software Testing Using Machine Learning. IEEE Trans. Software Eng. 50(11): 2947-2961 (2024)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WangAYA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WangAYA24
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini:
Quantum Approximate Optimization Algorithm for Test Case Optimization. IEEE Trans. Software Eng. 50(12): 3249-3264 (2024)
[c134]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/ZhangAAH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZhangAAH24
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
CauMon: An Informative Online Monitor for Signal Temporal Logic. FM (2) 2024: 286-304
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/KlikovitsTCA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/KlikovitsTCA24
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion 2024: 39-40
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CalsiDZAI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CalsiDZAI24
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion 2024: 45-46
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LyuZAI0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LyuZAI0024
Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao:
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO 2024
[c130]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icse/ArcainiI0MYZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArcainiI0MYZ24
Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang:
Technical Briefing on Deep Neural Network Repair. ICSE Companion 2024: 428-430
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-deeptest/Calsi0AI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-deeptest/Calsi0AI24
Davide Li Calsi, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa:
Federated Repair of Deep Neural Networks. DeepTest@ICSE 2024
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-deeptest/Mancu0RAIR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-deeptest/Mancu0RAIR24
Andrei Mancu, Thomas Laurent, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Rueckert:
More is Not Always Better: Exploring Early Repair of DNNs. DeepTest@ICSE 2024
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LaurentAZI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LaurentAZI24
Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa:
Metamorphic Testing of an Autonomous Delivery Robots Scheduler. ICST 2024: 361-372
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/AliAA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/AliAA24
Shaukat Ali, Paolo Arcaini, Aitor Arrieta:
Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. ISoLA (5) 2024: 9-26
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Muqeet0A24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Muqeet0A24
Asmar Muqeet, Shaukat Ali, Paolo Arcaini:
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. ASE 2024: 2130-2141
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/sbst/TangZCA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbst/TangZCA24
Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini:
TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. SBFT@ICSE 2024: 53-54
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/sbst/ArcainiC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbst/ArcainiC24
Paolo Arcaini, Ahmet Cetinkaya:
CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. SBFT@ICSE 2024: 71-72
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Muqeet00A24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Muqeet00A24
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini:
A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. SIGSOFT FSE Companion 2024: 80-91
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/00040AAA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/00040AAA24
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. SIGSOFT FSE Companion 2024: 399-410
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/Sun0AI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/Sun0AI24
Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa:
Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER 2024: 383-394
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2024a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2024a
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2024b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2024b
Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents]
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/2023
Paolo Arcaini, Tao Yue, Erik M. Fredericks:
Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings. Lecture Notes in Computer Science 14415, Springer 2024, ISBN 978-3-031-48795-8 [contents]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/MoguelMGBLAYAPGPRBZMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/MoguelMGBLAYAPGPRBZMW24
Enrique Moguel, Juan Manuel Murillo, José García-Alonso, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer:
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material. Version 2. Zenodo, 2024 [all versions]
[d7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/ZhangAAH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/ZhangAAH24
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
CauMon: An Informative Online Monitor for Signal Temporal Logic. Zenodo, 2024
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-12777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-12777
Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel:
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. CoRR abs/2402.12777 (2024)
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-06825
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-06825
Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez-Castillo, Ignacio García Rodríguez de Guzmán, Mario Piattini, Antonio Ruiz-Cortés, Antonio Brogi, Jianjun Zhao, Andriy V. Miranskyy, Manuel Wimmer:
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR abs/2404.06825 (2024)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-12892
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-12892
Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini:
A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers. CoRR abs/2404.12892 (2024)
[i23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-18779
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-18779
Shaukat Ali, Paolo Arcaini, Aitor Arrieta:
Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. CoRR abs/2407.18779 (2024)
[i22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-00501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-00501
Asmar Muqeet, Shaukat Ali, Paolo Arcaini:
Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. CoRR abs/2408.00501 (2024)
[i21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-15494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-15494
Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård:
Assessing Quantum Extreme Learning Machines for Software Testing in Practice. CoRR abs/2410.15494 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-04740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-04740
Xinyi Wang, Shaukat Ali, Paolo Arcaini, Narasimha Raghavan Veeraragavan, Jan F. Nygård:
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study. CoRR abs/2411.04740 (2024)
2023
[j33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/asc/KlikovitsTCA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/asc/KlikovitsTCA23
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146: 110631 (2023)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/KlikovitsCCA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KlikovitsCCA23
Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230: 102996 (2023)
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ArcainiM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ArcainiM23
Paolo Arcaini, Andriy V. Miranskyy:
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023). ACM SIGSOFT Softw. Eng. Notes 48(4): 64-65 (2023)
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcad/TakisakaZAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/TakisakaZAH23
Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1718-1731 (2023)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/ZhangAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/ZhangAI23
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20(4): 2713-2730 (2023)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/LaurentKAIV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/LaurentKAIV23
Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32(3): 58:1-58:31 (2023)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ZhangLAMHZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ZhangLAMHZ23
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023)
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LaurentAIKSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LaurentAIKSM23
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC 2023: 425-430
[c118]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/MenghiABEFFGK0P23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/MenghiABEFFGK0P23
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang:
ARCH-COMP23 Category Report: Falsification. ARCH 2023: 151-169
[c117]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhangAAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhangAAH23
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/ArcainiCIKSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/ArcainiCIKSM23
Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC 2023: 1-10
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/dsa/ZhangZAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsa/ZhangZAI23
Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA 2023: 734-742
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/WuA00Z23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/WuA00Z23
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang:
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). GECCO Companion 2023: 47-48
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/BentleyLAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/BentleyLAI23
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa:
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO 2023: 1303-1311
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CalsiD00AI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CalsiD00AI23
Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Adaptive Search-based Repair of Deep Neural Networks. GECCO 2023: 1527-1536
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/VictoricaAIKSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/VictoricaAIKSM23
Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS 2023: 177-186
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ArcainiC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArcainiC23
Paolo Arcaini, Ahmet Cetinkaya:
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT 2023: 41-42
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CalsiDZAI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CalsiDZAI23
Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. ICST 2023: 83-94
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/ScheuerGA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/ScheuerGA23
Franz Scheuer, Alessio Gambi, Paolo Arcaini:
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV 2023: 1-6
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YeXZAMZI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YeXZAMZI23
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa:
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE 2023: 1149-1161
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangAYA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangAYA23
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE 2023: 2066-2069
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/YueAA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/YueAA23
Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. QCE 2023: 161-164
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2023a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2023a
Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents]
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2023b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2023b
Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/KlikovitsTCA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlikovitsTCA23
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. Version 1. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/KlikovitsTCA23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/KlikovitsTCA23a
Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data. Version 2. Zenodo, 2023 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/ZhangAAH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ZhangAAH23
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic (Artifact). Version 1. Zenodo, 2023 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/ZhangAAH23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ZhangAAH23a
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic (Artifact). Version 2. Zenodo, 2023 [all versions]
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-03211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-03211
Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa:
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR abs/2303.03211 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17754
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17754
Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-16992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-16992
Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Noise-Aware Quantum Software Testing. CoRR abs/2306.16992 (2023)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-05505
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-05505
Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. CoRR abs/2308.05505 (2023)
[i15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-00119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-00119
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR abs/2309.00119 (2023)
[i14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13358
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13358
Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. CoRR abs/2309.13358 (2023)
[i13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-14461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-14461
Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR abs/2311.14461 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-16913
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-16913
Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali:
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR abs/2311.16913 (2023)
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-15547
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-15547
Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini:
Guess What Quantum Computing Can Do for Test Case Optimization. CoRR abs/2312.15547 (2023)
2022
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/WuAYAZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/WuAYAZ22
Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang:
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. Empir. Softw. Eng. 27(6): 144 (2022)
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jss/0003ATV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/0003ATV22
Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque:
Mutation-based analysis of queueing network performance models. J. Syst. Softw. 191: 111385 (2022)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/YueAWH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/YueAWH22
Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang:
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21(4): 1273-1275 (2022)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhangAX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhangAX22
Zhenya Zhang, Paolo Arcaini, Xuan Xie:
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4421-4432 (2022)
[c104]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/ErnstAFF0KMMPWY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/ErnstAFF0KMMPWY22
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP 2022: 204-221
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LuoZAJZIW022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LuoZAJZIW022
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion 2022: 33-34
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/WangA0022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/WangA0022
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion 2022: 47-48
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/WangYA0022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/WangYA0022
Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali:
Mutation-based test generation for quantum programs with multi-objective search. GECCO 2022: 1345-1353
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangAYA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangAYA22
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion 2022: 173-177
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiZI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiZI22
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST 2022: 279-290
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiBBGGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiBBGGP22
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini:
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST 2022: 312-322
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/YueAAI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/YueAAI22
Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/CastellanoZATII22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/CastellanoZATII22
Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura:
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE 2022: 210:1-210:8
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LuoZAJZZI22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LuoZAJZZI22
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa:
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE 2022: 88-100
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/sbst/CastellanoKCA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbst/CastellanoKCA22
Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini:
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE 2022: 47-48
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/0003ATV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/0003ATV22
Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque:
JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE 2022: 1721-1725
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/2022
Paolo Arcaini, Xavier Devroey, Alessandro Fantechi:
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022. ACM 2022, ISBN 978-1-4503-9604-2 [contents]
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-08561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-08561
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. CoRR abs/2204.08561 (2022)
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-05947
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-05947
Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini:
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR abs/2209.05947 (2022)
[i8]
- view
  - electronic edition @ ercim.eu (open access)
  - details & citations
- export record
  dblp key:
  - journals/ercim/0002A022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ercim/0002A022
Tao Yue, Paolo Arcaini, Shaukat Ali:
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022(128) (2022)
2021
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ArcainiBBG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ArcainiBBG21
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28
[c91]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/ErnstABCDFFG0KM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/ErnstABCDFFG0KM21
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 2021: 133-152
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ArcainiBBGRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ArcainiBBGRS21
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238
[c89]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhangLAMHZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhangLAMHZ21
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ZhangA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ZhangA21
Zhenya Zhang, Paolo Arcaini:
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM 2021: 330-348
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/0001A021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/0001A021
Shaukat Ali, Paolo Arcaini, Tao Yue:
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion 2021: 21-22
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/0003AIV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/0003AIV21
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion 2021: 33-34
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/YinA0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/YinA0021
Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali:
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO 2021: 1106-1114
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/0001AW021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/0001AW021
Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue:
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST 2021: 13-23
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DoyleSAV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DoyleSAV21
Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque:
Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops 2021: 138-145
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiZI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiZI21
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST 2021: 295-305
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiBBG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiBBG21
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST 2021: 442-447
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DuranZAI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DuranZAI21
Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE 2021: 264-275
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/ArcainiCILZAHV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/ArcainiCILZAHV21
Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque:
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops 2021: 197-202
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LuoZAJZIW021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LuoZAJZIW021
Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE 2021: 279-291
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WangA0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WangA0021
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE 2021: 1237-1241
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Mendiluze0A021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Mendiluze0A021
Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE 2021: 1266-1270
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0003AIV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0003AIV21
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE 2021: 1327-1331
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/models/KlikovitsA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/KlikovitsA21
Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) 2021: 322-326
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ZhangLA0HZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ZhangLA0HZ21
Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/KlikovitsA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/KlikovitsA21
Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC 2021: 1-6
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/CastellanoCA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/CastellanoCA21
Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS 2021: 167-178
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WangAYA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WangAYA21
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Application of Combinatorial Testing to Quantum Programs. QRS 2021: 179-188
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/quatic/KlikovitsA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/quatic/KlikovitsA21
Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC 2021: 503-518
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sbst/CastellanoCTKZA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbst/CastellanoCTKZA21
Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini:
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE 2021: 36-37
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ArcainiIT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ArcainiIT21
Paolo Arcaini, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) 2021: 112
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/WangAYA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/WangAYA21
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Generating Failing Test Suites for Quantum Programs With Search. SSBSE 2021: 9-25
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/UsandizagaAAY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/UsandizagaAAY21
Eñaut Mendiluze Usandizaga, Shaukat Ali, Paolo Arcaini, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. Zenodo, 2021
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/WangAYA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/WangAYA21
Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. Zenodo, 2021
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-05210
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-05210
Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. CoRR abs/2109.05210 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-07698
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-07698
Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR abs/2109.07698 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-13104
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-13104
Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR abs/2109.13104 (2021)
2020
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MashkoorAG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MashkoorAG20
Atif Mashkoor, Paolo Arcaini, Angelo Gargantini:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ArcainiIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ArcainiIT20
Paolo Arcaini, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127: 106371 (2020)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ArcainiMRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ArcainiMRS20
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArcainiKJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArcainiKJ20
Paolo Arcaini, Jan Kofron, Pavel Jezek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. 22(3): 265-279 (2020)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhangAH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhangAH20
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3674-3685 (2020)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/AliAPSY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/AliAPSY20
Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue:
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. ACM Trans. Softw. Eng. Methodol. 29(2): 10:1-10:29 (2020)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ArcainiBBG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ArcainiBBG20
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest 2020: 7-14
[c64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/arch/ErnstABDFFMMPPY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arch/ErnstABDFFMMPPY20
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2020 Category Report: Falsification. ARCH 2020: 140-152
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBGRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBGRS20
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CetinkayaAIH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CetinkayaAIH20
Ahmet Cetinkaya, Paolo Arcaini, Hideaki Ishii, Tomohisa Hayakawa:
A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control. CDC 2020: 5717-5724
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/CaloA0HI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/CaloA0HI20
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO 2020: 1055-1063
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/0003AIV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/0003AIV20
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS 2020: 93-102
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiuZAIJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiuZAIJ20
Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao:
Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE 2020: 57-63
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiMRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiMRS20
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CaloA0HI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CaloA0HI20
Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/YueAA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/YueAA20
Tao Yue, Paolo Arcaini, Shaukat Ali:
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) 2020: 54-71
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/ZhangAIL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/ZhangAIL20
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu:
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE 2020: 301-312
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ZhangAH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ZhangAH20
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM 2020: 401-419
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ArcainiMRSABMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ArcainiMRSABMP20
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini:
Smart home platform supporting decentralized adaptive automation control. SAC 2020: 1893-1900
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/0001A020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/0001A020
Shaukat Ali, Paolo Arcaini, Tao Yue:
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? SSBSE 2020: 25-41
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2001-05107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-05107
Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR abs/2001.05107 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. 150: 64-76 (2019)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/0003AIV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/0003AIV19
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. APSEC 2019: 94-101
[c50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ZhangHA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ZhangHA19
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/ErnstADFMPYYZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/ErnstADFMPYYZ19
Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek 2019: 129-140
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ArcainiBGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ArcainiBGRS19
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/LeeA0I19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/LeeA0I19
Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa:
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO 2019: 1241-1249
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/ZhangAI19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/ZhangAI19
Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/ArcainiMRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/ArcainiMRS19
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiR19
Paolo Arcaini, Elvinia Riccobene:
Automatic Refinement of ASM Abstract Test Cases. ICST Workshops 2019: 1-10
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops 2019: 200-209
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ArcainiGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ArcainiGR19
Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) 2019: 35:1
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ArcainiGR19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ArcainiGR19a
Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
A process for fault-driven repair of constraints among features. SPLC (B) 2019: 71:1-71:9
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AndreAGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AndreAGR19
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/AliAHIL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/AliAHIL19
Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee:
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS 2019: 12:1-12:6
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07549
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07549
Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR abs/1905.07549 (2019)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1907-02133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-02133
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-00806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-00806
Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR abs/1910.00806 (2019)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArcainiBGMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArcainiBGMR18
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ZhangESAH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ZhangESAH18
Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo:
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2894-2905 (2018)
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/DokhanchiYHFEZA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/DokhanchiYHFEZA18
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiJK18
Paolo Arcaini, Pavel Jezek, Jan Kofron:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ 2018: 277-291
[c35]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/birthday/ArcainiGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ArcainiGR18
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 242-263
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/ArcainiMRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/ArcainiMRS18
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/ArcainiGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/ArcainiGR18
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/ArcainiGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/ArcainiGR18
Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
An evolutionary process for product-driven updates of feature models. VaMoS 2018: 67-74
[c31]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1811-10816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10816
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene:
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC 2018: 26-36
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/snam/ArcainiB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/snam/ArcainiB18
Paolo Arcaini, Gloria Bordogna:
Geotemporal Querying of Social Networks and Summarization. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/ArcainiGRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/ArcainiGRV17
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. 81: 52-64 (2017)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArcainiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArcainiGR17
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 19(2): 247-269 (2017)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/ArcainiRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/ArcainiRS17
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. 11(4): 25:1-25:35 (2017)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR17
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiDW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiDW17
Paolo Arcaini, Xavier Devroey, Shuai Wang:
Message from the A-MOST 2017 Chairs. ICST Workshops 2017: 317-318
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR17a
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/nfm/ArcainiGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ArcainiGR17
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ArcainiT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ArcainiT17
Paolo Arcaini, Catia Trubiani:
Collaborative development of feature models and evaluation of performance bounds. SAC 2017: 1162-1167
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/ArcainiGV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/ArcainiGV17
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automated Repairing of Variability Models. SPLC (A) 2017: 9-18
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/sfsc/BordognaSACCMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sfsc/BordognaSACCMP17
Gloria Bordogna, Simone Sterlacchini, Paolo Arcaini, Giacomo Cappellini, Mattia Cugini, Elisabetta Mangioni, Chrysanthi Polyzoni:
A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario Maps in Preparedness of Emergency. Granular, Soft and Fuzzy Approaches for Intelligent Systems 2017: 171-189
2016
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ArcainiHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ArcainiHR16
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28(4): 567-595 (2016)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/ArcainiBIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/ArcainiBIS16
Paolo Arcaini, Gloria Bordogna, Dino Ienco, Simone Sterlacchini:
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks. Inf. Sci. 340-341: 122-143 (2016)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBDGMRRSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBDGMRRSS16
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier:
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBGR16
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ 2016: 344-359
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGV16
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automatic Detection and Removal of Conformance Faults in Feature Models. ICST 2016: 102-112
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ArcainiGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ArcainiGR16
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/ArcainiBGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/ArcainiBGR16
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/ArcainiGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/ArcainiGR15
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. 58(11): 2900-2920 (2015)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/ArcainiGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/ArcainiGR15
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. 25(5-7): 629-652 (2015)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ArcainiRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArcainiRS15
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGRV15
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGV15
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Generating Tests for Detecting Faults in Feature Models. ICST 2015: 1-10
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ArcainiBGMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ArcainiBGMR15
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Formal validation and verification of a medical software critical component. MEMOCODE 2015: 80-89
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ArcainiGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ArcainiGR15
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ArcainiHR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ArcainiHR15
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM 2015: 51-66
2014
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/ArcainiGR14
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ArcainiG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArcainiG14
Paolo Arcaini, Angelo Gargantini:
Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. 94: 93-108 (2014)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR14
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR14a
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) 2014: 95-109
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGV14
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops 2014: 98-107
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ArcainiGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ArcainiGR14
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF 2014: 36-52
2013
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/eusflat/ArcainiBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eusflat/ArcainiBS13
Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini:
Flexible Querying of Volunteered Geographic Information for Risk Management. EUSFLAT Conf. 2013
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fqas/ArcainiBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fqas/ArcainiBS13
Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini:
Wildfire Susceptibility Maps Flexible Querying and Answering. FQAS 2013: 352-363
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/ArcainiGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/ArcainiGR13
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ArcainiGR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ArcainiGR13
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops 2013: 178-187
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiBG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiBG12
Paolo Arcaini, Francesco Bolis, Angelo Gargantini:
Test Generation for Sequential Nets of Abstract State Machines. ABZ 2012: 36-50
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/ArcainiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/ArcainiGR11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7(2): 97-107 (2011)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/ArcainiGRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/ArcainiGRS11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2): 155-166 (2011)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ArcainiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ArcainiGR11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ArcainiGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ArcainiGR11
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238
2010
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/ArcainiGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/ArcainiGR10
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/nfm/ArcainiGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ArcainiGR10
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.