IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 97 di 97
Titolo Data di pubblicazione Autore(i) File
Monitoring for Silent Actions 1-gen-2018 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
On Runtime Enforcement via Suppressions 1-gen-2018 Aceto, L; Cassar, I; Francalanza, A; Ingólfsdóttir, A
When are prime formulae characteristic? 1-gen-2019 Aceto, L; Della Monica, D; Fabregas, I; Ingólfsdöttir, A
Adventures in Monitorability: From Branching to Linear Time and Back Again 1-gen-2019 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Lehtinen, K
An Operational Guide to Monitorability 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Comparing Controlled System Synthesis and Suppression Enforcement 1-gen-2019 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Logical characterisations, rule formats and compositionality for input-output conformance simulation 1-gen-2019 Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
Rule Formats for Nominal Process Calculi 1-gen-2019 Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda
The Cost of Monitoring Alone 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Testing Equivalence vs. Runtime Monitoring 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
On the Axiomatizability of Priority III: The Return of Sequential Composition 1-gen-2019 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna; Ruggaard Pedersen, Mathias
Building international doctoral schools in computer science in italy, de nicola’s way 1-gen-2019 Aceto, L.; D'Angelo, G.; Flammini, M.; Inverso, O.; Iovino, L.; Trubiani, C.
The complexity of identifying characteristic formulae 1-gen-2020 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
On the axiomatisability of priority III: Priority strikes again 1-gen-2020 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias
Determinizing monitors for HML with recursion 1-gen-2020 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Örn Kjartansson, Sævar
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) 1-gen-2020 Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum 1-gen-2020 Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias
Mostrati risultati da 81 a 97 di 97
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile