S. Johnson

发表

Decomposing Digital-system Specifications into Interacting Sequential Processes December 1991

S. Johnson, David E. Winkel, B. Bose, 1991 .

Yanhong A. Liu, W. Hunt, S. D. Johnson, 2007 .

Integrating Boolean Verification with Formal Derivation

S. Johnson, B. Bose, S. Pullela, 1993, CHDL.

Arriving at Fpga Based Hardware Unix-encription Using Iterated Codesign Methods Et Veritas Arriving at Fpga Based Hardware Unix-encryption Using Iterated Codesign Methods

I. Cyliax, S. Johnson, B. Bose, 1997 .

Algebra of Behavior Tables ∗ †

Alex Tsow, S. Johnson, 2000 .

[48] Steven D. Johnson. Digital Design in a Functional Calculus. In Milne and Subramanyam, editors,

I. Cyliax, J. Leathrum, S. Johnson, 2007 .

Integrating Boolean Veri cation with Formal Derivation

Steven D. Johnson, Bhaskar Bose, Shyamsundar Pullela, 1993 .

Indiana University Computer Science Department an Introduction to Behavior Tables an Introduction to Behavior Tables

S. Johnson, K. Rath, M. Tuna, 1993 .

An Exercise in Integrating Veri cation with Formal Derivation

Steven D. Johnson, Bhaskar Bose, S. Johnson, 1993 .

An Algebraic Framework for Data Abstraction in Hardware Description

Zheng Zhu, Steven D. Johnson, S. Johnson, 1991 .

Indiana University Computer Science Department Integrating Boolean Veriication with Formal Derivation Integrating Boolean Veriication with Formal Derivation

Steven D. Johnson, Bhaskar Bose, S. Johnson, 2007 .

Indiana University Computer Science Department Ddd-fm9001: Derivation of a Veriied Microprocessor an Exercise in Integrating Veriication with Formal Derivation Ddd-fm9001: Derivation of a Veriied Microprocessor Y an Exercise in Integrating Veriication with Formal Derivation

S. Johnson, 2007 .

Homogeneous Resource Configuration and Access for an Autonomous Robotic Vehicle

Steven D. Johnson, Bryce Himebaugh, Scott A. Dial, 2008 .

Formal verification of time-triggered systems

Steven D. Johnson, Lee Pike, S. Johnson, 2006 .

Starfish: a table-centric tool for design derivation

Steven D. Johnson, Alexander W. Tsow, Alex Tsow, 2007 .

An Example of Interactive Hardware Transformation

Zheng Zhu, Steven D. Johnson, S. Johnson, 1991 .

View from the Fringe of the Fringe

Steven D. Johnson, S. Johnson, 2001, CHARME.

Hardware Verification Using Coinductive Assertions

Steven D. Johnson, Paul S. Miner, S. Johnson, 1998 .

Toward the rigorous use of diagrams in reasoning about hardware

Jon Barwise, Gerard Allwein, Steven D. Johnson, 1996 .

Integrating design and verification environments through a logic supporting hardware diagrams

Kathi Fisler, Steven D. Johnson, K. Fisler, 1995, Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair.

Studies of the Single Pulser in Various Reasoning Systems

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

Preliminary explorations in specifying and validating entity-relationship models in PVS

Venkatesh Choppella, Edward L. Robertson, Arijit Sengupta, 2007, AFM '07.

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

Steven D. Johnson, Paul S. Miner, S. Johnson, 1997, CHARME.

System factorization in codesign. A case study of the use of formal techniques to achieve hardware-software decomposition

Steven D. Johnson, Bhaskar Bose, M. Esen Tuna, 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.

DDD-FM9001: Derivation of a Verified Microprocessor

Steven D. Johnson, Bhaskar Bose, S. Johnson, 1993, CHARME.

A Formal Hdl and Its Use in the Fm9001 Verication a Formal Hdl and Its Use in the Fm9001 Verication Technical Report #79 16 References a Formal Hdl and Its Use in the Fm9001 Verication Technical Report #79

Konrad Slind, Graham Birtwistle, Steven D. Johnson, 2007 .

Interaction of formal design systems in the development of a fault-tolerant clock synchronization circuit

Steven D. Johnson, Paul S. Miner, Shyamsundar Pullela, 1994, Proceedings of IEEE 13th Symposium on Reliable Distributed Systems.

Automatic Synthesis of Sequential Synchronizations

Zheng Zhu, Steven D. Johnson, S. Johnson, 1993, CHDL.

A workshop on formal methods education: held at Melbourne Florida in March 1998[5]

Steven D. Johnson, S. Johnson, 1999, International Journal on Software Tools for Technology Transfer.