The following pages link to Paolo Arcaini (Q315280):
Displaying 8 items.
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness (Q832206) (← links)
- The ASMETA approach to safety assurance of software systems (Q2117597) (← links)
- Online causation monitoring of signal temporal logic (Q6535627) (← links)
- Repairing timed automata clock guards through abstraction and testing (Q6536174) (← links)
- Prospects for Quantum Software Engineering in the Next Decade - Supplementary material (Q6699763) (← links)
- Quantum Software Engineering: Roadmap and Challenges Ahead - Supplementary material (Q6699769) (← links)
- "Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data (Q6724305) (← links)