Paolo Arcaini - RankMe

240 papers A* 11A 26B 12C 15Misc 5Journal 85Unranked 78

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software. CoRR Muhammad Yousaf, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Shuai Wang
2026	A*	`conf`	Coordinating Speech with Touch Input and Visual Cues in Human-Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing. HRI Massimo Donini, Paolo Arcaini, Michael Oliverio, Fuyuki Ishikawa, Alessandro Mazzei, Deyun Lyu, Cristina Gena
2026	J	`jnl`	Quantum Circuit Repair by Gate Prioritisation. CoRR Eñaut Mendiluze Usandizaga, Thomas Laurent, Paolo Arcaini, Shaukat Ali
2026	J	`jnl`	Search-Based Quantum Program Testing via Commuting Pauli String. CoRR Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2026	J	`jnl`	Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. ACM Trans. Softw. Eng. Methodol. Qi Pan, Tiexin Wang, Jianwei Ma, Paolo Arcaini, Tao Yue
2026	J	`jnl`	Software Testing in the Quantum World. Computer Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy V. Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2026	J	`jnl`	Software Testing in the Quantum World. CoRR Rui Abreu, Shaukat Ali, Paolo Arcaini, José Campos, Michael Felderer, Claude Gravel, Fuyuki Ishikawa, Stefan Klikovits, Andriy Miranskyy, Anila Mjeda, Mohammad Reza Mousavi, Masaomi Yamaguchi, Lei Zhang, Jianjun Zhao
2025	—	`conf`	A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models. ICSTW Paolo Arcaini, Andrea Bombarda, Angelo Gargantini
2025	—	`conf`	Alternating between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System (Hot off the Press at GECCO 2025). GECCO Companion Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
2025	J	`jnl`	Automated Generation of Benchmarks for Falsification of STL Specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yipei Yan, Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Jianjun Zhao
2025	J	`jnl`	Automated program repair for variability bugs in software product line systems. J. Syst. Softw. Thu-Trang Nguyen, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Hieu Dinh Vo
2025	J	`jnl`	BQTmizer: A Tool for Test Case Minimization With Quantum Annealing. IEEE Softw. Xinyi Wang, Shaukat Ali, Paolo Arcaini
2025	A	`conf`	DETOUR at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. ICST Paolo Arcaini, Ahmet Cetinkaya
2025	J	`jnl`	FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks. CoRR Moses Openja, Paolo Arcaini, Foutse Khomh, Fuyuki Ishikawa
2025	J	`jnl`	Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. J. Syst. Softw. Deyun Lyu, Yi Li, Zhenya Zhang, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025	A	`conf`	Filter-based Repair of Semantic Segmentation in Safety-Critical Systems. SANER Sebastian Schneider, Tomas Sujovolsky, Paolo Arcaini, Fuyuki Ishikawa, Truong Vinh Truong Duy
2025	J	`jnl`	Introduction to the Special Section on software engineering for hybrid quantum computing systems. J. Syst. Softw. Paolo Arcaini, Andriy V. Miranskyy, Hausi A. Müller
2025	—	`conf`	Multi-Agent Differential Testing for the Game of Go. SIGSOFT FSE Companion Jiaxue Song, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Yong Liu, Bin Du
2025	—	`conf`	MultiDrive: A Co-Simulation Framework Bridging 2D and 3D Driving Simulation for AV Software Validation. ITSC Marc Kaufeld, Korbinian Möller, Alessio Gambi, Paolo Arcaini, Johannes Betz
2025	J	`jnl`	MultiDrive: A Co-Simulation Framework Bridging 2D and 3D Driving Simulation for AV Software Validation. CoRR Marc Kaufeld, Korbinian Möller, Alessio Gambi, Paolo Arcaini, Johannes Betz
2025	A	`conf`	PALM at the ICST 2025 Tool Competition - UAV Testing Track. ICST Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini
2025	J	`jnl`	Quantum Artificial Intelligence for Software Engineering: the Road Ahead. CoRR Xinyi Wang, Shaukat Ali, Paolo Arcaini
2025	A*	`conf`	Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots. ASE Xinyi Wang, Qinghua Xu, Paolo Arcaini, Shaukat Ali, Thomas Peyrucain
2025	J	`jnl`	Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots. CoRR Xinyi Wang, Qinghua Xu, Paolo Arcaini, Shaukat Ali, Thomas Peyrucain
2025	J	`jnl`	Quantum Software Engineering: Roadmap and Challenges Ahead. ACM Trans. Softw. Eng. Methodol. 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
2025	J	`jnl`	Quantum circuit mutants: Empirical analysis and recommendations. Empir. Softw. Eng. Eñaut Mendiluze Usandizaga, Shaukat Ali, Tao Yue, Paolo Arcaini
2025	A	`conf`	Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels. GECCO Karoline Nylænder, Aitor Arrieta, Shaukat Ali, Paolo Arcaini
2025	J	`jnl`	Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels. CoRR Karoline Nylænder, Aitor Arrieta, Shaukat Ali, Paolo Arcaini
2025	J	`jnl`	SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. ACM Trans. Softw. Eng. Methodol. Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao
2025	J	`jnl`	Test Case Minimization with Quantum Annealers. ACM Trans. Softw. Eng. Methodol. Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2025	J	`jnl`	Tool: QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation. IEEE Softw. Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024	J	`jnl`	A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers. CoRR Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
2024	—	`conf`	A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers. SIGSOFT FSE Companion Asmar Muqeet, Shaukat Ali, Tao Yue, Paolo Arcaini
2024	J	`jnl`	A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024	A	`conf`	Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System. SANER Chin-Hsuan Sun, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
2024	—	`conf`	Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. SIGSOFT FSE Companion Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel
2024	J	`jnl`	Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context. CoRR Xinyi Wang, Shaukat Ali, Aitor Arrieta, Paolo Arcaini, Maite Arratibel
2024	B	`conf`	Approximating Stochastic Quantum Noise Through Genetic Programming. SSBSE Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024	J	`jnl`	Assessing Quantum Extreme Learning Machines for Software Testing in Practice. CoRR Asmar Muqeet, Hassan Sartaj, Aitor Arrieta, Shaukat Ali, Paolo Arcaini, Maite Arratibel, Julie Marie Gjøby, Narasimha Raghavan Veeraragavan, Jan F. Nygård
2024	J	`jnl`	CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. Paolo Arcaini, Ahmet Cetinkaya
2024	—	`conf`	CRAG at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track. SBFT@ICSE Paolo Arcaini, Ahmet Cetinkaya
2024	—	`conf`	CauMon: An Informative Online Monitor for Signal Temporal Logic. FM (2) Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2024	J	`jnl`	Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead. CoRR 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
2024	—	`conf`	Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). GECCO Companion Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2024	—	`conf`	Federated Repair of Deep Neural Networks. DeepTest@ICSE Davide Li Calsi, Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa
2024	J	`jnl`	Foundation Models for the Digital Twin Creation of Cyber-Physical Systems. CoRR Shaukat Ali, Paolo Arcaini, Aitor Arrieta
2024	—	`conf`	Foundation Models for the Digital Twins Creation of Cyber-Physical Systems. ISoLA (5) Shaukat Ali, Paolo Arcaini, Aitor Arrieta
2024	J	`jnl`	MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms. ACM Trans. Softw. Eng. Methodol. Xiao-Yi Zhang, Yang Liu, Paolo Arcaini, Mingyue Jiang, Zheng Zheng
2024	A	`conf`	Metamorphic Testing of an Autonomous Delivery Robots Scheduler. ICST Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa
2024	J	`jnl`	Mitigating Noise in Quantum Software Testing Using Machine Learning. IEEE Trans. Software Eng. Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2024	—	`conf`	More is Not Always Better: Exploring Early Repair of DNNs. DeepTest@ICSE Andrei Mancu, Thomas Laurent, Franz Rieger, Paolo Arcaini, Fuyuki Ishikawa, Daniel Rueckert
2024	Misc	`conf`	Optimizing Multiple Consumer-specific Objectives in End-to-End Ensemble Machine Learning Serving. UCC Minh-Tri Nguyen, Hong-Linh Truong, Paolo Arcaini, Fuyuki Ishikawa
2024	—	`ed.`	Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024 SPLC (A) 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
2024	—	`ed.`	Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024 SPLC (B) 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
2024	J	`jnl`	Quantum Approximate Optimization Algorithm for Test Case Optimization. IEEE Trans. Software Eng. Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
2024	J	`jnl`	Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study. CoRR Xinyi Wang, Shaukat Ali, Paolo Arcaini, Narasimha Raghavan Veeraragavan, Jan F. Nygård
2024	A*	`conf`	Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. ASE Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024	J	`jnl`	Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers. CoRR Asmar Muqeet, Shaukat Ali, Paolo Arcaini
2024	A	`conf`	Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications. GECCO Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Fuyuki Ishikawa, Thomas Laurent, Jianjun Zhao
2024	B	`ed.`	Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings SSBSE Paolo Arcaini, Tao Yue, Erik M. Fredericks
2024	—	`conf`	TUMB at the SBFT 2024 Tool Competition - CPS-UAV Test Case Generation Track. SBFT@ICSE Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini
2024	—	`conf`	Technical Briefing on Deep Neural Network Repair. ICSE Companion Paolo Arcaini, Fuyuki Ishikawa, Lei Ma, Yuta Maezawa, Nobukazu Yoshioka, Fuyuan Zhang
2024	—	`conf`	Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging (GECCO'24 Hot off the Press). GECCO Companion Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
2023	J	`jnl`	A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2023	—	`conf`	ARCH-COMP23 Category Report: Falsification. ARCH 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
2023	A	`conf`	Adaptive Search-based Repair of Deep Neural Networks. GECCO Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	J	`jnl`	An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	—	`conf`	An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	—	`conf`	CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT Paolo Arcaini, Ahmet Cetinkaya
2023	A	`conf`	Distributed Repair of Deep Neural Networks. ICST Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2023	J	`jnl`	FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2023	J	`jnl`	Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
2023	J	`jnl`	Guess What Quantum Computing Can Do for Test Case Optimization. CoRR Xinyi Wang, Shaukat Ali, Tao Yue, Paolo Arcaini
2023	B	`conf`	Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
2023	C	`conf`	Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System. APSEC Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
2023	J	`jnl`	Noise-Aware Quantum Software Testing. CoRR Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2023	—	`conf`	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 Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
2023	—	`conf`	Online Causation Monitoring of Signal Temporal Logic. CAV (1) Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2023	J	`jnl`	Online Causation Monitoring of Signal Temporal Logic. CoRR Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
2023	J	`jnl`	Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (A) 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
2023	—	`ed.`	Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023 SPLC (B) 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
2023	A*	`conf`	QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2023	J	`jnl`	QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2023	A*	`conf`	QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
2023	J	`jnl`	Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023). ACM SIGSOFT Softw. Eng. Notes Paolo Arcaini, Andriy V. Miranskyy
2023	C	`conf`	STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV Franz Scheuer, Alessio Gambi, Paolo Arcaini
2023	J	`jnl`	Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2023	B	`conf`	Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto
2023	J	`jnl`	Test Case Minimization with Quantum Annealers. CoRR Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini
2023	Misc	`conf`	Towards Quantum Software Requirements Engineering. QCE Tao Yue, Shaukat Ali, Paolo Arcaini
2023	J	`jnl`	Towards Quantum Software Requirements Engineering. CoRR Tao Yue, Shaukat Ali, Paolo Arcaini
2023	J	`jnl`	Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini
2023	A	`conf`	Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
2023	J	`jnl`	Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa
2023	J	`jnl`	Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali
2022	—	`conf`	ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP 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
2022	J	`jnl`	Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini
2022	J	`jnl`	Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang
2022	A*	`conf`	Explaining the Behaviour of Game Agents Using Differential Comparison. ASE Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura
2022	—	`conf`	FreneticV at the SBST 2022 Tool Competition. SBST@ICSE Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini
2022	—	`conf`	Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2022	A	`conf`	Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa
2022	—	`conf`	JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
2022	A	`conf`	Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
2022	J	`jnl`	Mutation-based analysis of queueing network performance models. J. Syst. Softw. Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque
2022	A	`conf`	Mutation-based test generation for quantum programs with multi-objective search. GECCO Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali
2022	J	`jnl`	On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. Empir. Softw. Eng. Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang
2022	J	`jnl`	Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhenya Zhang, Paolo Arcaini, Xuan Xie
2022	—	`conf`	QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2022	J	`jnl`	QuSBT: Search-Based Testing of Quantum Programs. CoRR Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2022	J	`jnl`	Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News Tao Yue, Paolo Arcaini, Shaukat Ali
2022	A	`conf`	Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
2022	—	`conf`	Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2022	—	`conf`	Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa
2022	—	`ed.`	VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022 VaMoS Paolo Arcaini, Xavier Devroey, Alessandro Fantechi
2021	—	`conf`	ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 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
2021	—	`conf`	Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2021	C	`conf`	Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini
2021	A	`conf`	Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali
2021	C	`conf`	Application of Combinatorial Testing to Quantum Programs. QRS Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2021	A	`conf`	Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue
2021	—	`conf`	Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) Paolo Arcaini, Omar Inverso, Catia Trubiani
2021	—	`conf`	Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion Shaukat Ali, Paolo Arcaini, Tao Yue
2021	—	`conf`	Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021	—	`conf`	Efficient Computation of Robustness of Convolutional Neural Networks. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	—	`conf`	Frenetic at the SBST 2021 Tool Competition. SBST@ICSE Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini
2021	B	`conf`	Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM Zhenya Zhang, Paolo Arcaini
2021	B	`conf`	Generating Failing Test Suites for Quantum Programs With Search. SSBSE Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2021	C	`conf`	Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC Stefan Klikovits, Paolo Arcaini
2021	J	`jnl`	Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR Stefan Klikovits, Paolo Arcaini
2021	—	`conf`	Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque
2021	Misc	`conf`	KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC Stefan Klikovits, Paolo Arcaini
2021	J	`jnl`	KNN-Averaging for Noisy Multi-objective Optimisation. CoRR Stefan Klikovits, Paolo Arcaini
2021	A*	`conf`	Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue
2021	—	`conf`	On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao
2021	—	`conf`	On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) Stefan Klikovits, Paolo Arcaini
2021	J	`jnl`	On the Need for Multi-Level ADS Scenarios. CoRR Stefan Klikovits, Paolo Arcaini
2021	—	`conf`	Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque
2021	A*	`conf`	Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali
2021	A	`conf`	ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2021	A*	`conf`	Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2021	A	`conf`	Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
2021	A*	`conf`	Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie
2021	—	`conf`	The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2021	A	`conf`	What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2020	—	`conf`	A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control. CDC Ahmet Cetinkaya, Paolo Arcaini, Hideaki Ishii, Tomohisa Hayakawa
2020	—	`conf`	ARCH-COMP 2020 Category Report: Falsification. ARCH 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
2020	B	`conf`	Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2020	J	`jnl`	Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. Paolo Arcaini, Omar Inverso, Catia Trubiani
2020	—	`conf`	Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2020	J	`jnl`	Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2020	—	`conf`	Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
2020	B	`conf`	Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? SSBSE Shaukat Ali, Paolo Arcaini, Tao Yue
2020	A	`conf`	Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
2020	J	`jnl`	Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo
2020	J	`jnl`	Intelligent Autonomous Systems. Computer Atif Mashkoor, Paolo Arcaini, Angelo Gargantini
2020	A	`conf`	Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu
2020	—	`conf`	Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao
2020	J	`jnl`	MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020	—	`conf`	Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020	C	`conf`	Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2020	J	`jnl`	Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. ACM Trans. Softw. Eng. Methodol. Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue
2020	A	`conf`	Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa
2020	Misc	`conf`	Smart home platform supporting decentralized adaptive automation control. SAC Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini
2020	—	`conf`	Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) Tao Yue, Paolo Arcaini, Shaukat Ali
2020	J	`jnl`	Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Jan Kofron, Pavel Jezek
2019	C	`conf`	A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. APSEC Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2019	J	`jnl`	A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
2019	—	`conf`	A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2019	—	`conf`	A process for fault-driven repair of constraints among features. SPLC (B) Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	—	`conf`	ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
2019	—	`conf`	Achieving change requirements of feature models by an evolutionary approach. SPLC (A) Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	—	`conf`	Addressing Usability in a Formal Development Environment. FM Workshops (1) Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019	B	`conf`	Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa
2019	—	`conf`	Automatic Refinement of ASM Abstract Test Cases. ICST Workshops Paolo Arcaini, Elvinia Riccobene
2019	J	`jnl`	Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	—	`conf`	Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	J	`jnl`	Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
2019	—	`conf`	Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini
2019	C	`conf`	Regular Expression Learning with Evolutionary Testing and Repair. ICTSS Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2019	—	`conf`	Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	J	`jnl`	Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2019	A	`conf`	Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa
2019	—	`conf`	Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee
2018	B	`conf`	A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2018	—	`conf`	ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards
2018	—	`conf`	An evolutionary process for product-driven updates of feature models. VaMoS Paolo Arcaini, Angelo Gargantini, Marco Radavelli
2018	—	`conf`	AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
2018	—	`conf`	Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2018	—	`ch.`	Geotemporal Querying of Social Networks and Summarization. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. Paolo Arcaini, Gloria Bordogna
2018	J	`jnl`	Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2018	C	`conf`	Interactive Testing and Repairing of Regular Expressions. ICTSS Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2018	C	`conf`	Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ Paolo Arcaini, Pavel Jezek, Jan Kofron
2018	J	`jnl`	Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo
2017	—	`ch.`	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 Gloria Bordogna, Simone Sterlacchini, Paolo Arcaini, Giacomo Cappellini, Mattia Cugini, Elisabetta Mangioni, Chrysanthi Polyzoni
2017	J	`jnl`	A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2017	—	`conf`	Automated Repairing of Variability Models. SPLC (A) Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2017	Misc	`conf`	Collaborative development of feature models and evaluation of performance bounds. SAC Paolo Arcaini, Catia Trubiani
2017	J	`jnl`	Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2017	—	`conf`	Message from the A-MOST 2017 Chairs. ICST Workshops Paolo Arcaini, Xavier Devroey, Shuai Wang
2017	—	`conf`	MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	A	`conf`	NuSeen: A Tool Framework for the NuSMV Model Checker. ICST Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	J	`jnl`	Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2017	—	`conf`	SMT for state-based formal methods: the ASM case study. AFM@NFM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2016	J	`jnl`	ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
2016	A	`conf`	Automatic Detection and Removal of Conformance Faults in Feature Models. ICST Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2016	C	`conf`	How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2016	B	`conf`	SMT-Based Automatic Proof of ASM Model Refinement. SEFM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2016	C	`conf`	Unified Syntax for Abstract State Machines. ABZ Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
2016	J	`jnl`	User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks. Inf. Sci. Paolo Arcaini, Gloria Bordogna, Dino Ienco, Simone Sterlacchini
2016	—	`conf`	Visual Notation and Patterns for Abstract State Machines. STAF Workshops Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
2015	C	`conf`	Formal validation and verification of a medical software critical component. MEMOCODE Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
2015	A	`conf`	Generating Tests for Detecting Faults in Feature Models. ICST Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2015	J	`jnl`	How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2015	—	`conf`	Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2015	—	`conf`	Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
2015	—	`conf`	Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
2015	J	`jnl`	Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	J	`jnl`	Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. Paolo Arcaini, Angelo Gargantini
2014	J	`jnl`	Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2014	—	`conf`	Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2013	—	`conf`	Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2013	—	`conf`	Flexible Querying of Volunteered Geographic Information for Risk Management. EUSFLAT Conf. Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini
2013	—	`conf`	Online Testing of LTL Properties for Java Code. Haifa Verification Conference Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2013	—	`—`	Tool-Assisted Validation and Verification Techniques for State-based Formal Methods. Paolo Arcaini
2013	C	`conf`	Wildfire Susceptibility Maps Flexible Querying and Answering. FQAS Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini
2012	C	`conf`	Test Generation for Sequential Nets of Abstract State Machines. ABZ Paolo Arcaini, Francesco Bolis, Angelo Gargantini
2011	J	`jnl`	A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	J	`jnl`	A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2011	B	`conf`	CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2011	A*	`conf`	Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
2010	—	`conf`	Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene