Stephen A. Edwards
Stephen A. Edwards
Verified email at cs.columbia.edu
Title
Cited by
Cited by
Year
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
12372003
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
9171996
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
7441997
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
3921987
The case for the precision timed (PRET) machine
SA Edwards, EA Lee
Proceedings of the 44th annual Design Automation Conference, 264-265, 2007
2782007
Galois theory
SA Edwards, O Tardieu
2771984
Compiling esterel
D Potop-Butucaru, SA Edwards, G Berry
Springer, 2007
2072007
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
1962008
High performance training and racing
S Edwards
The heart rate monitor book 349, 113-123, 1993
1861993
SHIM: A Deterministic Model for Heterogeneous Embedded Systems
SA Edwards, O Tardieu
Proceedings of the International Conference on Embedded Software (Emsoft …, 2005
1422005
The challenges of synthesizing hardware from C-like languages
SA Edwards
IEEE Design & Test of Computers 23 (5), 375-386, 2006
1302006
The semantics and execution of a synchronous block-diagram language
SA Edwards, EA Lee
Science of Computer Programming 48 (1), 21-42, 2003
1162003
The challenges of hardware synthesis from C-like languages
SA Edwards
Design, Automation and Test in Europe, 66-67, 2005
1082005
The specification and execution of heterogeneous synchronous reactive systems
SA Edwards
Electronics Research Laboratory, College of Engineering, University of …, 1997
1061997
An Esterel compiler for large control-dominated systems
SA Edwards
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
982002
Compiling Esterel into sequential code
SA Edwards
Proceedings of the seventh international workshop on Hardware/software …, 1999
851999
Languages for Digital Embedded Systems
SA Edwards
Springer Science & Business Media, 2012
842012
Fast phase reconstruction in white light diffraction phase microscopy
HV Pham, C Edwards, LL Goddard, G Popescu
Applied optics 52 (1), A97-A101, 2013
762013
Tutorial: Compiling concurrent languages for sequential processors
SA Edwards
ACM Transactions on Design Automation of Electronic Systems (TODAES) 8 (2 …, 2003
722003
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
702005
The system can't perform the operation now. Try again later.
Articles 1–20