Anna Ingólfsdóttir

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 82

Top Venues

CoRR

J. Log. Algebraic Methods Program.

CONCUR

University of Sussex, UK (PHD)

Education History

University of Sussex, UK

PHD

Publications

Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. CoRR (2024)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2024)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
HML. Sci. Comput. Program. 232 (2024)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical characterisations, rule formats and compositionality for input-output conformance simulation. CoRR (2024)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. CoRR (2024)
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi
The Way We Were: Structural Operational Semantics Research in Perspective. EXPRESS/SOS (2023)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR (2023)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity results for modal logic with recursion via translations and tableaux. CoRR (2023)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On first-order runtime enforcement of branching-time properties. Acta Informatica 60 (4) (2023)
Raphaël Reynouard, Anna Ingólfsdóttir, Giovanni Bacci
Jajapy: A Learning Library for Stochastic Models. QEST (2023)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. Log. Methods Comput. Sci. 19 (1) (2023)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST (2023)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition. Log. Methods Comput. Sci. 18 (1) (2022)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ACM Trans. Comput. Log. 23 (4) (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir
Complexity through Translations for Modal Logic with Recursion. GandALF (2022)
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir
A Monitoring Tool for Linear-Time μHML. COORDINATION (2022)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
On the Axiomatisation of Branching Bisimulation Congruence over CCS. CoRR (2022)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. CoRR (2022)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
Axiomatizing recursion-free, regular monitors. J. Log. Algebraic Methods Program. 127 (2022)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
On the Axiomatisation of Branching Bisimulation Congruence over CCS. CONCUR (2022)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Best a Monitor Can Do. CSL (2021)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CSL (2021)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Bidirectional Runtime Enforcement. FORTE (2021)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An operational guide to monitorability with applications to regular properties. Softw. Syst. Model. 20 (2) (2021)
Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
On Benchmarking for Concurrent Runtime Verification. FASE (2021)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras. CoRR (2021)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir
A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. CoRR (2021)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Comparing controlled system synthesis and suppression enforcement. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Better Late Than Never or: Verifying Asynchronous Components at Runtime. FORTE (2021)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras. LICS (2021)
Luca Aceto, Anna Ingólfsdóttir
Introducing Formal Methods to First-Year Students in Three Intensive Weeks. FMTea (2021)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition. CoRR (2021)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
The complexity of identifying characteristic formulae. J. Log. Algebraic Methods Program. 112 (2020)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Anna Ingólfsdóttir
An axiomatization of verdict equivalence over regular monitors. CoRR (2020)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. CONCUR (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing monitors for HML with recursion. J. Log. Algebraic Methods Program. 111 (2020)
Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CoRR (2020)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the axiomatisability of priority III: Priority strikes again. Theor. Comput. Sci. 837 (2020)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3 (POPL) (2019)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When are prime formulae characteristic? Theor. Comput. Sci. 777 (2019)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
On the Axiomatizability of Priority III: The Return of Sequential Composition. ICTCS (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. SEFM (2019)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
Comparing Controlled System Synthesis and Suppression Enforcement. RV (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
An Operational Guide to Monitorability. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Testing Equivalence vs. Runtime Monitoring. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. From Reactive Systems to Cyber-Physical Systems (2019)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical characterisations, rule formats and compositionality for input-output conformance simulation. J. Log. Algebraic Methods Program. 106 (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
The Cost of Monitoring Alone. CoRR (2019)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. Log. Methods Comput. Sci. 15 (4) (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Adventures in Monitorability: From Branching to Linear Time and Back Again. CoRR (2019)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
A Framework for Parameterized Monitorability. FoSSaCS (2018)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Runtime Enforcement via Suppressions. CoRR (2018)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Developing Theoretical Foundations for Runtime Enforcement. CoRR (2018)
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
On Runtime Enforcement via Suppressions. CONCUR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CoRR (2018)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén
Rule Formats for Nominal Process Calculi. CONCUR (2017)
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir
A unified rule format for bounded nondeterminism in SOS with terms as labels. J. Log. Algebraic Methods Program. 92 (2017)
Luca Aceto, Anna Ingólfsdóttir
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015). J. Log. Algebraic Methods Program. 87 (2017)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
eAOP: an aspect oriented programming framework for Erlang. Erlang Workshop (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Generic Instrumentation Tool for Erlang. RV-CuBES (2017)
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
A Survey of Runtime Monitoring Instrumentation Techniques. PrePost@iFM (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir
Monitoring for Silent Actions. FSTTCS (2017)
Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir
A Foundation for Runtime Monitoring. RV (2017)
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
Monitorability for the Hennessy-Milner logic with recursion. Formal Methods Syst. Des. 51 (1) (2017)
Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir
Trace Simulation Semantics is not Finitely Based over BCCSP. Acta Cybern. 23 (1) (2017)
Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Logical Characterisations and Compositionality of Input-Output Conformance Simulation. SOFSEM (2017)
Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Ingólfsdóttir
A Suite of Monitoring Tools for Erlang. RV-CuBES (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
On the Complexity of Determinizing Monitors. CIAA (2017)
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson
Determinizing Monitors for HML with Recursion. CoRR (2016)
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
Algebraic Synchronization Trees and Processes. CoRR (2016)
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53 (3) (2016)
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. Semantics, Logics, and Calculi (2016)
Luca Aceto, Anna Ingólfsdóttir
Zoltan Esik (1951-2016) In Memoriam. Bull. EATCS 120 (2016)
Luca Aceto, Anna Ingólfsdóttir
Report on NWPT 2015. Bull. EATCS 118 (2016)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? MFCS (1) (2015)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
A ground-complete axiomatization of stateless bisimilarity over Linda. Inf. Process. Lett. 115 (2) (2015)
Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
On Verifying Hennessy-Milner Logic with Recursion at Runtime. RV (2015)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA (2014)
Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir
Report on Two events at ICE-TCS, Reykjavik University. Bull. EATCS 114 (2014)
Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac
SOS rule formats for idempotent terms and idempotent unary operators. J. Log. Algebraic Methods Program. 83 (1) (2014)
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
Axiomatizing weak simulation semantics over BCCSP. Theor. Comput. Sci. 537 (2014)
Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson
Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Sci. Comput. Program. 89 (2014)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. SOFSEM (2013)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR (2013)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO (2013)
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino
On the specification of modal systems: A comparison of three frameworks. Sci. Comput. Program. 78 (12) (2013)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir
Meta SOS - A Maude Based SOS Meta-Theory Framework. EXPRESS/SOS (2013)
Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack
Compositional Reasoning for Multi-modal Logics. LFCS (2013)
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME (2013)
Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack
Characteristic formulae for fixed-point semantics: a general framework. Math. Struct. Comput. Sci. 22 (2) (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir
Proving the validity of equations in GSOS languages using rule-matching bisimilarity. Math. Struct. Comput. Sci. 22 (2) (2012)
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers
Rule formats for distributivity. Theor. Comput. Sci. 458 (2012)
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
Algebraic Synchronization Trees and Processes. ICALP (2) (2012)
Luca Aceto, Anna Ingólfsdóttir
Characteristic Formulae for Relations with Nested Fixed Points FICS (2012)
Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir
The Equational Theory of Weak Complete Simulation Semantics over BCCSP. SOFSEM (2012)

Anna Ingólfsdóttir.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anna Ingólfsdóttir