| 2005 |
|---|
| 28 | EE | Alex Tsow,
Steven D. Johnson:
Data Refinement for Synchronous System Specification and Construction.
CHARME 2005: 398-401 |
| 27 | EE | Gary B. Parker,
Matt Parker,
Steven D. Johnson:
Evolving autonomous agent control in the Xpilot environment.
Congress on Evolutionary Computation 2005: 2416-2421 |
| 26 | EE | Lee Pike,
Steven D. Johnson:
The formal verification of a reintegration protocol.
EMSOFT 2005: 286-289 |
| 2003 |
|---|
| 25 | EE | Steven D. Johnson:
Formal Methods in Embedded Design.
IEEE Computer 36(11): 104-106 (2003) |
| 24 | EE | Steven D. Johnson,
Yanhong A. Liu,
Yuchen Zhang:
A systematic incrementalization technique and its application to hardware design.
STTT 4(2): 211-223 (2003) |
| 2001 |
|---|
| 23 | EE | Steven D. Johnson:
View from the Fringe of the Fringe.
CHARME 2001: 1-12 |
| 22 | EE | Steven D. Johnson:
View from the Fringe of the Fringe (Joint with CHARME 2001).
TPHOLs 2001: 4 |
| 2000 |
|---|
| 21 | | Warren A. Hunt Jr.,
Steven D. Johnson:
Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings
Springer 2000 |
| 20 | EE | Alex Tsow,
Steven D. Johnson:
Visualizing System Factorizations with Behavior Tables.
FMCAD 2000: 520-537 |
| 1999 |
|---|
| 19 | EE | Steven D. Johnson,
Yanhong A. Liu,
Yuchen Zhang:
A Systematic Incrementalization Technique and Its Application to Hardware Design.
CHARME 1999: 334-337 |
| 18 | EE | Steven D. Johnson:
A Workshop on Formal Methods Education: An Aggregation of Opinions.
STTT 2(3): 203-207 (1999) |
| 1997 |
|---|
| 17 | | Steven D. Johnson,
Paul S. Miner:
Integrated reasoning support in system design: design derivation and theorem proving.
CHARME 1997: 255-272 |
| 1995 |
|---|
| 16 | EE | M. Esen Tuna,
Kamlesh Rath,
Steven D. Johnson:
Specification and synthesis of bounded indirection.
Great Lakes Symposium on VLSI 1995: 86-89 |
| 1994 |
|---|
| 15 | | Zheng Zhu,
Steven D. Johnson:
Capturing Synchronization Specifications for Sequential Compositions.
ICCD 1994: 117-121 |
| 14 | | M. Esen Tuna,
Steven D. Johnson,
Robert G. Burger:
Continuations in Hardware-Software Codesign.
ICCD 1994: 264-269 |
| 13 | | Paul S. Miner,
Shyamsundar Pullela,
Steven D. Johnson:
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.
SRDS 1994: 128-137 |
| 12 | | Steven D. Johnson,
Paul S. Miner,
Albert John Camilleri:
Studies of the Single Pulser in Various Reasoning Systems.
TPCD 1994: 126-145 |
| 1993 |
|---|
| 11 | | Bhaskar Bose,
Steven D. Johnson:
DDD-FM9001: Derivation of a Verified Microprocessor.
CHARME 1993: 191-202 |
| 10 | | Bhaskar Bose,
Steven D. Johnson,
Shyamsundar Pullela:
Integrating Boolean Verification with Formal Derivation.
CHDL 1993: 139-146 |
| 9 | | Kamlesh Rath,
Steven D. Johnson:
Toward a Basis for Protocol Specification and Process Decomposition.
CHDL 1993: 169-186 |
| 8 | | Zheng Zhu,
Steven D. Johnson:
Automatic Synthesis of Sequential Synchronizations.
CHDL 1993: 299-315 |
| 7 | EE | Kamlesh Rath,
M. Esen Tuna,
Steven D. Johnson:
Behavior tables: a basis for system representation and transformational system synthesis.
ICCAD 1993: 736-740 |
| 6 | | Kamlesh Rath,
Bhaskar Bose,
Steven D. Johnson:
Derivation of a DRAM Memory Interface by Sequential Decomposition.
ICCD 1993: 438-441 |
| 5 | | Bhaskar Bose,
M. Esen Tuna,
Steven D. Johnson:
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.
ICCD 1993: 458-461 |
| 1990 |
|---|
| 4 | | John V. Franco,
Daniel P. Friedman,
Steven D. Johnson:
Multi-Way Streams in Scheme.
Comput. Lang. 15(1): 109-125 (1990) |
| 1989 |
|---|
| 3 | | Steven D. Johnson:
Manipulating Logical Organization with System Factorizations.
Hardware Specification, Verification and Synthesis 1989: 260-281 |
| 1984 |
|---|
| 2 | | Steven D. Johnson:
Applicative Programming and Digital Design.
POPL 1984: 218-227 |
| 1982 |
|---|
| 1 | | Steven D. Johnson:
Circuits and Systems: Implementing Communication with Streams.
IMACS World Congress 1982: 311-319 |
