1. Auguston M., "FORMAN - Program Formal Annotation Language," in Proceedings of 5th Israel Conference on Computer Systems and Software Engineering, Herclia, May 27-28, IEEE Computer Society Press, 1991, pp.149-154
  2. Peter Fritzson, Mikhail Auguston, Nahid Shahmehri, "Using Assertions in Declarative and Operational Models for Automated Debugging," in Proceedings of 5th International Conference on Software Engineering and Its Applications, Toulouse, France, December 7-11, 1992, IEEE Computer Society Press
  3. Mikhail Auguston, Peter Fritzson, "PARFORMAN - an Assertion Language for Specifying Behavior When Debugging Parallel Applications," in Proceedings of Euromicro Workshop on Parallel and Distributed Processing, Gran Canaria, January 27-29, 1993. IEEE Computer Society Press
  4. M.Auguston, "A Language for Debugging Automation," in Proceedings of 6th International Conference on Software Engineering and Knowledge Engineering, SEKE'94, Jurmala, June 22-24, 1994, pp.108-115
  5. Peter Fritzson, Mikhail Auguston, Nahid Shahmehri, "Using Assertions in Declarative and Operational Models for Automated Debugging," Journal of Systems and Software, vol. 25(3), pp.223-232, June 1994
  6. M.Auguston, "Program Behavior Model Based on Event Grammar and Its Application for Debugging Automation," in Proceedings of 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95, Saint-Malo, France, May 22-24, 1995 
  7. Mikhail Auguston, Peter Fritzson, "PARFORMAN - an Assertion Language for Specifying Behavior when Debugging Parallel Applications," International Journal of Software Engineering and Knowledge Engineering, vol.6, no.4, 1996, pp.609-640
  8. M.Auguston, A.Gates, M.Lujan, "Defining a Program Behavior Model for Dynamic Analyzers," Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering, SEKE'97, Madrid, Spain, June 1997, pp.257-262
  9. M. Auguston, "Building Program Behavior Models," in Proceedings of European Conference on Artificial Intelligence ECAI-98, Workshop on Spatial and Temporal Reasoning, Brighton, England, August 23-28, 1998 (PDF)
  10. M.Auguston, "Lightweight Semantics Models for Program Testing and Debugging Automation," in Proceedings of 7th Monterey Workshop: Modeling Software System Structures in a Fastly Moving Scenario, Santa Margherita Ligure, Italy, June 13-16, 2000, pp.23-31, on-line proceedings at http://www.disi.unige.it/person/ReggioG/PROCEEDINGS/
  11. M.Auguston, "Tools for Program Dynamic Analysis, Testing, and Debugging Based on Event Grammars," in Proceedings of 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, Illinois, July 6-8, 2000, pp.159-166
  12. M.Auguston, Assertion Checker for the C Programming Language based on Computations over event traces, in Proceedings of the Fourth International Workshop on Algorithmic and Automatic Debugging, AADEBUG'2000, Munich, Germany, August 28-30, 2000, pp.90-99 on-line proceedings at http://www.irisa.fr/lande/ducasse/aadebug2000/proceedings.html
  13. M.Auguston, C.Jeffery, S.Underwood, A Framework for Automatic Debugging, in Proceedings of the 17th IEEE International Conference on Automated Software Engineering, September 23-27, 2002, Edinburgh, UK, IEEE Computer Society Press, pp.217-222 ,  (PDF)
  14. C.Jeffery, M.Auguston, S.Underwood, Towards Fully Automatic Execution Monitoring, in Proceedings of the Monterey Workshop 2002 "Radical Innovations of Software and Systems Engineering in the Future", sponsored by US Army Research Office and NSF, Venice, Italy, October 7-11, 2002, pp.232-243.
  15. C.Jeffery, M.Auguston, "Some axioms and issues in the UFO dynamic analysis framework", in the Proceedings of Workshop on Dynamic Analysis, ICSE'03, 25th International Conference on Software Engineering, Portland, Oregon, May 3-11, 2003, pp.45-48.
  16. Mikhail Auguston, Clinton Jeffery, Scott Underwood, A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization, in the Proceedings of 5th International Workshop on Algorithmic and Automatic Debugging AADEBUG 2003, Ghent, Belgium, September 8-10, 2003, pp. 41-54  (also on the CoRR web site at  http://arxiv.org/abs/cs/0310025)
  17. C.Jeffery, M.Auguston, S.Underwood, Towards Fully Automatic Execution Monitoring, in Proceedings of Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, Oct.  2002, Revised Papers (Editors:  Martin Wirsing, Alexander Knapp, Simonetta Balsamo), Lecture Notes in Computer Science, Springer Verlag, Vol. 2941, March 2004, pp. 204 - 218
  18. Mikhail Auguston, Mark Trakhtenbrot, Run Time Monitoring of Reactive System Models, in Proceedings of Second International Workshop on Dynamic Analysis WODA 2004, the 26th International Conference on Software Engineering ICSE 2004, Edinburgh, Scotland, 25 May 2004, pp. 68-75 http://www.cs.virginia.edu/woda2004/proceedings.pdf