OREGON STATE UNIVERSITY

You are here

Biblio

Found 9 results
Filters: Author is Holzmann, Gerard J.  [Clear All Filters]
2011
Holzmann, G. J., R. Joshi, and A. Groce, "Swarm Verification Techniques", IEEE Transactions on Software Engineering, vol. 37, issue 6, pp. 845 - 857, 11/2011.
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.
Holzmann, G. J., R. Joshi, and A. Groce, "Model driven code checking", Automated Software Engineering, Special Issue on Trends in Automated Software Engineering, vol. 15, issue 3-4, pp. 283 - 297, 12/2008.
Groce, A., G. J. Holzmann, R. Joshi, and R-G. Xu, "Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving", In Workshop on Constraints in Formal Verification, Sydney, Australia, pp. 1--15, 08/2008.
Holzmann, G. J., R. Joshi, and A. Groce, "Swarm Verification", Conference on Automated Software Engineering (ASE), L'Aquila, Italy, pp. 1--6, 09/2008.
Holzmann, G. J., R. Joshi, and A. Groce, "Tackling Large Verification Problems with the Swarm Tool", SPIN, Los Angeles, CA, pp. 134-143, 08/2008.
2007
Groce, A., G. J. Holzmann, and R. Joshi, "Randomized Differential Testing as a Prelude to Formal Verification", ACM/IEEE International Conference on Software Engineering, Minneapolis, Minnesota, pp. 621–631, 05/2007.
2006
Holzmann, G. J., R. Joshi, and A. Groce, "New Challenges in Model Checking", Symposium on 25 Years of Model Checking, vol. 5000, Seattle, Washington, Springer Berlin Heidelberg, pp. 65 - 76, 08/2006.