VILLA, Tiziano
VILLA, Tiziano
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
Compositionally progressive solutions of synchronous FSM equations
2008-01-01 Brayton, R.; Petrenko, A.; SANGIOVANNI VINCENTELLI, A.; Villa, Tiziano; Yevtushenko, N.
Efficient Minimization of Fully Testable 2-SPP Networks
2006-01-01 Bernasconi, A.; Ciriani, V.; Drechsler, R.; Villa, Tiziano
Improving reachability analysis of hybrid automata for engine control
2004-01-01 Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification
2013-01-01 Puppis, G.; Villa, T.
Reachability computation for hybrid systems with Ariadne
2008-01-01 Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Compositionally progressive solutions of synchronous FSM equations | 1-gen-2008 | Brayton, R.; Petrenko, A.; SANGIOVANNI VINCENTELLI, A.; Villa, Tiziano; Yevtushenko, N. | |
Efficient Minimization of Fully Testable 2-SPP Networks | 1-gen-2006 | Bernasconi, A.; Ciriani, V.; Drechsler, R.; Villa, Tiziano | |
Improving reachability analysis of hybrid automata for engine control | 1-gen-2004 | Casagrande, A; Balluchi, A; Benvenuti, L; Policriti, A; Villa, T; Sangiovanni-Vincentelli, A | |
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification | 1-gen-2013 | Puppis, G.; Villa, T. | |
Reachability computation for hybrid systems with Ariadne | 1-gen-2008 | Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano |