The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steven D. Johnson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bhaskar Bose, Steven D. Johnson
    DDD-FM9001: Derivation of a Verified Microprocessor. [Citation Graph (0, 0)][DBLP]
    CHARME, 1993, pp:191-202 [Conf]
  2. Steven D. Johnson
    View from the Fringe of the Fringe. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:1-12 [Conf]
  3. Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
    A Systematic Incrementalization Technique and Its Application to Hardware Design. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:334-337 [Conf]
  4. Steven D. Johnson, Paul S. Miner
    Integrated reasoning support in system design: design derivation and theorem proving. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:255-272 [Conf]
  5. Alex Tsow, Steven D. Johnson
    Data Refinement for Synchronous System Specification and Construction. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:398-401 [Conf]
  6. Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela
    Integrating Boolean Verification with Formal Derivation. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:139-146 [Conf]
  7. Kamlesh Rath, Steven D. Johnson
    Toward a Basis for Protocol Specification and Process Decomposition. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:169-186 [Conf]
  8. Zheng Zhu, Steven D. Johnson
    Automatic Synthesis of Sequential Synchronizations. [Citation Graph (0, 0)][DBLP]
    CHDL, 1993, pp:299-315 [Conf]
  9. Lee Pike, Steven D. Johnson
    The formal verification of a reintegration protocol. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:286-289 [Conf]
  10. Alex Tsow, Steven D. Johnson
    Visualizing System Factorizations with Behavior Tables. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:520-537 [Conf]
  11. M. Esen Tuna, Kamlesh Rath, Steven D. Johnson
    Specification and synthesis of bounded indirection. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1995, pp:86-89 [Conf]
  12. Kamlesh Rath, M. Esen Tuna, Steven D. Johnson
    Behavior tables: a basis for system representation and transformational system synthesis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:736-740 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:458-461 [Conf]
  14. Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
    Derivation of a DRAM Memory Interface by Sequential Decomposition. [Citation Graph (0, 0)][DBLP]
    ICCD, 1993, pp:438-441 [Conf]
  15. M. Esen Tuna, Steven D. Johnson, Robert G. Burger
    Continuations in Hardware-Software Codesign. [Citation Graph (0, 0)][DBLP]
    ICCD, 1994, pp:264-269 [Conf]
  16. Zheng Zhu, Steven D. Johnson
    Capturing Synchronization Specifications for Sequential Compositions. [Citation Graph (0, 0)][DBLP]
    ICCD, 1994, pp:117-121 [Conf]
  17. Steven D. Johnson
    Circuits and Systems: Implementing Communication with Streams. [Citation Graph (0, 0)][DBLP]
    IMACS World Congress, 1982, pp:311-319 [Conf]
  18. Steven D. Johnson
    Manipulating Logical Organization with System Factorizations. [Citation Graph (0, 0)][DBLP]
    Hardware Specification, Verification and Synthesis, 1989, pp:260-281 [Conf]
  19. Steven D. Johnson
    Applicative Programming and Digital Design. [Citation Graph (0, 0)][DBLP]
    POPL, 1984, pp:218-227 [Conf]
  20. Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson
    Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1994, pp:128-137 [Conf]
  21. Steven D. Johnson, Paul S. Miner, Albert John Camilleri
    Studies of the Single Pulser in Various Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:126-145 [Conf]
  22. Steven D. Johnson
    View from the Fringe of the Fringe (Joint with CHARME 2001). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:4- [Conf]
  23. John V. Franco, Daniel P. Friedman, Steven D. Johnson
    Multi-Way Streams in Scheme. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1990, v:15, n:1, pp:109-125 [Journal]
  24. Steven D. Johnson
    Formal Methods in Embedded Design. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2003, v:36, n:11, pp:104-106 [Journal]
  25. Steven D. Johnson
    A Workshop on Formal Methods Education: An Aggregation of Opinions. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:203-207 [Journal]
  26. Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
    A systematic incrementalization technique and its application to hardware design. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:211-223 [Journal]
  27. G. B. Parker, M. Parker, S. D. Johnson
    Evolving autonomous agent control in the Xpilot environment. [Citation Graph (0, 0)][DBLP]
    Congress on Evolutionary Computation, 2005, pp:2416-2421 [Conf]

Search in 0.028secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002