Margaret H. Smith

According to our database1, Margaret H. Smith authored at least 12 papers between 1998 and 2010.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Formal Analysis of Log Files.
J. Aerosp. Comput. Inf. Commun., 2010

From scripts to specifications: the evolution of a flight software testing effort.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
An Entry Point for Formal Methods: Specification and Analysis of Event Logs
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2008
Requirements Capture with RCAT.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Automated Testing of Planning Models.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2002
An Automated Verification Method for Distributed Systems Software Based on Model Extraction.
IEEE Trans. Software Eng., 2002

2001
Software model checking: extracting verification models from source code.
Softw. Test. Verification Reliab., 2001

Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

2000
Automating software feature verification.
Bell Labs Tech. J., 2000

1999
A Practical Method for Verifying Event-Driven Software.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Software Model Checking.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998
Interval reduction through requirements analysis.
Bell Labs Tech. J., 1998


  Loading...