Paolo Arcaini
- Mitigating Noise in Quantum Software Testing Using Machine Learning
2023/06/29 by Asmar Muqeet, Tao Yue, Muqeet, Asmar +5 · 3 citations
Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #FOS: Computer and information sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Software Engineering (cs.SE)
- Online Causation Monitoring of Signal Temporal Logic
2023/05/28 by Zhenya Zhang, Jie An, Zhang, Zhenya +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
2024/07/26 by Shaukat Ali, Paolo Arcaini, Ali, Shaukat +3 · 2 citations
Engineering · #Digital Transformation in Industry #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Software Engineering (cs.SE)
- Towards Quantum Software Requirements Engineering
2023/09/23 by Tao Yue, Yue, Tao, Shaukat Ali +3 · 1 citation
Computer Science · #Cloud Computing and Resource Management #Distributed systems and fault tolerance #FOS: Computer and information sciences #Quantum Computing Algorithms and Architecture #Software Engineering (cs.SE)
- Quantum Approximate Optimization Algorithm for Test Case Optimization
2023/12/24 by Xinyi Wang, Wang, Xinyi, Shaukat Ali +5 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Software Engineering (cs.SE)
- Assessing Quantum Extreme Learning Machines for Software Testing in Practice
2024/10/20 by Asmar Muqeet, Muqeet, Asmar, Hassan Sartaj +14 · 1 citation
Computer Science · Engineering · #Advancements in Semiconductor Devices and Circuit Design #FOS: Computer and information sciences #Fuel Cells and Related Materials #Machine Learning and ELM #Software Engineering (cs.SE)