On first-order runtime enforcement of branching-time properties von Aceto, Luca, Cassar, Ian, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties von Aceto, Luca, Cassar, Ian, Francalanza, Adrian, Ingolfsdottir, Anna

Volltext

Comparing controlled system synthesis and suppression enforcement von Aceto, Luca, Cassar, Ian, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext

A monitoring tool for linear-time μHML von Aceto, Luca, Achilleos, Antonis, Attard, Duncan Paul, Exibard, Léo, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext

An operational guide to monitorability with applications to regular properties von Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna, Lehtinen, Karoliina

Volltext

Adventures in monitorability: from branching to linear time and back again von Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna, Lehtinen, Karoliina

Volltext

Complexity results for modal logic with recursion via translations and tableaux von Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext

A Survey of Runtime Monitoring Instrumentation Techniques von Cassar, Ian, Francalanza, Adrian, Aceto, Luca, Ingólfsdóttir, Anna

Volltext

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? von Aceto, Luca, Castiglioni, Valentina, Fokkink, Wan, Ingólfsdóttir, Anna, Luttik, Bas

Volltext

On the Axiomatisability of Parallel Composition von Aceto, Luca, Castiglioni, Valentina, Ingolfsdottir, Anna, Luttik, Bas, Pedersen, Mathias R.

Volltext

On the axiomatisability of priority III: Priority strikes again von Aceto, Luca, Anastasiadi, Elli, Castiglioni, Valentina, Ingólfsdóttir, Anna, Luttik, Bas, Ruggaard Pedersen, Mathias

Volltext

When are prime formulae characteristic? von Aceto, Luca, Della Monica, Dario, Fábregas, Ignacio, Ingólfsdóttir, Anna

Volltext

On Bidirectional Runtime Enforcement von Aceto, Luca, Cassar, Ian, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext

The complexity of identifying characteristic formulae von Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna

Volltext

Determinizing monitors for HML with recursion von Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna, Kjartansson, Sævar Örn

Volltext

Jajapy: A Learning Library for Stochastic Models von Reynouard, Raphaël, Ingólfsdóttir, Anna, Bacci, Giovanni

Volltext

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases von Aceto, Luca, Della Monica, Dario, Goranko, Valentin, Ingólfsdóttir, Anna, Montanari, Angelo, Sciavicco, Guido

Volltext

Rule Formats for Nominal Process Calculi von Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén

Volltext

Logical characterisations, rule formats and compositionality for input-output conformance simulation von Aceto, Luca, Fábregas, Ignacio, Gregorio-Rodríguez, Carlos, Ingólfsdóttir, Anna

Volltext

Trace Simulation Semantics is not Finitely Based over BCCSP von Aceto, Luca, de Frutos Escrig, David, Ingólfsdóttir, Anna

Volltext