| VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 977 | 1996 |
| NOVA: State assignment of finite state machines for optimal two-level logic implementations T Villa, A Sangiovanni-Vincentelli Proceedings of the 26th ACM/IEEE Design Automation Conference, 327-332, 1989 | 533 | 1989 |
| Multi-valued decision diagrams: theory and applications T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli Multiple-Valued Logic 4 (1), 9-62, 1998 | 328 | 1998 |
| 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 | 168 | 2015 |
| Synthesis of finite state machines: functional optimization T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013 | 135 | 2013 |
| Complexity of two-level logic minimization C Umans, T Villa, AL Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 135 | 2006 |
| Synthesis of finite state machines: logic optimization T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2012 | 122 | 2012 |
| A fully implicit algorithm for exact state minimization T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli Proceedings of the 31st annual Design Automation Conference, 684-690, 1994 | 98 | 1994 |
| Assume–guarantee verification of nonlinear hybrid systems with Ariadne L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa International Journal of Robust and Nonlinear Control 24 (4), 699-724, 2014 | 85 | 2014 |
| Ariadne: a framework for reachability analysis of hybrid automata A Balluchi, A Casagrande, P Collins, A Ferrari, T Villa, ... MTNS 2006, 17th International Symposium on Mathematical Theory of Networks …, 2006 | 81 | 2006 |
| Model matching for finite-state machines MD Di Benedetto, A Sangiovanni-Vincentelli, T Villa IEEE Transactions on Automatic Control 46 (11), 1726-1743, 2001 | 80 | 2001 |
| Synthesis of FSMs: functional optimization T Kam, T Villa, R Brayton, A Sangiovanni Vincentelli Kluwer Academic Publishers, 1997 | 77 | 1997 |
| 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 | 69 | 2000 |
| 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 | 68 | 1997 |
| The unknown component problem: theory and applications T Villa, N Yevtushenko, RK Brayton, A Mishchenko, A Petrenko, ... Springer Science & Business Media, 2011 | 67 | 2011 |
| Deterministic timed finite state machines: Equivalence checking and expressive power D Bresolin, K El-Fakih, T Villa, N Yevtushenko arXiv preprint arXiv:1408.5967, 2014 | 62 | 2014 |
| A framework for satisfying input and output encoding constraints A Saldanha, T Villa, RK Brayton, AL Sangiovanni-Vincentelli Proceedings of the 28th ACM/IEEE Design Automation Conference, 170-175, 1991 | 62 | 1991 |
| 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 | 54 | 2008 |
| Robotic surgery R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011 | 51 | 2011 |
| Optimization of multi-valued multi-level networks M Gao, JH Jiang, Y Jiang, Y Li, A Mishchenko, S Sinha, T Villa, R Brayton Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic, 168-177, 2002 | 51 | 2002 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyEmail verificata su eecs.berkeley.edu
