![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Paolo Arcaini
Person information
- affiliation: National Institute of Informatics, Tokyo, Japan
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j35]Paolo Arcaini, Ahmet Cetinkaya:
CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. 238: 103171 (2024) - [j34]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) - [c126]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 - [c125]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 - [c124]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 - [c123]Paolo Arcaini
, Fuyuki Ishikawa
, Lei Ma
, Yuta Maezawa
, Nobukazu Yoshioka
, Fuyuan Zhang
:
Technical Briefing on Deep Neural Network Repair. ICSE Companion 2024: 428-430 - [c122]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]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]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 - [e5]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] - [e4]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] - [d1]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. Zenodo, 2024 - [i22]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) - [i21]Juan Manuel Murillo, José García-Alonso, Enrique Moguel, Johanna Barzen, Frank Leymann, Shaukat Ali, Tao Yue, Paolo Arcaini, Ricardo Pérez, 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) - [i20]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) - 2023
- [j33]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]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]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]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]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]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]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]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]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]Zhenya Zhang
, Jie An
, Paolo Arcaini
, Ichiro Hasuo
:
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84 - [c116]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]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]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]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]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]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]Paolo Arcaini
, Ahmet Cetinkaya:
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT 2023: 41-42 - [c109]Davide Li Calsi
, Matias Duran
, Xiao-Yi Zhang, Paolo Arcaini
, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. ICST 2023: 83-94 - [c108]Franz Scheuer, Alessio Gambi, Paolo Arcaini
:
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV 2023: 1-6 - [c107]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]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE 2023: 2066-2069 - [c105]Tao Yue, Shaukat Ali, Paolo Arcaini
:
Towards Quantum Software Requirements Engineering. QCE 2023: 161-164 - [e3]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]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] - [i19]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]Zhenya Zhang, Jie An
, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023) - [i17]Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Noise-Aware Quantum Software Testing. CoRR abs/2306.16992 (2023) - [i16]Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. CoRR abs/2308.05505 (2023) - [i15]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR abs/2309.00119 (2023) - [i14]Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. CoRR abs/2309.13358 (2023) - [i13]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]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]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]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]Thomas Laurent
, Paolo Arcaini
, Catia Trubiani
, Anthony Ventresque
:
Mutation-based analysis of queueing network performance models. J. Syst. Softw. 191: 111385 (2022) - [j24]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]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]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]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]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]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]Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion 2022: 173-177 - [c99]Paolo Arcaini
, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST 2022: 279-290 - [c98]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]Tao Yue
, Shaukat Ali
, Paolo Arcaini
, Fuyuki Ishikawa
:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21 - [c96]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]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]Ezequiel Castellano, Stefan Klikovits
, Ahmet Cetinkaya, Paolo Arcaini
:
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE 2022: 47-48 - [c93]Thomas Laurent, Paolo Arcaini
, Catia Trubiani, Anthony Ventresque:
JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE 2022: 1721-1725 - [e1]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]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. CoRR abs/2204.08561 (2022) - [i9]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]Tao Yue, Paolo Arcaini, Shaukat Ali:
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022(128) (2022) - 2021
- [c92]Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28 - [c91]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]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]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]Zhenya Zhang
, Paolo Arcaini
:
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM 2021: 330-348 - [c87]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]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]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]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]Jordan Doyle, Takfarinas Saber
, Paolo Arcaini
, Anthony Ventresque
:
Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops 2021: 138-145 - [c82]Paolo Arcaini
, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST 2021: 295-305 - [c81]Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST 2021: 442-447 - [c80]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]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]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]Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE 2021: 1237-1241 - [c76]Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini
, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE 2021: 1266-1270 - [c75]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]Stefan Klikovits
, Paolo Arcaini
:
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) 2021: 322-326 - [c73]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]Stefan Klikovits
, Paolo Arcaini
:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC 2021: 1-6 - [c71]Ezequiel Castellano
, Ahmet Cetinkaya, Paolo Arcaini:
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS 2021: 167-178 - [c70]Xinyi Wang, Paolo Arcaini
, Tao Yue, Shaukat Ali:
Application of Combinatorial Testing to Quantum Programs. QRS 2021: 179-188 - [c69]Stefan Klikovits
, Paolo Arcaini
:
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC 2021: 503-518 - [c68]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]Paolo Arcaini
, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) 2021: 112 - [c66]Xinyi Wang
, Paolo Arcaini
, Tao Yue
, Shaukat Ali
:
Generating Failing Test Suites for Quantum Programs With Search. SSBSE 2021: 9-25 - [i7]Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. CoRR abs/2109.05210 (2021) - [i6]Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR abs/2109.07698 (2021) - [i5]Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR abs/2109.13104 (2021) - 2020
- [j22]Atif Mashkoor
, Paolo Arcaini
, Angelo Gargantini
:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020) - [j21]Paolo Arcaini
, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127: 106371 (2020) - [j20]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020) - [j19]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]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]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]Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
:
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest 2020: 7-14 - [c64]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]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]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]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]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]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]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51 - [c57]Alessandro Calò, Paolo Arcaini
, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386 - [c56]Tao Yue
, Paolo Arcaini
, Shaukat Ali
:
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) 2020: 54-71 - [c55]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]Zhenya Zhang
, Paolo Arcaini
, Ichiro Hasuo
:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM 2020: 401-419 - [c53]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]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]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR abs/2001.05107 (2020)
2010 – 2019
- 2019
- [j16]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. 150: 64-76 (2019) - [j15]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019) - [j14]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019) - [c51]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]Zhenya Zhang
, Ichiro Hasuo
, Paolo Arcaini
:
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420 - [c49]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]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c47]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]Xiao-Yi Zhang, Paolo Arcaini
, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199 - [c45]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169 - [c44]Paolo Arcaini
, Elvinia Riccobene:
Automatic Refinement of ASM Abstract Test Cases. ICST Workshops 2019: 1-10 - [c43]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops 2019: 200-209 - [c42]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40 - [c41]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) 2019: 35:1 - [c40]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli:
A process for fault-driven repair of constraints among features. SPLC (B) 2019: 71:1-71:9 - [c39]Étienne André
, Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146 - [c38]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]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR abs/1905.07549 (2019) - [i2]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019) - [i1]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]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]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]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]Paolo Arcaini
, Pavel Jezek, Jan Kofron
:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ 2018: 277-291 - [c35]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]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene
, Patrizia Scandurra
:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19 - [c33]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16 - [c32]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
An evolutionary process for product-driven updates of feature models. VaMoS 2018: 67-74 - [c31]Paolo Arcaini
, Riccardo Melioli, Elvinia Riccobene:
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC 2018: 26-36 - [r1]Paolo Arcaini
, Gloria Bordogna:
Geotemporal Querying of Social Networks and Summarization. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [j11]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]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]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]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96 - [c29]Paolo Arcaini
, Xavier Devroey
, Shuai Wang:
Message from the A-MOST 2017 Chairs. ICST Workshops 2017: 317-318 - [c28]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483 - [c27]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18 - [c26]Paolo Arcaini
, Catia Trubiani
:
Collaborative development of feature models and evaluation of performance bounds. SAC 2017: 1162-1167 - [c25]Paolo Arcaini
, Angelo Gargantini
, Paolo Vavassori:
Automated Repairing of Variability Models. SPLC (A) 2017: 9-18 - [p1]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]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]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]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]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]Paolo Arcaini
, Angelo Gargantini
, Paolo Vavassori:
Automatic Detection and Removal of Conformance Faults in Feature Models. ICST 2016: 102-112 - [c21]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269 - [c20]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178 - 2015
- [j6]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]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]Paolo Arcaini
, Elvinia Riccobene
, Patrizia Scandurra
:
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23 - [c18]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6 - [c17]Paolo Arcaini
, Angelo Gargantini, Paolo Vavassori:
Generating Tests for Detecting Faults in Feature Models. ICST 2015: 1-10 - [c16]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]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130 - [c14]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]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]Paolo Arcaini
, Angelo Gargantini
:
Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. 94: 93-108 (2014) - [c13]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51 - [c12]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]Paolo Arcaini
, Angelo Gargantini, Paolo Vavassori:
Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops 2014: 98-107 - [c10]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF 2014: 36-52 - 2013
- [c9]Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini:
Flexible Querying of Volunteered Geographic Information for Risk Management. EUSFLAT Conf. 2013 - [c8]Paolo Arcaini
, Gloria Bordogna
, Simone Sterlacchini
:
Wildfire Susceptibility Maps Flexible Querying and Answering. FQAS 2013: 352-363 - [c7]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111 - [c6]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]Paolo Arcaini
, Francesco Bolis, Angelo Gargantini
:
Test Generation for Sequential Nets of Abstract State Machines. ABZ 2012: 36-50 - 2011
- [j2]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7(2): 97-107 (2011) - [j1]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]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391 - [c3]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238 - 2010
- [c2]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]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-15 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint