12 citations · 46 across the 12 of their papers we have counts for
13 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)…
Proceedings 15th Interaction and Concurrency Experience
Clément Aubert, Cinzia Di Giusto, Larisa Safina +1
This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisC…
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…
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…
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Scott Eisele, Aron Laszka, Anastasia Mavridou +1
Internet of Things and data sciences are fueling the development of innovative solutions for various applications in Smart and Connected Communities (SCC). These applications provi…
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
Anastasia Mavridou, Aron Laszka
Blockchain-based distributed computing platforms enable the trusted execution of computation - defined in the form of smart contracts - without trusted agents. Smart contracts are…
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Anastasia Mavridou, Aron Laszka
The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, whi…
Coordination of Dynamic Software Components with JavaBIP
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of th…
Architecture Diagrams: A Graphical Language for Architecture Style Specification
Anastasia Mavridou, Eduard Baranov, Simon Bliudze +1
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In t…