CAMILLI, Matteo Statistiche
CAMILLI, Matteo
Universita' degli Studi di Bergamo
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging
2022-01-01 Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems
2021-01-01 Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia
Track editorial on Software design and development: Software architecture: Theory, technology, and applications (SA-TTA) 2021
2021-01-01 Camilli, Matteo; Kang, Sungwon; Scandurra, Patrizia
Uncertainty-aware Exploration in Model-based Testing
2021-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Trubiani, Catia
Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020
2020-01-01 Camilli, Matteo; Scandurra, Patrizia
Model‐based hypothesis testing of uncertain software systems
2020-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications
2019-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Madaudo, Rosario; Scandurra, Patrizia
Zone-based formal specification and timing analysis of real-time self-adaptive systems
2018-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia
Event-based runtime verification of temporal properties using time basic Petri nets
2017-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Bellettini, Carlo
Towards inverse uncertainty quantification in software development
2017-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Bellettini, Carlo
Specifying and Verifying Real-Time Self-Adaptive Systems
2015-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2022 | Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging | Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2021 | Runtime Equilibrium Verification for Resilient Cyber-Physical Systems | Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2021 | Track editorial on Software design and development: Software architecture: Theory, technology, and applications (SA-TTA) 2021 | Camilli, Matteo; Kang, Sungwon; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
| 1-gen-2021 | Uncertainty-aware Exploration in Model-based Testing | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Trubiani, Catia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2020 | Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020 | Camilli, Matteo; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
| 1-gen-2020 | Model‐based hypothesis testing of uncertain software systems | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2019 | HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications | Camilli, Matteo; Gargantini, Angelo Michele; Madaudo, Rosario; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2018 | Zone-based formal specification and timing analysis of real-time self-adaptive systems | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2017 | Event-based runtime verification of temporal properties using time basic Petri nets | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Bellettini, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2017 | Towards inverse uncertainty quantification in software development | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Bellettini, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2015 | Specifying and Verifying Real-Time Self-Adaptive Systems | Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |