Tiziano Villa
Tiziano Villa
Professore d'informatica, Universita' di Verona
Verified email at univr.it
TitleCited byYear
VIS: A system for verification and synthesis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International conference on computer aided verification, 428-432, 1996
9081996
NOVA: state assignment of finite state machines for optimal two-level logic implementation
T Villa, A Sangiovanni-Vincentelli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1990
4571990
Multi-valued decision diagrams: theory and applications
T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli
Multiple-Valued Logic 4 (1), 9-62, 1998
2791998
Synthesis of finite state machines: functional optimization
T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2013
1592013
Synthesis of finite state machines: logic optimization
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli
Springer Science & Business Media, 2012
1242012
Complexity of two-level logic minimization
C Umans, T Villa, AL Sangiovanni-Vincentelli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006
812006
A platform-based design methodology with contracts and related tools for the design of cyber-physical systems
P Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T Villa
Proceedings of the IEEE 103 (11), 2104-2132, 2015
792015
Introduction: the development of Arendt’s political thought
D Villa
The Cambridge Companion to Hannah Arendt 2, 1-21, 2000
792000
A fully implicit algorithm for exact state minimization
T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli
31st Design Automation Conference, 684-690, 1994
791994
Maximal safe set computation for idle speed control of an automotive engine
A Balluchi, L Benvenuti, MD Di Benedetto, GM Miconi, U Pozzi, T Villa, ...
International Workshop on Hybrid Systems: Computation and Control, 32-44, 2000
682000
Model matching for finite-state machines
MD Di Benedetto, A Sangiovanni-Vincentelli, T Villa
IEEE Transactions on Automatic Control 46 (11), 1726-1743, 2001
672001
Ariadne: a framework for reachability analysis of hybrid automata
A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ...
In: Proceedings of the International Syposium on Mathematical Theory of …, 2006
582006
Explicit and implicit algorithms for binate covering problems
T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincenteili
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1997
571997
A framework for satisfying input and output encoding constraints
A Saldanha, T Villa, RK Brayton, AL Sangiovanni-Vincentelli
DAC, 170-175, 1991
561991
The unknown component problem: theory and applications
T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ...
Springer Science & Business Media, 2011
492011
Solution of parallel language equations for logic synthesis
N Yevtushenko, T Villa, RK Brayton, A Petrenko
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001
472001
Vis
RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ...
International Conference on Formal Methods in Computer-Aided Design, 248-256, 1996
451996
Robotic surgery
R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa
IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011
442011
Computer-aided synthesis of PLA-based finite state machines
G De Micheli, A Sangiovanni-Vincentelli, T Villa
Proc. IEEE, 154-156, 1983
441983
An FSM reengineering approach to sequential circuit synthesis by state splitting
L Yuan, G Qu, T Villa, A Sangiovanni-Vincentelli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
422008
The system can't perform the operation now. Try again later.
Articles 1–20