Steven D. Johnson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2016

Assessing the potential of surface-immobilized molecular logic machines for integration with solid state technologyKatherine E. Dunn, Martin A. Trefzer, Steven D. Johnson, Andy M. Tyrrell. biosystems, 146:3-9, 2016. [doi]

2015

Surface-Immobilised DNA Molecular Machines for Information ProcessingKatherine E. Dunn, Tamara L. Morgan, Martin A. Trefzer, Steven D. Johnson, Andy M. Tyrrell. ipcat 2015: 3-12 [doi]

2005

Evolving autonomous agent control in the Xpilot environmentGary B. Parker, Matt Parker, Steven D. Johnson. cec 2005: 2416-2421 [doi]

The formal verification of a reintegration protocolLee Pike, Steven D. Johnson. emsoft 2005: 286-289 [doi]

Data Refinement for Synchronous System Specification and ConstructionAlex Tsow, Steven D. Johnson. charme 2005: 398-401 [doi]

2003

Formal Methods in Embedded DesignSteven D. Johnson. Computer, 36(11):104-106, 2003. [doi]

A systematic incrementalization technique and its application to hardware designSteven D. Johnson, Yanhong A. Liu, Yuchen Zhang. STTT, 4(2):211-223, 2003. [doi]

2001

View from the Fringe of the FringeSteven D. Johnson. charme 2001: 1-12 [doi]

View from the Fringe of the Fringe (Joint with CHARME 2001)Steven D. Johnson. tphol 2001: 4 [doi]

2000

Visualizing System Factorizations with Behavior TablesAlex Tsow, Steven D. Johnson. FMCAD 2000: 520-537 [doi]

1999

A Workshop on Formal Methods Education: An Aggregation of OpinionsSteven D. Johnson. STTT, 2(3):203-207, 1999. [doi]

A Systematic Incrementalization Technique and Its Application to Hardware DesignSteven D. Johnson, Yanhong A. Liu, Yuchen Zhang. charme 1999: 334-337 [doi]

1997

Integrated reasoning support in system design: design derivation and theorem provingSteven D. Johnson, Paul S. Miner. charme 1997: 255-272

1995

Decomposition of Sequential Behavior Using Interface Specification and ComplementationKamlesh Rath, Venkatesh Choppella, Steven D. Johnson. vlsi, 3(3-4):347-358, 1995. [doi]

Specification and synthesis of bounded indirectionM. Esen Tuna, Kamlesh Rath, Steven D. Johnson. glvlsi 1995: 86-89 [doi]

1994

Studies of the Single Pulser in Various Reasoning SystemsSteven D. Johnson, Paul S. Miner, Albert John Camilleri. tpcd 1994: 126-145

Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization CircuitPaul S. Miner, Shyamsundar Pullela, Steven D. Johnson. srds 1994: 128-137

Continuations in Hardware-Software CodesignM. Esen Tuna, Steven D. Johnson, Robert G. Burger. iccd 1994: 264-269

Capturing Synchronization Specifications for Sequential CompositionsZheng Zhu, Steven D. Johnson. iccd 1994: 117-121

1993

System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software DecompositionBhaskar Bose, M. Esen Tuna, Steven D. Johnson. iccd 1993: 458-461

Integrating Boolean Verification with Formal DerivationBhaskar Bose, Steven D. Johnson, Shyamsundar Pullela. chdl 1993: 139-146

DDD-FM9001: Derivation of a Verified MicroprocessorBhaskar Bose, Steven D. Johnson. charme 1993: 191-202

Derivation of a DRAM Memory Interface by Sequential DecompositionKamlesh Rath, Bhaskar Bose, Steven D. Johnson. iccd 1993: 438-441

Behavior tables: a basis for system representation and transformational system synthesisKamlesh Rath, M. Esen Tuna, Steven D. Johnson. iccad 1993: 736-740 [doi]

Toward a Basis for Protocol Specification and Process DecompositionKamlesh Rath, Steven D. Johnson. chdl 1993: 169-186

Automatic Synthesis of Sequential SynchronizationsZheng Zhu, Steven D. Johnson. chdl 1993: 299-315

1990

Multi-Way Streams in SchemeJohn V. Franco, Daniel P. Friedman, Steven D. Johnson. Comp. Lang., Syst. \& Struct., 15(1):109-125, 1990.

1989

Manipulating Logical Organization with System FactorizationsSteven D. Johnson. msiw 1990: 260-281

1984

Applicative Programming and Digital DesignSteven D. Johnson. POPL 1984: 218-227

1982

Circuits and Systems: Implementing Communication with StreamsSteven D. Johnson. imacs 1982: 311-319

Sign in or sign up to see more results.

runs on WebDSL