Sfoglia per Autore
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
2016-01-01 Aceto, L; García-Pérez, Á; Ingólfsdóttir, A
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App
2016-01-01 Gudmundsson, V; Lindvall, M; Aceto, L; Bergthorsson, J; Ganesan, D
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
2016-01-01 Aceto, L; Della Monica, D; Goranko, V; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016
2016-01-01 Aceto, L; Francalanza, A; Ingólfsdóttir, A
A Foundation for Runtime Monitoring
2017-01-01 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
Logical Characterisations and Compositionality of Input-Output Conformance Simulation
2017-01-01 Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; Ingólfsdóttir, A
A unified rule format for bounded nondeterminism in SOS with terms as labels
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A
Trace Simulation Semantics is not Finitely Based over BCCSP
2017-01-01 Aceto, L; de Frutos-Escrig, D; Ingólfsdóttir, A
A Survey of Runtime Monitoring Instrumentation Techniques
2017-01-01 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
eAOP: an aspect oriented programming framework for Erlang
2017-01-01 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
2017-01-01 Aceto, L; de Frutos-Escrig, D
A Runtime Monitoring Tool for Actor-Based Systems
2017-01-01 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
On the Complexity of Determinizing Monitors
2017-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
2017-01-01 Aceto, L; Bacci, G; Bacci, G; Ingólfsdóttir, A; Legay, A; Mardare, R
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue
2017-01-01 Aceto, L; Ingólfsdóttir, A
A Suite of Monitoring Tools for Erlang
2017-01-01 Cassar, I; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
A Generic Instrumentation Tool for Erlang
2017-01-01 Cassar, ; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
Rule Formats for Nominal Process Calculi
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y
Monitorability for the Hennessy-Milner logic with recursion
2017-01-01 Francalanza, A; Aceto, L; Ingólfsdóttir, A
A Framework for Parameterized Monitorability.
2018-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics | 1-gen-2016 | Aceto, L; García-Pérez, Á; Ingólfsdóttir, A | |
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App | 1-gen-2016 | Gudmundsson, V; Lindvall, M; Aceto, L; Bergthorsson, J; Ganesan, D | |
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 | |
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2016 | 1-gen-2016 | Aceto, L; Francalanza, A; Ingólfsdóttir, A | |
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 | |
Logical Characterisations and Compositionality of Input-Output Conformance Simulation | 1-gen-2017 | Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; 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 | |
Trace Simulation Semantics is not Finitely Based over BCCSP | 1-gen-2017 | Aceto, L; de Frutos-Escrig, D; Ingólfsdóttir, A | |
A Survey of Runtime Monitoring Instrumentation Techniques | 1-gen-2017 | Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
eAOP: an aspect oriented programming framework for Erlang | 1-gen-2017 | Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). | 1-gen-2017 | Aceto, L; de Frutos-Escrig, D | |
A Runtime Monitoring Tool for Actor-Based Systems | 1-gen-2017 | Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
On the Complexity of Determinizing Monitors | 1-gen-2017 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S | |
Models, Algorithms, Logics and Tools — Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday | 1-gen-2017 | Aceto, L; Bacci, G; Bacci, G; Ingólfsdóttir, A; Legay, A; Mardare, R | |
27th Nordic Workshop on Programming Theory (NWPT 2015), Special issue | 1-gen-2017 | Aceto, L; Ingólfsdóttir, A | |
A Suite of Monitoring Tools for Erlang | 1-gen-2017 | Cassar, I; Francalanza, A; Attard, D P; Aceto, L; 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 | |
Rule Formats for Nominal Process Calculi | 1-gen-2017 | Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y | |
Monitorability for the Hennessy-Milner logic with recursion | 1-gen-2017 | Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
A Framework for Parameterized Monitorability. | 1-gen-2018 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A |
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