Steven D. Johnson

According to our database, Steven D. Johnson authored at least 29 papers between 1982 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Assessing the potential of surface-immobilized molecular logic machines for integration with solid state technology.

Katherine E. Dunn, Martin A. Trefzer, Steven D. Johnson, Andy M. Tyrrell

Biosyst., 2016

2015

Surface-Immobilised DNA Molecular Machines for Information Processing.

Katherine E. Dunn, Tamara L. Morgan, Martin A. Trefzer, Steven D. Johnson, Andy M. Tyrrell

Proceedings of the Information Processing in Cells and Tissues, 2015

2005

The formal verification of a reintegration protocol.

Lee Pike, Steven D. Johnson

Proceedings of the EMSOFT 2005, 2005

Data Refinement for Synchronous System Specification and Construction.

Alex Tsow, Steven D. Johnson

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Evolving autonomous agent control in the Xpilot environment.

Gary B. Parker, Matt Parker, Steven D. Johnson

Proceedings of the IEEE Congress on Evolutionary Computation, 2005

2003

A systematic incrementalization technique and its application to hardware design.

Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang

Int. J. Softw. Tools Technol. Transf., 2003

Formal Methods in Embedded Design.

Steven D. Johnson

Computer, 2003

2001

View from the Fringe of the Fringe (Joint with CHARME 2001).

Steven D. Johnson

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

View from the Fringe of the Fringe.

Steven D. Johnson

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Visualizing System Factorizations with Behavior Tables.

Alex Tsow, Steven D. Johnson

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

A Workshop on Formal Methods Education: An Aggregation of Opinions.

Steven D. Johnson

Int. J. Softw. Tools Technol. Transf., 1999

1997

Integrated reasoning support in system design: design derivation and theorem proving.

Steven D. Johnson, Paul S. Miner

Proceedings of the Advances in Hardware Design and Verification, 1997

1995

Decomposition of Sequential Behavior Using Interface Specification and Complementation.

Kamlesh Rath, Venkatesh Choppella, Steven D. Johnson

VLSI Design, 1995

Specification and synthesis of bounded indirection.

M. Esen Tuna, Kamlesh Rath, Steven D. Johnson

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

1994

Studies of the Single Pulser in Various Reasoning Systems.

Steven D. Johnson, Paul S. Miner, Albert John Camilleri

Proceedings of the Theorem Provers in Circuit Design, 1994

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.

Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

Capturing Synchronization Specifications for Sequential Compositions.

Zheng Zhu, Steven D. Johnson

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Continuations in Hardware-Software Codesign.

M. Esen Tuna, Steven D. Johnson, Robert G. Burger

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1993

Derivation of a DRAM Memory Interface by Sequential Decomposition.

Kamlesh Rath, Bhaskar Bose, Steven D. Johnson

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.

Bhaskar Bose, M. Esen Tuna, Steven D. Johnson

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

Behavior tables: a basis for system representation and transformational system synthesis.

Kamlesh Rath, M. Esen Tuna, Steven D. Johnson

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

Automatic Synthesis of Sequential Synchronizations.

Zheng Zhu, Steven D. Johnson

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

Toward a Basis for Protocol Specification and Process Decomposition.

Kamlesh Rath, Steven D. Johnson

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

Integrating Boolean Verification with Formal Derivation.

Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

DDD-FM9001: Derivation of a Verified Microprocessor.

Bhaskar Bose, Steven D. Johnson

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1990

Multi-Way Streams in Scheme.

John V. Franco, Daniel P. Friedman, Steven D. Johnson

Comput. Lang., 1990

1989

Manipulating Logical Organization with System Factorizations.

Steven D. Johnson

Proceedings of the Hardware Specification, 1989

1984

Applicative Programming and Digital Design.

Steven D. Johnson

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1982

Circuits and Systems: Implementing Communication with Streams.

Steven D. Johnson

Proceedings of the Parallel and Large-Scale Computers: Performance, 1982