Sfoglia per Rivista SCIENCE OF COMPUTER PROGRAMMING
AErlang: Empowering Erlang with attribute-based communication
2018-01-01 De Nicola, R; Duong, T; Inverso, O; Trubiani, C
Automated replication of tuple spaces via static analysis
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline
Beyond Connected Cars: a Systems of Systems perspective
2020-01-01 Pelliccione, Patrizio; Knauss, Eric; Magnus Ågren, S; Heldal, Rogardt; Vinel, Alexey; Bergenhem, Carl; Brunnegård, Oliver
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
2018-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
CHOReVOLUTION: Service choreography in practice
2020-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
A design-by-contract approach to recover the architectural style from run-time misbehaviour
2015-01-01 Poyias, Kyriakos; Tuosto, E
Failure-free coordinators synthesis for component-based architectures
2008-01-01 Tivoli, Massimo; Inverardi, Paola
A hybrid approach for resource-based comparison of adaptable Java applications
2013-01-01 Marco, Autili; Paolo Di, Benedetto; Inverardi, P
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
2014-01-01 Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S
A monitoring tool for linear-time μHML
2024-01-01 Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Multi-agent systems with virtual stigmergy
2020-01-01 De Nicola, R; Di Stefano, L; Inverso, O
On the specification of modal systems: A comparison of three frameworks
2013-01-01 Aceto, L; Fábregas, I; de Frutos-Escrig, D; Ingólfsdóttir, A; Palomino, M
PomCho: A tool chain for choreographic design
2021-01-01 Guanciale, Roberto; Tuosto, Emilio
PSTMonitor: Monitor synthesis from probabilistic session types
2022-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
Rule formats for determinism and idempotence
2012-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Supporting software evolution in component-based FOSS systems
2011-01-01 Di Cosmo, R; Di Ruscio, D; Pelliccione, P; Pierantonio, A; Zacchiroli, S
TyphonML: Tool support for hybrid polystores
2024-01-01 Basciani, Francesco; Di Rocco, Juri; Iovino, Ludovico; Pierantonio, Alfonso
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| AErlang: Empowering Erlang with attribute-based communication | 1-gen-2018 | De Nicola, R; Duong, T; Inverso, O; Trubiani, C | |
| Automated replication of tuple spaces via static analysis | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline | |
| Beyond Connected Cars: a Systems of Systems perspective | 1-gen-2020 | Pelliccione, Patrizio; Knauss, Eric; Magnus Ågren, S; Heldal, Rogardt; Vinel, Alexey; Bergenhem, Carl; Brunnegård, Oliver | |
| Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates | 1-gen-2018 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
| CHOReVOLUTION: Service choreography in practice | 1-gen-2020 | Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M. | |
| A design-by-contract approach to recover the architectural style from run-time misbehaviour | 1-gen-2015 | Poyias, Kyriakos; Tuosto, E | |
| Failure-free coordinators synthesis for component-based architectures | 1-gen-2008 | Tivoli, Massimo; Inverardi, Paola | |
| A hybrid approach for resource-based comparison of adaptable Java applications | 1-gen-2013 | Marco, Autili; Paolo Di, Benedetto; Inverardi, P | |
| Modelling and simulation of asynchronous real-time systems using Timed Rebeca | 1-gen-2014 | Reynisson, A; Sirjani, M; Aceto, L; Cimini, M; Jafari, A; Ingólfsdóttir, A; Sigurdarson, S | |
| 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 | |
| Multi-agent systems with virtual stigmergy | 1-gen-2020 | De Nicola, R; Di Stefano, L; Inverso, O | |
| On the specification of modal systems: A comparison of three frameworks | 1-gen-2013 | Aceto, L; Fábregas, I; de Frutos-Escrig, D; Ingólfsdóttir, A; Palomino, M | |
| PomCho: A tool chain for choreographic design | 1-gen-2021 | Guanciale, Roberto; Tuosto, Emilio | |
| PSTMonitor: Monitor synthesis from probabilistic session types | 1-gen-2022 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
| Rule formats for determinism and idempotence | 1-gen-2012 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| Supporting software evolution in component-based FOSS systems | 1-gen-2011 | Di Cosmo, R; Di Ruscio, D; Pelliccione, P; Pierantonio, A; Zacchiroli, S | |
| TyphonML: Tool support for hybrid polystores | 1-gen-2024 | Basciani, Francesco; Di Rocco, Juri; Iovino, Ludovico; Pierantonio, Alfonso |
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