Sfoglia per Serie
AErlang: Empowering Erlang with Attribute-Based Communication
2017-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
2020-01-01 Calinescu, Radu; Cortellessa, Vittorio; Stefanakos, Ioannis; Trubiani, Catia
Automated Replication of Tuple Spaces via Static Analysis
2021-01-01 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021-01-01 Simić, Stella; Inverso, Omar; Tribastone, Mirco
Choreographic Development of Message-Passing Applications
2020-01-01 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
Choreography Automata
2020-01-01 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Distance Hedonic Games
2021-01-01 Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna
The Multi-budget Maximum Weighted Coverage Problem
2021-01-01 Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
Towards Choreographic-Based Monitoring
2020-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards Probabilistic Session-Type Monitoring
2021-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
VisArch: Visualisation of Performance-based Architectural Refactorings
2020-01-01 Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| AErlang: Empowering Erlang with Attribute-Based Communication | 1-gen-2017 | De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia | |
| Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles | 1-gen-2020 | Calinescu, Radu; Cortellessa, Vittorio; Stefanakos, Ioannis; Trubiani, Catia | |
| Automated Replication of Tuple Spaces via Static Analysis | 1-gen-2021 | Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco | |
| Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic | 1-gen-2021 | Simić, Stella; Inverso, Omar; Tribastone, Mirco | |
| Choreographic Development of Message-Passing Applications | 1-gen-2020 | Alex, Coto; Guanciale, Roberto; Tuosto, Emilio | |
| Choreography Automata | 1-gen-2020 | Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | |
| Distance Hedonic Games | 1-gen-2021 | Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna | |
| The Multi-budget Maximum Weighted Coverage Problem | 1-gen-2021 | Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka | |
| A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio | |
| Towards Choreographic-Based Monitoring | 1-gen-2020 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
| Towards Probabilistic Session-Type Monitoring | 1-gen-2021 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
| Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
| VisArch: Visualisation of Performance-based Architectural Refactorings | 1-gen-2020 | Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel |
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