Sfoglia per Serie
Better Late Than Never or: Verifying Asynchronous Components at Runtime
2021-01-01 Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
2020-01-01 Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio
Comparing Controlled System Synthesis and Suppression Enforcement
2019-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
Coordination Models and Languages - 21st IFIP WG 6.1
2019-01-01 Hanne Riis, Nielson; Tuosto, E
The Cost of Monitoring Alone
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2015-01-01 Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F
Election Control Through Social Influence with Unknown Preferences
2020-01-01 Aboueimehrizi, M.; Corò, Federico.; Cruciani, E.; D'Angelo, Gianlorenzo
Generalized Distance Polymatrix Games
2024-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space
2012-01-01 Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo
Locality of Not-so-Weak Coloring
2019-01-01 Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka
A Monitoring Tool for Linear-Time $$\mu $$HML
2022-01-01 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Multi-winner election control via social influence
2020-01-01 Aboueimehrizi, M.; D’Angelo, Gianlorenzo
An Operational Guide to Monitorability
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Sparsifying Congested Cliques and Core-Periphery Networks
2016-01-01 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Systematic Recovery of MDE Technology Usage
2018-01-01 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Testing Equivalence vs. Runtime Monitoring
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Trustworthy Global Computing
2014-01-01 Maffei, Matteo; Tuosto, Emilio
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment
2021-01-01 DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel
Web Services and Formal Methods
2014-01-01 Tuosto, Emilio; Ouyang, Chun
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Better Late Than Never or: Verifying Asynchronous Components at Runtime | 1-gen-2021 | Paul Attard, Duncan; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
A Choreography-Driven Approach to APIs: The OpenDXL Case Study | 1-gen-2020 | Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio | |
Comparing Controlled System Synthesis and Suppression Enforcement | 1-gen-2019 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
Coordination Models and Languages - 21st IFIP WG 6.1 | 1-gen-2019 | Hanne Riis, Nielson; Tuosto, E | |
The Cost of Monitoring Alone | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 1-gen-2015 | Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F | |
Election Control Through Social Influence with Unknown Preferences | 1-gen-2020 | Aboueimehrizi, M.; Corò, Federico.; Cruciani, E.; D'Angelo, Gianlorenzo | |
Generalized Distance Polymatrix Games | 1-gen-2024 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space | 1-gen-2012 | Autili, Marco; Cortellessa, Vittorio; DI RUSCIO, Davide; Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo | |
Locality of Not-so-Weak Coloring | 1-gen-2019 | Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka | |
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 | |
Multi-winner election control via social influence | 1-gen-2020 | Aboueimehrizi, M.; D’Angelo, Gianlorenzo | |
An Operational Guide to Monitorability | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
Sparsifying Congested Cliques and Core-Periphery Networks | 1-gen-2016 | Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis | |
Systematic Recovery of MDE Technology Usage | 1-gen-2018 | Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso | |
Testing Equivalence vs. Runtime Monitoring | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
Trustworthy Global Computing | 1-gen-2014 | Maffei, Matteo; Tuosto, Emilio | |
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment | 1-gen-2021 | DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel | |
Web Services and Formal Methods | 1-gen-2014 | Tuosto, Emilio; Ouyang, Chun |
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