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
13462003
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
9451996
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
7861997
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
4341987
Galois theory
SA Edwards, O Tardieu
3151984
The case for the precision timed (PRET) machine
SA Edwards, EA Lee
Proceedings of the 44th annual Design Automation Conference, 264-265, 2007
3122007
Compiling esterel
D Potop-Butucaru, SA Edwards, G Berry
Springer, 2007
2292007
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
2202008
SHIM: A Deterministic Model for Heterogeneous Embedded Systems
SA Edwards, O Tardieu
Proceedings of the International Conference on Embedded Software (Emsoft …, 2005
1542005
The challenges of synthesizing hardware from C-like languages
SA Edwards
IEEE Design & Test of Computers 23 (5), 375-386, 2006
1432006
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
1071997
An Esterel compiler for large control-dominated systems
SA Edwards
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2002
1052002
Compiling Esterel into sequential code
SA Edwards
Proceedings of the seventh international workshop on Hardware/software …, 1999
901999
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
782005
Code generation in the Columbia Esterel compiler
SA Edwards, J Zeng
EURASIP Journal on Embedded Systems 2007, 1-31, 2007
712007
NDL: a domain-specific language for device drivers
CL Conway, SA Edwards
ACM Sigplan Notices 39 (7), 30-36, 2004
712004
The system can't perform the operation now. Try again later.
Articles 1–20