ZAMPONI, MARCO
ZAMPONI, MARCO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Certified inductive synthesis for online mixed-integer optimization
2025 Zamponi, Marco; Incerto, Emilio; Masti, Daniele; Tribastone, Mirco
Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach
2026 Zamponi, Marco; Masti, Daniele; Incerto, Emilio; Raimondi, Franco; Tribastone, Mirco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Certified inductive synthesis for online mixed-integer optimization | 1-gen-2025 | Zamponi, Marco; Incerto, Emilio; Masti, Daniele; Tribastone, Mirco | |
| Intelligent automatic load test generation for elastic microservice applications: a falsification-based approach | 1-gen-2026 | Zamponi, Marco; Masti, Daniele; Incerto, Emilio; Raimondi, Franco; Tribastone, Mirco |