Margaret H. Smith

12 papers A* 1A 2C 1Journal 5Unranked 3

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
2010	—	`conf`	From scripts to specifications: the evolution of a flight software testing effort. ICSE (2) Alex Groce, Klaus Havelund, Margaret H. Smith
2009	—	`conf`	An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
2008	—	`conf`	Automated Testing of Planning Models. MoChArt Klaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith
2008	A	`conf`	Requirements Capture with RCAT. RE Margaret H. Smith, Klaus Havelund
2002	J	`jnl`	An Automated Verification Method for Distributed Systems Software Based on Model Extraction. IEEE Trans. Software Eng. Gerard J. Holzmann, Margaret H. Smith
2001	A	`conf`	Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. RE Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
2001	J	`jnl`	Software model checking: extracting verification models from source code. Softw. Test. Verification Reliab. Gerard J. Holzmann, Margaret H. Smith
2000	J	`jnl`	Automating software feature verification. Bell Labs Tech. J. Gerard J. Holzmann, Margaret H. Smith
1999	A*	`conf`	A Practical Method for Verifying Event-Driven Software. ICSE Gerard J. Holzmann, Margaret H. Smith
1999	C	`conf`	Software Model Checking. FORTE Gerard J. Holzmann, Margaret H. Smith
1998	J	`jnl`	Interval reduction through requirements analysis. Bell Labs Tech. J. Gerard J. Holzmann, Margaret H. Smith