Steven D. Johnson

31 papers A* 1A 1B 4C 4Misc 1Journal 6Unranked 14
YearRankTypeTitle / Venue / Authors
2016 J jnl
Assessing the potential of surface-immobilized molecular logic machines for integration with solid state technology.
Biosyst.
Katherine E. Dunn, Martin A. Trefzer, Steven D. Johnson, Andy M. Tyrrell
2015 — conf
Surface-Immobilised DNA Molecular Machines for Information Processing.
IPCAT
Katherine E. Dunn, Tamara L. Morgan, Martin A. Trefzer, Steven D. Johnson, Andy M. Tyrrell
2005 — conf
Data Refinement for Synchronous System Specification and Construction.
CHARME
Alex Tsow, Steven D. Johnson
2005 B conf
Evolving autonomous agent control in the Xpilot environment.
Congress on Evolutionary Computation
Gary B. Parker, Matt Parker, Steven D. Johnson
2005 Misc conf
The formal verification of a reintegration protocol.
EMSOFT
Lee Pike, Steven D. Johnson
2003 J jnl
A systematic incrementalization technique and its application to hardware design.
Int. J. Softw. Tools Technol. Transf.
Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
2003 J jnl
Formal Methods in Embedded Design.
Computer
Steven D. Johnson
2001 — conf
View from the Fringe of the Fringe (Joint with CHARME 2001).
TPHOLs
Steven D. Johnson
2001 — conf
View from the Fringe of the Fringe.
CHARME
Steven D. Johnson
2000 B ed.
Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings
FMCAD
Warren A. Hunt Jr., Steven D. Johnson
2000 B conf
Visualizing System Factorizations with Behavior Tables.
FMCAD
Alex Tsow, Steven D. Johnson
1999 — conf
A Systematic Incrementalization Technique and Its Application to Hardware Design.
CHARME
Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
1999 J jnl
A Workshop on Formal Methods Education: An Aggregation of Opinions.
Int. J. Softw. Tools Technol. Transf.
Steven D. Johnson
1997 — conf
Integrated reasoning support in system design: design derivation and theorem proving.
CHARME
Steven D. Johnson, Paul S. Miner
1995 J jnl
Decomposition of Sequential Behavior Using Interface Specification and Complementation.
VLSI Design
Kamlesh Rath, Venkatesh Choppella, Steven D. Johnson
1995 — conf
Specification and synthesis of bounded indirection.
Great Lakes Symposium on VLSI
M. Esen Tuna, Kamlesh Rath, Steven D. Johnson
1994 C conf
Capturing Synchronization Specifications for Sequential Compositions.
ICCD
Zheng Zhu, Steven D. Johnson
1994 C conf
Continuations in Hardware-Software Codesign.
ICCD
M. Esen Tuna, Steven D. Johnson, Robert G. Burger
1994 B conf
Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.
SRDS
Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson
1994 — conf
Studies of the Single Pulser in Various Reasoning Systems.
TPCD
Steven D. Johnson, Paul S. Miner, Albert John Camilleri
1993 — conf
Automatic Synthesis of Sequential Synchronizations.
CHDL
Zheng Zhu, Steven D. Johnson
1993 A conf
Behavior tables: a basis for system representation and transformational system synthesis.
ICCAD
Kamlesh Rath, M. Esen Tuna, Steven D. Johnson
1993 — conf
DDD-FM9001: Derivation of a Verified Microprocessor.
CHARME
Bhaskar Bose, Steven D. Johnson
1993 C conf
Derivation of a DRAM Memory Interface by Sequential Decomposition.
ICCD
Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
1993 — conf
Integrating Boolean Verification with Formal Derivation.
CHDL
Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela
1993 C conf
System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.
ICCD
Bhaskar Bose, M. Esen Tuna, Steven D. Johnson
1993 — conf
Toward a Basis for Protocol Specification and Process Decomposition.
CHDL
Kamlesh Rath, Steven D. Johnson
1990 J jnl
Multi-Way Streams in Scheme.
Comput. Lang.
John V. Franco, Daniel P. Friedman, Steven D. Johnson
1989 — conf
Manipulating Logical Organization with System Factorizations.
Hardware Specification, Verification and Synthesis
Steven D. Johnson
1984 A* conf
Applicative Programming and Digital Design.
POPL
Steven D. Johnson
1982 — conf
Circuits and Systems: Implementing Communication with Streams.
IMACS World Congress
Steven D. Johnson