Search the dblp DataBase
Jeffrey M. Thompson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller
Specification-Based Prototyping for Embedded Systems. [Citation Graph (0, 0)][DBLP]
ESEC / SIGSOFT FSE, 1999, pp:163-179 [Conf] - Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. [Citation Graph (0, 0)][DBLP]
EUROMICRO, 1998, pp:10435-10444 [Conf] - Mats Per Erik Heimdahl, Jeffrey M. Thompson
Specification and Analysis of System Level Inter-Component Communication. [Citation Graph (0, 0)][DBLP]
ICFEM, 1997, pp:192-0 [Conf] - Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson
NIMBUS: A Tool for Specification Centered Development. [Citation Graph (0, 0)][DBLP]
RE, 2003, pp:349- [Conf] - Jeffrey M. Thompson, Mats Per Erik Heimdahl
Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines. [Citation Graph (0, 0)][DBLP]
RE, 2001, pp:56-65 [Conf] - Jeffrey M. Thompson, Mats Per Erik Heimdahl
An Integrated Development Environment for Prototyping Safety Critical Systems. [Citation Graph (0, 0)][DBLP]
IEEE International Workshop on Rapid System Prototyping, 1999, pp:172-177 [Conf] - Mats Per Erik Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny
Specification and Analysis of Intercomponent Communication. [Citation Graph (0, 0)][DBLP]
IEEE Computer, 1998, v:31, n:4, pp:47-54 [Journal] - Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:7, pp:731-757 [Journal] - Mats Per Erik Heimdahl, Jeffrey M. Thompson
Specifying and Analysing System-Level Inter-Component Interfaces. [Citation Graph (0, 0)][DBLP]
Requir. Eng., 2000, v:5, n:4, pp:208-224 [Journal] - Jeffrey M. Thompson, Mats Per Erik Heimdahl
Structuring product family requirements for n-dimensional and hierarchical product lines. [Citation Graph (0, 0)][DBLP]
Requir. Eng., 2003, v:8, n:1, pp:42-54 [Journal]
Search in 0.001secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002