dblp.uni-trier.dewww.uni-trier.de

Steven D. Johnson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Bhaskar Bose [5] [6] [10] [11]
2Robert G. Burger [14]
3Albert John Camilleri [12]
4John V. Franco [4]
5Daniel P. Friedman [4]
6Warren A. Hunt Jr. [21]
7Yanhong A. Liu [19] [24]
8Paul S. Miner [12] [13] [17]
9Gary B. Parker [27]
10Matt Parker [27]
11Lee Pike [26]
12Shyamsundar Pullela [10] [13]
13Kamlesh Rath [6] [7] [9] [16]
14Alex Tsow [20] [28]
15M. Esen Tuna [5] [7] [14] [16]
16Yuchen Zhang [19] [24]
17Zheng Zhu [8] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)