12 citations · 31 across the 6 of their papers we have counts for
11 papers
Monitoring ROS2: from Requirements to Autonomous Robots
Ivan Perez, Anastasia Mavridou, Tom Pressburger +2
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)…
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
Aaron Dutle, César Muñoz, Esther Conrad +7
The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous op…
Proceedings 13th Interaction and Concurrency Experience
Julien Lange, Anastasia Mavridou, Larisa Safina +1
This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20…
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari +1
The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the k…
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou
Usage control models provide an integration of access control, digital rights, and trust management. To achieve this integration, usage control models support additional concepts s…