2 citations · 4 across the 4 of their papers we have counts for
5 papers
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
Luca Aceto, Antonis Achilleos, Duncan Paul Attard +4
Runtime verification, also known as runtime monitoring, consists of checking whether a system satisfies a given specification by observing the trace it produces during its executio…
Denotational Semantics for Probabilistic and Concurrent Programs
Noam Zilberstein, Daniele Gorla, Alexandra Silva
We develop a denotational model for probabilistic and concurrent imperative programs, a class of programs with standard control flow via conditionals and while-loops, as well as pr…
Runtime Instrumentation for Reactive Components (Extended Version)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification imposes another demand on the instrumentation, namely that…
Special Delivery: Programming with Mailbox Types (Extended Version)
Simon Fowler, Duncan Paul Attard, Danielle Marshall +2
The asynchronous and unidirectional communication model supported by mailboxes is a key reason for the success of actor languages like Erlang and Elixir for implementing reliable a…
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments…