Anna Inglfsdttir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
53
Venues
24
Active years
1990–2025
Best venue rank
A*
Where they publish
- BCONCUR7 papers
- BCSL5 papers
- BRV5 papers
- BCALCO5 papers
- BFOSSACS4 papers
- BSOFSEM4 papers
- A*ICALP4 papers
- CFORTE2 papers
- ASTACS2 papers
- AECOOP1 paper
- CISoLA1 paper
- CCoordination1 paper
- BFASE1 paper
- CICMLA1 paper
- A*LICS1 paper
- BSEFM1 paper
- BMFCS1 paper
- BJELIA1 paper
- NationalLFCS1 paper
- BLPAR1 paper
- CTIME1 paper
- CICTAC1 paper
- CLATA1 paper
- BTARK1 paper
Papers
53 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CONCUR | Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2025 | CSL | The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. | Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Inglfsdttir |
| 2024 | ECOOP | Runtime Instrumentation for Reactive Components. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2024 | ISoLA | The EM-BDD Algorithm For Learning Hidden Markov Models. | Eva sk Gunnarsdttir, Anna Inglfsdttir |
| 2022 | CONCUR | On the Axiomatisation of Branching Bisimulation Congruence over CCS. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2022 | Coordination | A Monitoring Tool for Linear-Time μHML. | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Lo Exibard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | CSL | The Best a Monitor Can Do. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | CSL | Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? | Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2021 | FASE | On Benchmarking for Concurrent Runtime Verification. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | On Bidirectional Runtime Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | FORTE | Better Late Than Never or: Verifying Asynchronous Components at Runtime. | Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2021 | ICMLA | Active Learning of Markov Decision Processes using Baum-Welch algorithm. | Giovanni Bacci, Anna Inglfsdttir, Kim G. Larsen, Raphal Reynouard |
| 2021 | LICS | In search of lost time: Axiomatising parallel composition in process algebras. | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2020 | CONCUR | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2019 | RV | Comparing Controlled System Synthesis and Suppression Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2019 | SEFM | An Operational Guide to Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir, Karoliina Lehtinen |
| 2018 | CONCUR | On Runtime Enforcement via Suppressions. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2018 | FOSSACS | A Framework for Parameterized Monitorability. | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Inglfsdttir |
| 2017 | CONCUR | Rule Formats for Nominal Process Calculi. | Luca Aceto, Ignacio Fbregas, lvaro Garca-Prez, Anna Inglfsdttir, Yolanda Ortega-Malln |
| 2017 | RV | A Suite of Monitoring Tools for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Generic Instrumentation Tool for Erlang. | Ian Cassar, Adrian Francalanza, Duncan Paul Attard, Luca Aceto, Anna Inglfsdttir |
| 2017 | RV | A Foundation for Runtime Monitoring. | Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Inglfsdttir |
| 2017 | SOFSEM | Logical Characterisations and Compositionality of Input-Output Conformance Simulation. | Luca Aceto, Ignacio Fbregas, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2015 | MFCS | When Are Prime Formulae Characteristic? | Luca Aceto, Dario Della Monica, Ignacio Fbregas, Anna Inglfsdttir |
| 2015 | RV | On Verifying Hennessy-Milner Logic with Recursion at Runtime. | Adrian Francalanza, Luca Aceto, Anna Inglfsdttir |
| 2014 | JELIA | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | CALCO | Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2013 | LFCS | Compositional Reasoning for Multi-modal Logics. | Luca Aceto, Anna Inglfsdttir, Cristian Prisacariu, Joshua Sack |
| 2013 | LPAR | An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | SOFSEM | SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2013 | TIME | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | ICALP | Algebraic Synchronization Trees and Processes. | Luca Aceto, Arnaud Carayol, Zoltn sik, Anna Inglfsdttir |
| 2012 | SOFSEM | The Equational Theory of Weak Complete Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | CALCO | PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2011 | ICTAC | Axiomatizing Weak Ready Simulation Semantics over BCCSP. | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Anna Inglfsdttir |
| 2011 | LATA | Rule Formats for Distributivity. | Luca Aceto, Matteo Cimini, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2011 | TARK | Sigma algebras in probabilistic epistemic dynamics. | Luca Aceto, Wiebe van der Hoek, Anna Inglfsdttir, Joshua Sack |
| 2010 | SOFSEM | A Rule Format for Unit Elements. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi, Michel A. Reniers |
| 2007 | CALCO | Ready to Preorder: Get Your BCCSP Axiomatization for Free! | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2007 | CALCO | Impossibility Results for the Equational Theory of Timed CCS. | Luca Aceto, Anna Inglfsdttir, Mohammad Reza Mousavi |
| 2007 | CONCUR | The Saga of the Axiomatization of Parallel Composition. | Luca Aceto, Anna Inglfsdttir |
| 2006 | ICALP | On the Axiomatizability of Priority. | Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Inglfsdttir |
| 2006 | ICALP | A Finite Equational Base for CCS with Left Merge and Communication Merge. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2005 | CALCO | Bisimilarity Is Not Finitely Based over BPA with Interrupt. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Sumit Nain |
| 2001 | FOSSACS | Axiomatizing Tropical Semirings. | Luca Aceto, Zoltn sik, Anna Inglfsdttir |
| 2001 | STACS | 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 2000 | STACS | On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. | Luca Aceto, Zoltn sik, Anna Inglfsdttir |
| 1999 | FOSSACS | Testing Hennessy-Milner Logic with Recursion. | Luca Aceto, Anna Inglfsdttir |
| 1998 | FOSSACS | A Cook's Tour of Equational Axiomatizations for Prefix Iteration. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir |
| 1996 | CSL | Weak Semantics Based on Lighted Button Pressing Experiments. | Anna Inglfsdttir |
| 1995 | CSL | A Fully Abstract Denotational Model for Observational Precongruence. | Anna Inglfsdttir, Andrea Schalk |
| 1991 | CONCUR | A Theory of Testing for ACP. | Luca Aceto, Anna Inglfsdttir |
| 1990 | ICALP | A Theory of Communicating Processes with Value-Passing. | Matthew Hennessy, Anna Inglfsdttir |