Paolo Arcaini

From MaRDI portal
Person:315280

Available identifiers

zbMath Open arcaini.paoloMaRDI QIDQ315280

List of research outcomes





PublicationDate of PublicationType
Quantum Software Engineering: Roadmap and Challenges Ahead - Supplementary material2024-09-25Dataset
Repairing timed automata clock guards through abstraction and testing2024-04-05Paper
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material2024-03-26Dataset
Multi-armed bandits for Boolean connectives in hybrid system falsification2024-02-16Paper
Online causation monitoring of signal temporal logic2024-02-01Paper
"Trust Your Neighbours: Handling Noise in Multi-Objective Optimisation Using kNN-Averaging" - Supporting Data2023-06-21Dataset
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness2022-03-25Paper
The ASMETA approach to safety assurance of software systems2022-03-22Paper
ASM-based formal design of an adaptivity component for a cloud system2016-09-20Paper

Research outcomes over time

This page was built for person: Paolo Arcaini

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:315280&oldid=7794928"
Powered by MediaWiki