ACETO, LUCA

ACETO, LUCA  

Mostra records
Risultati 1 - 20 di 116 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autore(i) File
26th International Conference on Concurrency Theory (CONCUR 2015) 1-gen-2015 Aceto, L; de Frutos-Escrig, D
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue 1-gen-2017 Aceto, L; Ingólfsdóttir, A
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages 1-gen-2009 Aceto, L; Cimini, M; Ingólfsdóttir, A
A Cancellation Theorem for BCCSP 1-gen-2008 Aceto, L; Fokkink, W; Ingólfsdóttir, A
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders 1-gen-2013 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases 1-gen-2016 Aceto, L; Della Monica, D; Goranko, V; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 1-gen-2015 Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F
A finite equational base for CCS with left merge and communication merge 1-gen-2009 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Luttik, B
A Foundation for Runtime Monitoring 1-gen-2017 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
A Framework for Parameterized Monitorability. 1-gen-2018 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
A Generic Instrumentation Tool for Erlang 1-gen-2017 Cassar, ; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
A ground-complete axiomatization of stateless bisimilarity over Linda 1-gen-2015 Aceto, L; Goriac, E; Ingólfsdóttir, A
A monitoring tool for linear-time μHML 1-gen-2024 Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
A Monitoring Tool for Linear-Time $$\mu $$HML 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
A Rule Format for Unit Elements 1-gen-2010 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
A Runtime Monitoring Tool for Actor-Based Systems 1-gen-2017 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
A Sound Type System for Secure Currency Flow 1-gen-2024 Aceto, Luca; Gorla, Daniele; Lybech, Stian
A Suite of Monitoring Tools for Erlang 1-gen-2017 Cassar, I; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
A Survey of Runtime Monitoring Instrumentation Techniques 1-gen-2017 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
A unified rule format for bounded nondeterminism in SOS with terms as labels 1-gen-2017 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A