DREOSSI, Tommaso
DREOSSI, Tommaso
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
Approximated Symbolic Computations over Hybrid Automata
2013-01-01 A., Casagrande; Dreossi, Tommaso; Piazza, Carla
Falsifying Oscillation Properties of Parametric Biological Models
2013-01-01 Thao, Dang; Dreossi, Tommaso
Hybrid Automata and epsilon-Analysis on a Neural Oscillator
2012-01-01 Casagrande, A; Dreossi, Tommaso; Piazza, Carla
Parallelotope bundles for polynomial reachability
2016-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
2015-01-01 Dreossi, Tommaso; Thao, Dang; Piazza, Carla
pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems2013 Euromicro Conference on Digital System Design
2013-01-01 Alberto, Casagrande; Dreossi, Tommaso
Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems
2016-04-04 Dreossi, Tommaso
Reachability computation for polynomial dynamical systems
2017-01-01 Dreossi, Tommaso; Dang, Thao; Piazza, Carla
Set-Based Analysis for Biological Modeling
2019-01-01 Dang, Thao; Dreossi, Tommaso; Fanchon, Eric; Maler, Oded; Piazza, Carla; Rocca, Alexandre
ϵ-Semantics computations on biological systems
2014-01-01 Casagrande, A.; Dreossi, Tommaso; Fabriková, J.; Piazza, Carla