Steven D. Johnson

Publication Activity (10 Years)

Years Active: 1982-2016
Publications (10 Years): 2

Top Topics

Cognitive Neuroscience

Top Venues

Publications

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