| The synchronous languages 12 years later A Benveniste, P Caspi, SA Edwards, N Halbwachs, P Le Guernic, ... Proceedings of the IEEE 91 (1), 64-83, 2003 | 1244 | 2003 |
| 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 | 918 | 1996 |
| Design of embedded systems: Formal models, validation, and synthesis S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli Proceedings of the IEEE 85 (3), 366-390, 1997 | 745 | 1997 |
| Professionalizing the organization A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ... | 392 | 1987 |
| The case for the precision timed (PRET) machine SA Edwards, EA Lee Proceedings of the 44th annual Design Automation Conference, 264-265, 2007 | 279 | 2007 |
| Galois theory SA Edwards, O Tardieu | 279 | 1984 |
| Compiling esterel D Potop-Butucaru, SA Edwards, G Berry Springer, 2007 | 209 | 2007 |
| Predictable programming on a precision timed architecture B Lickly, I Liu, S Kim, HD Patel, SA Edwards, EA Lee Proceedings of the 2008 international conference on Compilers, architectures …, 2008 | 196 | 2008 |
| High performance training and racing S Edwards The heart rate monitor book 349, 113-123, 1993 | 193 | 1993 |
| SHIM: A Deterministic Model for Heterogeneous Embedded Systems SA Edwards, O Tardieu Proceedings of the International Conference on Embedded Software (Emsoft …, 2005 | 143 | 2005 |
| The challenges of synthesizing hardware from C-like languages SA Edwards IEEE Design & Test of Computers 23 (5), 375-386, 2006 | 131 | 2006 |
| The semantics and execution of a synchronous block-diagram language SA Edwards, EA Lee Science of Computer Programming 48 (1), 21-42, 2003 | 118 | 2003 |
| The challenges of hardware synthesis from C-like languages SA Edwards Design, Automation and Test in Europe, 66-67, 2005 | 108 | 2005 |
| The specification and execution of heterogeneous synchronous reactive systems SA Edwards Electronics Research Laboratory, College of Engineering, University of …, 1997 | 106 | 1997 |
| An Esterel compiler for large control-dominated systems SA Edwards IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002 | 98 | 2002 |
| Compiling Esterel into sequential code SA Edwards Proceedings of the seventh international workshop on Hardware/software …, 1999 | 85 | 1999 |
| Languages for Digital Embedded Systems SA Edwards Springer Science & Business Media, 2012 | 83 | 2012 |
| Fast phase reconstruction in white light diffraction phase microscopy HV Pham, C Edwards, LL Goddard, G Popescu Applied optics 52 (1), A97-A101, 2013 | 78 | 2013 |
| Tutorial: Compiling concurrent languages for sequential processors SA Edwards ACM Transactions on Design Automation of Electronic Systems (TODAES) 8 (2 …, 2003 | 72 | 2003 |
| Incremental algorithms for inter-procedural analysis of safety properties CL Conway, KS Namjoshi, D Dams, SA Edwards International Conference on Computer Aided Verification, 449-461, 2005 | 70 | 2005 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
