39 citations · 116 across the 15 of their papers we have counts for
15 papers
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu +3
Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compli…
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process…
Bucket Oblivious Sort: An Extremely Simple Oblivious Sort
Gilad Asharov, T-H. Hubert Chan, Kartik Nayak +3
We propose a conceptually simple oblivious sort and oblivious random permutation algorithms called bucket oblivious sort and bucket oblivious random permutation. Bucket oblivious s…
Automated Verification of Reactive and Concurrent Programs by Calculation
Simon Foster, Kangfeng Ye, Ana Cavalcanti +1
Reactive programs combine traditional sequential programming constructs with primitives to allow communication with other concurrent agents. They are ubiquitous in modern applicati…
Priorities in tock-CSP
Pedro Ribeiro, James Baxter, Ana Cavalcanti
The -CSP encoding embeds a rich and flexible approach to modelling discrete timed behaviours in CSP where the event is interpreted to mark the passage of time. The mod…
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti +2
The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and…