Testing Equivalences for Event Structures. - Luca Aceto; Rocco De Nicola; Alessandro Fantechi (Mathematical Models for the Semantics of Parallelism, 1986)

A Theory of Testing for ACP. - Luca Aceto; Anna Ingólfsdóttir (CONCUR, 1991)

Failures Semantics for a Simple Process Language with Refinement. - Luca Aceto; Uffe Engberg (FSTTCS, 1991)

On Relating Concurency and Nondeterminism. - Luca Aceto (MFPS, 1991)

Full Abstraction for Series-Parallel Pomsets. - Luca Aceto (TAPSOFT, Vol.1, 1991)

Action refinement in process algebras. - Luca Aceto (1991)

History preserving, causal and mixed-ordering equivalence over stable event structures. - Luca Aceto (Fundam. Informaticae, 1992)

Relating distributed, temporal and causal observations of simple processes. - Luca Aceto (Fundam. Informaticae, 1992)

Termination, Deadlock, and Divergence. - Luca Aceto; Matthew Hennessy (J. ACM, 1992)

On the Ill-Timed but Well-Caused. - Luca Aceto; David Murphy (CONCUR, 1993)

Towards Action-Refinement in Process Algebras - Luca Aceto; Matthew Hennessy (Inf. Comput., 1993)

Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. - Luca Aceto (CONCUR, 1994)

A Static View of Localities. - Luca Aceto (Formal Aspects Comput., 1994)

On "Axiomatising Finite Concurrent Processes". - Luca Aceto (SIAM J. Comput., 1994)

GSOS and Finite Labelled Transition Systems. - Luca Aceto (Theor. Comput. Sci., 1994)

Turning SOS Rules into Equations - Luca Aceto; Bard Bloom; Frits W. Vaandrager (Inf. Comput., 1994)

Adding Action Refinement to a Finite Process Algebra - Luca Aceto; Matthew Hennessy (Inf. Comput., 1994)

CPO Models for a Class of GSOS Languages. - Luca Aceto; Anna Ingólfsdóttir (TAPSOFT, 1995)

A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. - Luca Aceto; Alan Jeffrey (Theor. Comput. Sci., 1995)

An Equational Axiomatization of Observation Congruence for Prefix Iteration. - Luca Aceto; Anna Ingólfsdóttir (AMAST, 1996)

Timing and Causality in Process Algebra. - Luca Aceto; David Murphy (Acta Informatica, 1996)

Axiomatizing Prefix Iteration with Silent Steps. - Luca Aceto; Rob J. van Glabbeek; Wan J. Fokkink; Anna Ingólfsdóttir (Inf. Comput., 1996)

CPO Models for Compact GSOS Languages. - Luca Aceto; Anna Ingólfsdóttir (Inf. Comput., 1996)

Relating semantic models for the object calculus. - Luca Aceto; Hans Hüttel; Anna Ingólfsdóttir; Josva Kleist (EXPRESS, 1997)

An Equational Axiomatization for Multi-Exit Iteration. - Luca Aceto; Wan J. Fokkink (Inf. Comput., 1997)

A Characterization of Finitary Bisimulation. - Luca Aceto; Anna Ingólfsdóttir (Inf. Process. Lett., 1997)

A Cook's Tour of Equational Axiomatizations for Prefix Iteration. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (FoSSaCS, 1998)

Model Checking via Reachability Testing for Timed Automata. - Luca Aceto; Augusto Burgueño; Kim Guldstrand Larsen (TACAS, 1998)

A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 1998)

On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Theor. Comput. Sci., 1998)

Testing Hennessy-Milner Logic with Recursion. - Luca Aceto; Anna Ingólfsdóttir (FoSSaCS, 1999)

Conservative Extension in Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Bull. EATCS, 1999)

A Complete Equational Axiomatization for MPA with String Iteration. - Luca Aceto; Jan Friso Groote (Theor. Comput. Sci., 1999)

On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. - Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir (STACS, 2000)

Characteristic formulae for timed automata. - Luca Aceto; Anna Ingólfsdóttir; Mikkel Lykke Pedersen; Jan Poulsen (RAIRO Theor. Informatics Appl., 2000)

Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Handbook of Process Algebra, 2001)

Conservative Extension in Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink; Chris Verhoef (Current Trends in Theoretical Computer Science, 2001)

Axiomatizing Tropical Semirings. - Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir (FoSSaCS, 2001)

2-Nested Simulation Is Not Finitely Equationally Axiomatizable. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (STACS, 2001)

Preface. - Luca Aceto; Prakash Panangaden (EXPRESS, 2001)

Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. - Samson Abramsky; Luca Aceto; Anna Ingólfsdóttir (Inf. Comput., 2001)

Preface: Process Algebra. - Luca Aceto; Wan J. Fokkink (Inf. Process. Lett., 2001)

Equational Axioms for Probabilistic Bisimilarity. - Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir (AMAST, 2002)

Kleene through the process algebraic glass. - Luca Aceto (FICS, 2002)

A Fully Equational Proof of Parikh's Theorem. - Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir (RAIRO Theor. Informatics Appl., 2002)

Is your model checker on time? On the complexity of model checking for timed modal logics. - Luca Aceto; François Laroussinie (J. Log. Algebraic Methods Program., 2002)

Guest Editors' Foreword. - Luca Aceto; Prakash Panangaden (Nord. J. Comput., 2002)

Some of My Favourite Results in Classic Process Algebra. - Luca Aceto (Bull. EATCS, 2003)

Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. - Luca Aceto (EXPRESS, 2003)

A note on an expressiveness hierarchy for multi-exit iteration. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Inf. Process. Lett., 2003)

Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. - Luca Aceto; Giuseppe Longo; Björn Victor (Math. Struct. Comput. Sci., 2003)

The power of reachability testing for timed automata. - Luca Aceto; Patricia Bouyer; Augusto Burgueño; Kim Guldstrand Larsen (Theor. Comput. Sci., 2003)

Equational theories of tropical semirings. - Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir (Theor. Comput. Sci., 2003)

The max-plus algebra of the natural numbers has no finite equational basis. - Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir (Theor. Comput. Sci., 2003)

Preface. - Luca Aceto; Wan J. Fokkink; Irek Ulidowski (SOS@CONCUR, 2004)

Nested semantics over finite trees are equationally hard. - Luca Aceto; Wan J. Fokkink; Rob J. van Glabbeek; Anna Ingólfsdóttir (Inf. Comput., 2004)

The Complexity of Checking Consistency of Pedigree Information and Related Problems. - Luca Aceto; Jens A. Hansen; Anna Ingólfsdóttir; Jacob Johnsen; John Knudsen (J. Comput. Sci. Technol., 2004)

Guesteditors'introduction: Special issue on Structural Operational Semantics. - Luca Aceto; Wan J. Fokkink (J. Log. Algebraic Methods Program., 2004)

Finite Equational Bases in Process Algebra: Results and Open Questions. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (Processes, Terms and Cycles, 2005)

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. - Luca Aceto; Wan J. Fokkink (APC 25, 2005)

Preface. - Luca Aceto; Andrew D. Gordon 001 (APC 25, 2005)

Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (Log. Methods Comput. Sci., 2005)

Guest editors' foreword: Process Algebra. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Zoltán Ésik (Theor. Comput. Sci., 2005)

CCS with Hennessy's merge has no finite-equational axiomatization. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (Theor. Comput. Sci., 2005)

On the Axiomatizability of Priority. - Luca Aceto; Taolue Chen 001; Wan J. Fokkink; Anna Ingólfsdóttir (ICALP (2), 2006)

Impossibility Results in the Equational Logic of Processes. - Luca Aceto (LMCS, 2006)

Bisimilarity is not finitely based over BPA with interrupt. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Sumit Nain (Theor. Comput. Sci., 2006)

Ready to Preorder: Get Your BCCSP Axiomatization for Free! - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (CALCO, 2007)

Impossibility Results for the Equational Theory of Timed CCS. - Luca Aceto; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (CALCO, 2007)

The Saga of the Axiomatization of Parallel Composition. - Luca Aceto; Anna Ingólfsdóttir (CONCUR, 2007)

Characteristic Formulae: From Automata to Logic. - Luca Aceto; Anna Ingólfsdóttir (Bull. EATCS, 2007)

Guest Editors' Foreword. - Luca Aceto; Mario Bravetti; Wan J. Fokkink; Andrew D. Gordon 001 (J. Log. Algebraic Methods Program., 2007)

Guest Editors' Foreword. - Luca Aceto; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2007)

Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. - Luca Aceto; Anna Ingólfsdóttir; Bas Luttik; Paul van Tilburg (IFIP TCS, 2008)

Applying Concurrency Research in Industry Report on a Strategic Workshop. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (Bull. EATCS, 2008)

On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. - Luca Aceto; Silvio Capobianco (Bull. EATCS, 2008)

A Cancellation Theorem for BCCSP. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir (Fundam. Informaticae, 2008)

The equational theory of prebisimilarity over basic CCS with divergence. - Luca Aceto; Silvio Capobianco; Anna Ingólfsdóttir; Bas Luttik (Inf. Process. Lett., 2008)

On the expressibility of priority. - Luca Aceto; Anna Ingólfsdóttir (Inf. Process. Lett., 2008)

On the axiomatisability of priority. - Luca Aceto; Taolue Chen 001; Wan J. Fokkink; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 2008)

Teaching Concurrency: Theory in Practice. - Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jirí Srba (TFM, 2009)

Characteristic Formulae for Fixed-Point Semantics: A General Framework - Luca Aceto; Anna Ingólfsdóttir; Joshua Sack (EXPRESS, 2009)

A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir (SOS, 2009)

Algebraic Properties for Free! - Luca Aceto; Anna Ingólfsdóttir (Bull. EATCS, 2009)

On the relations between B2V Ms and Runge-Kutta collocation methods. - Luca Aceto; Cecilia Magherini (J. Comput. Appl. Math., 2009)

Preface. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (J. Log. Algebraic Methods Program., 2009)

Foreword: special issue in memory of Nadia Busi. - Luca Aceto; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 2009)

A finite equational base for CCS with left merge and communication merge. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (ACM Trans. Comput. Log., 2009)

A Rule Format for Unit Elements. - Luca Aceto; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (SOFSEM, 2010)

Lifting non-finite axiomatizability results to extensions of process algebras. - Luca Aceto; Wan J. Fokkink; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (Acta Informatica, 2010)

On Rule Formats for Zero and Unit Elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (MFPS, 2010)

Resource bisimilarity and graded bisimilarity coincide. - Luca Aceto; Anna Ingólfsdóttir; Joshua Sack (Inf. Process. Lett., 2010)

PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. - Luca Aceto; Georgiana Caltais; Eugen-Ioan Goriac; Anna Ingólfsdóttir (CALCO, 2011)

Decompositional Reasoning about the History of Parallel Processes. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (FSEN, 2011)

Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. - Luca Aceto; Ignacio Fábregas; David de Frutos-Escrig; Anna Ingólfsdóttir; Miguel Palomino (FSEN, 2011)

Axiomatizing Weak Ready Simulation Semantics over BCCSP. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (ICTAC, 2011)

Sigma algebras in probabilistic epistemic dynamics. - Luca Aceto; Wiebe van der Hoek; Anna Ingólfsdóttir; Joshua Sack (TARK, 2011)

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Arni Hermann Reynisson; Steinar Hugi Sigurdarson; Marjan Sirjani (FOCLASA, 2011)

Axiomatizing GSOS with Predicates - Luca Aceto; Georgiana Caltais; Eugen-Ioan Goriac; Anna Ingólfsdóttir (SOS, 2011)

Graphical representation of covariant-contravariant modal formulae - Luca Aceto; Ignacio Fábregas; David de Frutos-Escrig; Anna Ingólfsdóttir; Miguel Palomino (EXPRESS, 2011)

The Concurrency Column. - Luca Aceto (Bull. EATCS, 2011)

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (Inf. Process. Lett., 2011)

On the axiomatizability of priority II. - Luca Aceto; Taolue Chen 001; Anna Ingólfsdóttir; Bas Luttik; Jaco van de Pol (Theor. Comput. Sci., 2011)

SOS rule formats for zero and unit elements. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2011)

The algorithmics of bisimilarity. - Luca Aceto; Anna Ingólfsdóttir; Jirí Srba (Advanced Topics in Bisimulation and Coinduction, 2012)

Algebraic Synchronization Trees and Processes. - Luca Aceto; Arnaud Carayol; Zoltán Ésik; Anna Ingólfsdóttir (ICALP (2), 2012)

The Equational Theory of Weak Complete Simulation Semantics over BCCSP. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (SOFSEM, 2012)

Characteristic Formulae for Relations with Nested Fixed Points - Luca Aceto; Anna Ingólfsdóttir (FICS, 2012)

Proving the validity of equations in GSOS languages using rule-matching bisimilarity. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir (Math. Struct. Comput. Sci., 2012)

Characteristic formulae for fixed-point semantics: a general framework. - Luca Aceto; Anna Ingólfsdóttir; Paul Blain Levy; Joshua Sack (Math. Struct. Comput. Sci., 2012)

Rule formats for determinism and idempotence. - Luca Aceto; Arnar Birgisson; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Sci. Comput. Program., 2012)

Rule formats for distributivity. - Luca Aceto; Matteo Cimini; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (Theor. Comput. Sci., 2012)

Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. - Luca Aceto; Eugen-Ioan Goriac; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001; Michel A. Reniers (CALCO, 2013)

Compositional Reasoning for Multi-modal Logics. - Luca Aceto; Anna Ingólfsdóttir; Cristian Prisacariu; Joshua Sack (LFCS, 2013)

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (LPAR, 2013)

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (TIME, 2013)

Meta SOS - A Maude Based SOS Meta-Theory Framework. - Luca Aceto; Eugen-Ioan Goriac; Anna Ingólfsdóttir (EXPRESS/SOS, 2013)

Report on the General Assembly 2013. - Luca Aceto (Bull. EATCS, 2013)

Report on ICALP 2013. - Luca Aceto (Bull. EATCS, 2013)

38th International Colloquium on Automata, Languages and Programming. - Luca Aceto; Monika Henzinger; Jirí Sgall (Inf. Comput., 2013)

On the specification of modal systems: A comparison of three frameworks. - Luca Aceto; Ignacio Fábregas; David de Frutos-Escrig; Anna Ingólfsdóttir; Miguel Palomino (Sci. Comput. Program., 2013)

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (JELIA, 2014)

Foreword to the contributions by two EATCS award-recipients. - Luca Aceto (Bull. EATCS, 2014)

Report on ICALP 2014. - Luca Aceto (Bull. EATCS, 2014)

Report on Two events at ICE-TCS, Reykjavik University. - Luca Aceto; Magnús M. Halldórsson; Anna Ingólfsdóttir (Bull. EATCS, 2014)

SOS rule formats for idempotent terms and idempotent unary operators. - Luca Aceto; Anna Ingólfsdóttir; Eugen-Ioan Goriac (J. Log. Algebraic Methods Program., 2014)

Modelling and simulation of asynchronous real-time systems using Timed Rebeca. - Arni Hermann Reynisson; Marjan Sirjani; Luca Aceto; Matteo Cimini; Ali Jafari; Anna Ingólfsdóttir; Steinar Hugi Sigurdarson (Sci. Comput. Program., 2014)

Axiomatizing weak simulation semantics over BCCSP. - Luca Aceto; David de Frutos-Escrig; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (Theor. Comput. Sci., 2014)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. - Luca Aceto; Kim G. Larsen; Andrea Morichetta 001; Francesco Tiezzi 001 (FACS, 2015)

Decision Support for Mobile Cloud Computing Applications via Model Checking. - Luca Aceto; Andrea Morichetta 001; Francesco Tiezzi 001 (MobileCloud, 2015)

On Verifying Hennessy-Milner Logic with Recursion at Runtime. - Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (RV, 2015)

Letter from the President. - Luca Aceto (Bull. EATCS, 2015)

Report on The EATCS General Assembly. - Luca Aceto (Bull. EATCS, 2015)

Report on ICALP 2015. - Luca Aceto (Bull. EATCS, 2015)

Report on ICE-TCS tenth anniversary. - Luca Aceto (Bull. EATCS, 2015)

Report on ICTCS 2015. - Luca Aceto (Bull. EATCS, 2015)

A ground-complete axiomatization of stateless bisimilarity over Linda. - Luca Aceto; Eugen-Ioan Goriac; Anna Ingólfsdóttir (Inf. Process. Lett., 2015)

Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. - Luca Aceto; Álvaro García-Pérez; Anna Ingólfsdóttir (Semantics, Logics, and Calculi, 2016)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. - Luca Aceto; Dario Della Monica; Valentin Goranko; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (Acta Informatica, 2016)

Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App. - Vignir Gudmundsson; Mikael Lindvall; Luca Aceto; Johann Bergthorsson; Dharmalingam Ganesan (PrePost@IFM, 2016)

Interview with Stephen Brookes and Peter W. O'Hearn Recipients of the 2016 Godel Prize. - Luca Aceto (Bull. EATCS, 2016)

Interview with Rajeev Alur and David Dill 2016 Alonzo Church Award Recipients. - Luca Aceto (Bull. EATCS, 2016)

Interview with Paul Spirakis, President of the EATCS. - Luca Aceto (Bull. EATCS, 2016)

Report on The EATCS Council Meeting. - Luca Aceto (Bull. EATCS, 2016)

Report on ICALP 2016. - Luca Aceto (Bull. EATCS, 2016)

Abstracts of the EATCS Distinguished Dissertations 2015. - Luca Aceto (Bull. EATCS, 2016)

EATCS Fellows' Advice to the Young Theoretical Computer Scientist. - Luca Aceto; Mariangiola Dezani-Ciancaglini; Yuri Gurevich; David Harel; Monika Henzinger; Giuseppe F. Italiano; Scott A. Smolka; Paul G. Spirakis; Wolfgang Thomas (Bull. EATCS, 2016)

Viewpoints on "Logic activities in Europe", twenty years later. - Luca Aceto; Thomas A. Henzinger; Joost-Pieter Katoen; Wolfgang Thomas; Moshe Y. Vardi (Bull. EATCS, 2016)

Report on NWPT 2015. - Luca Aceto; Anna Ingólfsdóttir (Bull. EATCS, 2016)

Zoltan Esik (1951-2016) In Memoriam. - Luca Aceto; Anna Ingólfsdóttir (Bull. EATCS, 2016)

eAOP: an aspect oriented programming framework for Erlang. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (Erlang Workshop, 2017)

Monitoring for Silent Actions. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (FSTTCS, 2017)

A Suite of Monitoring Tools for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Generic Instrumentation Tool for Erlang. - Ian Cassar; Adrian Francalanza; Duncan Paul Attard; Luca Aceto; Anna Ingólfsdóttir (RV-CuBES, 2017)

A Foundation for Runtime Monitoring. - Adrian Francalanza; Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Ian Cassar; Dario Della Monica; Anna Ingólfsdóttir (RV, 2017)

Logical Characterisations and Compositionality of Input-Output Conformance Simulation. - Luca Aceto; Ignacio Fábregas; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (SOFSEM, 2017)

On the Complexity of Determinizing Monitors. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (CIAA, 2017)

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). - Luca Aceto; David de Frutos-Escrig (Acta Informatica, 2017)

Trace Simulation Semantics is not Finitely Based over BCCSP. - Luca Aceto; David de Frutos-Escrig; Anna Ingólfsdóttir (Acta Cybern., 2017)

A Survey of Runtime Monitoring Instrumentation Techniques. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (PrePost@iFM, 2017)

Interview with Thomas Henzinger President of IST Austria. - Luca Aceto (Bull. EATCS, 2017)

Interview with Alexandra Silva Recipient of the 2017 Presburger Award. - Luca Aceto (Bull. EATCS, 2017)

Ten years of the European Research Council A view from theoretical computer science. - Luca Aceto (Bull. EATCS, 2017)

Computer Science at the Gran Sasso Science Institute. - Luca Aceto (Bull. EATCS, 2017)

Monitorability for the Hennessy-Milner logic with recursion. - Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (Formal Methods Syst. Des., 2017)

A unified rule format for bounded nondeterminism in SOS with terms as labels. - Luca Aceto; Ignacio Fábregas; Álvaro García-Pérez; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2017)

Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015). - Luca Aceto; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2017)

Spotlight on Marta Kwiatkowska. - Luca Aceto (ACM SIGLOG News, 2017)

On Runtime Enforcement via Suppressions. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (CONCUR, 2018)

A Framework for Parameterized Monitorability. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (FoSSaCS, 2018)

Developing Theoretical Foundations for Runtime Enforcement. - Ian Cassar; Adrian Francalanza; Luca Aceto; Anna Ingólfsdóttir (CoRR, 2018)

Report on ICE-TCS Theory Day 2018. - Luca Aceto (Bull. EATCS, 2018)

Testing Equivalence vs. Runtime Monitoring. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

The Cost of Monitoring Alone. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (From Reactive Systems to Cyber-Physical Systems, 2019)

Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. - Luca Aceto; Gianlorenzo D'Angelo; Michele Flammini; Omar Inverso; Ludovico Iovino; Catia Trubiani (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

On the Axiomatizability of Priority III: The Return of Sequential Composition. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Mathias Ruggaard Pedersen (ICTCS, 2019)

An Operational Guide to Monitorability. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (SEFM, 2019)

Interview with Murdoch J. Gabbay and Andrew M. Pitts, 2019 Alonzo Church Award Recipients. - Luca Aceto (Bull. EATCS, 2019)

Logical characterisations, rule formats and compositionality for input-output conformance simulation. - Luca Aceto; Ignacio Fábregas; Carlos Gregorio-Rodríguez; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2019)

Rule Formats for Nominal Process Calculi. - Luca Aceto; Ignacio Fábregas; Álvaro García-Pérez; Anna Ingólfsdóttir; Yolanda Ortega-Mallén (Log. Methods Comput. Sci., 2019)

Adventures in monitorability: from branching to linear time and back again. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Proc. ACM Program. Lang., 2019)

When are prime formulae characteristic? - Luca Aceto; Dario Della Monica; Ignacio Fábregas; Anna Ingólfsdóttir (Theor. Comput. Sci., 2019)

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). - Luca Aceto; Jos C. M. Baeten; Patricia Bouyer-Decitre; Holger Hermanns; Alexandra Silva 001 (CONCUR, 2020)

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (CONCUR, 2020)

An axiomatization of verdict equivalence over regular monitors. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingólfsdóttir (CoRR, 2020)

Interviews with the 2020 CONCUR Test-of-Time Award Recipients. - Luca Aceto (Bull. EATCS, 2020)

The complexity of identifying characteristic formulae. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2020)

Determinizing monitors for HML with recursion. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Sævar Örn Kjartansson (J. Log. Algebraic Methods Program., 2020)

On the axiomatisability of priority III: Priority strikes again. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (Theor. Comput. Sci., 2020)

The Best a Monitor Can Do. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CSL, 2021)

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? - Luca Aceto; Valentina Castiglioni; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (CSL, 2021)

On Benchmarking for Concurrent Runtime Verification. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (FASE, 2021)

On Bidirectional Runtime Enforcement. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (FORTE, 2021)

Better Late Than Never or: Verifying Asynchronous Components at Runtime. - Duncan Paul Attard; Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (FORTE, 2021)

In search of lost time: Axiomatising parallel composition in process algebras. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (LICS, 2021)

Introducing Formal Methods to First-Year Students in Three Intensive Weeks. - Luca Aceto; Anna Ingólfsdóttir (FMTea, 2021)

A Choreographed Outline Instrumentation Algorithm for Asynchronous Components. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (CoRR, 2021)

Interviews with the 2021 CONCUR Test-of-Time Award Recipients. - Luca Aceto; Nathalie Bertrand 001; Nobuko Yoshida (Bull. EATCS, 2021)

An operational guide to monitorability with applications to regular properties. - Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (Softw. Syst. Model., 2021)

Comparing controlled system synthesis and suppression enforcement. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Int. J. Softw. Tools Technol. Transf., 2021)

On Probabilistic Monitorability. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen; Mathias Ruggaard Pedersen (Principles of Systems Design, 2022)

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

On the Axiomatisation of Branching Bisimulation Congruence over CCS. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (CONCUR, 2022)

A Monitoring Tool for Linear-Time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (COORDINATION, 2022)

Monitoring Hyperproperties with Circuits. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza (FORTE, 2022)

Complexity through Translations for Modal Logic with Recursion. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (GandALF, 2022)

CONCUR through time. - Luca Aceto; Pierluigi Crescenzi (Bull. EATCS, 2022)

Interviews with the 2022 CONCUR Test-of-Time Award Recipients. - Luca Aceto; Orna Kupferman; Mickael Randour; Davide Sangiorgi (Bull. EATCS, 2022)

Axiomatizing recursion-free, regular monitors. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Anna Ingólfsdóttir (J. Log. Algebraic Methods Program., 2022)

On the Axiomatisability of Parallel Composition. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (Log. Methods Comput. Sci., 2022)

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? - Luca Aceto; Valentina Castiglioni; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (ACM Trans. Comput. Log., 2022)

The Way We Were: Structural Operational Semantics Research in Perspective. - Luca Aceto; Pierluigi Crescenzi; Anna Ingólfsdóttir; Mohammad Reza Mousavi 001 (EXPRESS/SOS, 2023)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Log. Methods Comput. Sci., 2023)

On first-order runtime enforcement of branching-time properties. - Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir (Acta Informatica, 2023)

Centralized vs Decentralized Monitors for Hyperproperties. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Daniele Gorla; Jana Wagemaker (CONCUR, 2024)

Runtime Instrumentation for Reactive Components. - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (ECOOP, 2024)

A Sound Type System for Secure Currency Flow. - Luca Aceto; Daniele Gorla; Stian Lybech (ECOOP, 2024)

Preventing Out-of-Gas Exceptions by Typing. - Luca Aceto; Daniele Gorla; Stian Lybech; Mohammad Hamdaqa (ISoLA (1), 2024)

Runtime Instrumentation for Reactive Components (Extended Version). - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (CoRR, 2024)

Typing Composite Subjects. - Luca Aceto; Daniele Gorla; Stian Lybech (CoRR, 2024)

Runtime Instrumentation for Reactive Components (Artifact). - Luca Aceto; Duncan Paul Attard; Adrian Francalanza; Anna Ingólfsdóttir (Dagstuhl Artifacts Ser., 2024)

The role of an invited speaker at a conference. - Luca Aceto (Bull. EATCS, 2024)

Complexity results for modal logic with recursion via translations and tableaux. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Anna Ingólfsdóttir (Log. Methods Comput. Sci., 2024)

A monitoring tool for linear-time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (Sci. Comput. Program., 2024)

Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CONCUR, 2025)

The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. - Luca Aceto; Antonis Achilleos; Aggeliki Chalki; Anna Ingólfsdóttir (CSL, 2025)

Axiomatising weak bisimulation congruences over CCS with left merge and communication merge. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (Theor. Comput. Sci., 2025)

Non finite axiomatisability of weak bisimulation-based congruences. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (Theor. Comput. Sci., 2025)

The complexity of deciding characteristic formulae modulo nested simulation. - Luca Aceto; Antonis Achilleos; Aggeliki Chalki; Anna Ingólfsdóttir (CoRR, 2025)