Characteristic Formulae for Relations with Nested Fixed Points

by Luca Aceto, Anna Ingólfsdóttir
Published 2012-02-01

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir
Published 2010-02-01

Characteristic Formulae for Fixed-Point Semantics: A General Framework

by Luca Aceto, Anna Ingolfsdottir, Joshua Sack
Published 2009-11-01

Meta SOS - A Maude Based SOS Meta-Theory Framework

by Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir
Published 2013-07-01

A Survey of Runtime Monitoring Instrumentation Techniques

by Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Published 2017-08-01

Axiomatizing GSOS with Predicates

by Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingolfsdottir
Published 2011-08-01

Graphical representation of covariant-contravariant modal formulae

by Miguel Palomino, Anna Ingólfsdóttir, David de Frutos-Escrig, Ignacio Fábregas, Luca Aceto
Published 2011-08-01

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani
Published 2011-07-01