OREGON STATE UNIVERSITY

You are here

Biblio

Found 7 results
Filters: Author is Havelund, Klaus  [Clear All Filters]
2010
Barringer, H., A. Groce, K. Havelund, and M. Smith, "An Entry Point for Formal Methods: Specification and Analysis of Event Logs", 1st Workshop on Formal Methods in Aerospace, Electronic Proceedings of Theoretical Computer Science (EPTCS), vol. 20, Eindhoven, Holland, pp. 16 - 21, 11/2009, 2010.
Barringer, H., A. Groce, K. Havelund, and M. Smith, "Formal Analysis of Log Files", Journal of Aerospace Computing, Information, and Communication, vol. 7, issue 11, pp. 365 - 390, 11/2010.
Groce, A., K. Havelund, and M. Smith, "From Scripts to Specifications: the Evolution of a Flight Software Testing Effort", ACM/IEEE International Conference on Software Engineering, Cape Town, South Africa, pp. 129–138, 05/2010.
2009
Barringer, H., A. Groce, K. Havelund, and M. Smith, "Formal Analysis of Log Files", SMC-IT Workshop on Software Reliability for Space Missions, Pasadena CA, 07/2009.
Barringer, H., K. Havelund, D. E. Rydeheard, and A. Groce, "Rule Systems for Runtime Verification: A Short Tutorial", International Workshop on Runtime Verification, Grenoble, France, pp. 1-24, 06/2009.
2008
Havelund, K., A. Groce, G. J. Holzmann, R. Joshi, and M. Smith, "Automated Testing of Planning Models", Workshop on Model Checking and Artificial Intelligence (MoChArt), Patras, Greece, 07/2008.
Holzmann, G. J., R. Joshi, and A. Groce, "Model Checking Software Tackling Large Verification Problems with the Swarm Tool", SPIN Workshop on Model Checking of Software (SPIN), vol. 5156, Los Angeles, CA, Springer Berlin Heidelberg, pp. 134 - 143, 08/2008.