Margaret H. Smith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1999–2010
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICSE | From scripts to specifications: the evolution of a flight software testing effort. | Alex Groce, Klaus Havelund, Margaret H. Smith |
| 2008 | RE | Requirements Capture with RCAT. | Margaret H. Smith, Klaus Havelund |
| 2001 | RE | Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. | Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami |
| 1999 | FORTE | Software Model Checking. | Gerard J. Holzmann, Margaret H. Smith |
| 1999 | ICSE | A Practical Method for Verifying Event-Driven Software. | Gerard J. Holzmann, Margaret H. Smith |