RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Reducing Boolean Networks with Backward Boolean Equivalence
2021-01-01 Argyris, G.; Lluch Lafuente, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Relating layered queueing networks and process algebra models
2010-01-01 Tribastone, M
Replicating Web Services for Scalability
2008-01-01 Bravetti, M; Gilmore, S; Guidi, G; Tribastone, M
Safety and Response-Time Analysis of an Automotive Accident Assistance Service
2008-01-01 Argent-Katwala, A; Clark, A; Foster, H; Gilmore, S; Mayer, P; Tribastone, M
SAT-based synthesis of spoofing attacks in cyber-physical control systems
2018-01-01 Inverso, O; Bemporad, A; Tribastone, M
Scalable Analysis of Scalable Systems
2009-01-01 Clark, A; Gilmore, S; Tribastone, M
Scalable Differential Analysis of Large Process Algebra Models
2010-01-01 Tribastone, M
Scaling size & parameter spaces in variability-aware software performance models
2016-01-01 Kowal, M; Tschaikowski, M; Tribastone, M; Schaefer, I
Scaling size and parameter spaces in variability-aware software performance models
2016-01-01 Kowal, M; Tribastone, M; Schaefer, I; Tschaikowski, M
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity
2008-01-01 Wirsing, M; Hoelzl, M; Acciai, L; Banti, F; Clark, A; Fantechi, A; Gilmore, S; Gnesi, S; Gönczy, L; Koch, N; Lapadula, A; Mayer, P; Mazzanti, F; Pugliese, R; Schroeder, A; Tiezzi, F; Tribastone, M; Varro, D
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reducing Boolean Networks with Backward Boolean Equivalence | 1-gen-2021 | Argyris, G.; Lluch Lafuente, A.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
Relating layered queueing networks and process algebra models | 1-gen-2010 | Tribastone, M | |
Replicating Web Services for Scalability | 1-gen-2008 | Bravetti, M; Gilmore, S; Guidi, G; Tribastone, M | |
Safety and Response-Time Analysis of an Automotive Accident Assistance Service | 1-gen-2008 | Argent-Katwala, A; Clark, A; Foster, H; Gilmore, S; Mayer, P; Tribastone, M | |
SAT-based synthesis of spoofing attacks in cyber-physical control systems | 1-gen-2018 | Inverso, O; Bemporad, A; Tribastone, M | |
Scalable Analysis of Scalable Systems | 1-gen-2009 | Clark, A; Gilmore, S; Tribastone, M | |
Scalable Differential Analysis of Large Process Algebra Models | 1-gen-2010 | Tribastone, M | |
Scaling size & parameter spaces in variability-aware software performance models | 1-gen-2016 | Kowal, M; Tschaikowski, M; Tribastone, M; Schaefer, I | |
Scaling size and parameter spaces in variability-aware software performance models | 1-gen-2016 | Kowal, M; Tribastone, M; Schaefer, I; Tschaikowski, M | |
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity | 1-gen-2008 | Wirsing, M; Hoelzl, M; Acciai, L; Banti, F; Clark, A; Fantechi, A; Gilmore, S; Gnesi, S; Gönczy, L; Koch, N; Lapadula, A; Mayer, P; Mazzanti, F; Pugliese, R; Schroeder, A; Tiezzi, F; Tribastone, M; Varro, D |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 73
- 4 Contributo in Atti di Convegno ... 73
Data di pubblicazione
- 2020 - 2023 10
- 2010 - 2019 50
- 2005 - 2009 13
Editore
- IEEE 5
- Springer 5
- Springer Verlag 5
- Institute of Electrical and Elect... 4
- Association for Computing Machine... 3
- Elsevier B.V. 1
- Open Publishing Association 1
- Springer Science and Business Med... 1
Rivista
- IEEE/ACM INTERNATIONAL CONFERENCE... 2
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- PERFORMANCE EVALUATION 1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 10
- PROCEEDINGS OF THE IEEE CONFERENC... 2
- IEEE ... INTERNATIONAL CONFERENCE... 1
- PROCEEDINGS - INTERNATIONAL SYMPO... 1
- PROCEEDINGS - SYMPOSIUM ON LOGIC ... 1
Keyword
- Fixed-point arithmetic 2
- Load balancing 2
- Optimization 2
- Program transformation 2
- Queuing networks 2
- adaptive software 1
- Attractor analysis 1
- automated model extraction 1
- Automated Modeling Techniques 1
- Autoscaling 1
Lingua
- eng 38
Accesso al fulltext
- no fulltext 59
- reserved 13
- open 1