Follow
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
13282003
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
9441996
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
7761997
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
4281987
The case for the precision timed (PRET) machine
SA Edwards, EA Lee
Proceedings of the 44th annual Design Automation Conference, 264-265, 2007
3092007
Galois theory
SA Edwards, O Tardieu
3071984
High performance training and racing
S Edwards
The heart rate monitor book 349, 113-123, 1993
2531993
Compiling esterel
D Potop-Butucaru, SA Edwards, G Berry
Springer, 2007
2272007
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
2162008
SHIM: A Deterministic Model for Heterogeneous Embedded Systems
SA Edwards, O Tardieu
Proceedings of the International Conference on Embedded Software (Emsoft …, 2005
1532005
The challenges of synthesizing hardware from C-like languages
SA Edwards
IEEE Design & Test of Computers 23 (5), 375-386, 2006
1402006
The semantics and execution of a synchronous block-diagram language
SA Edwards, EA Lee
Science of Computer Programming 48 (1), 21-42, 2003
1292003
The challenges of hardware synthesis from C-like languages
SA Edwards
Design, Automation and Test in Europe, 66-67, 2005
1142005
The specification and execution of heterogeneous synchronous reactive systems
SA Edwards
University of California, Berkeley, 1997
1061997
An Esterel compiler for large control-dominated systems
SA Edwards
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
1022002
Compiling Esterel into sequential code
SA Edwards
Proceedings of the seventh international workshop on Hardware/software …, 1999
891999
Languages for Digital Embedded Systems
SA Edwards
Springer Science & Business Media, 2000
872000
Tutorial: Compiling concurrent languages for sequential processors
SA Edwards
ACM Transactions on Design Automation of Electronic Systems (TODAES) 8 (2 …, 2003
792003
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
742005
NDL: a domain-specific language for device drivers
CL Conway, SA Edwards
ACM Sigplan Notices 39 (7), 30-36, 2004
702004
The system can't perform the operation now. Try again later.
Articles 1–20