no code implementations • 28 Sep 2022 • Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alexander Will, Patrick J. Martin
Runtime verification (RV) has the potential to enable the safe operation of safety-critical systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) applications.
no code implementations • 11 Sep 2019 • Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas
This volume contains the proceedings of ICE'19, the 12th Interaction and Concurrency Experience, which was held in Copenhagen, Denmark on the 20th and 21st of June 2019, as a satellite event of DisCoTec'19.
Programming Languages Logic in Computer Science
no code implementations • 26 Nov 2017 • Anastasia Mavridou, Aron Laszka
The adoption of blockchain-based distributed computation platforms is growing fast.
Cryptography and Security Formal Languages and Automata Theory Software Engineering