Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
    • NSA Center of Academic Excellence
  • Education
    • Prospective Students
    • Summer Program Info
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • Internship Program
    • Prospective Students
  • Team
  • Sponsors
  • Contact
  • Opportunities

Breadcrumb

  • Home /
  • Michael Lowry
First name
Michael
Last name
Lowry
Balasubramanian, D. ., Pap, G. ., Nine, H. ., Karsai, G. ., Lowry, M. ., Pasareanu, C. ., & Pressburger, T. . (2011). Rapid property specification and checking for model-based formalisms. In 2011 22nd IEEE International Symposium on Rapid System Prototyping (pp. 121–127). Karlsruhe, Germany: IEEE. http://doi.org/10.1109/RSP.2011.5929985 (Original work published May 2011)
View
Balasubramanian, D. ., Pasareanu, C. S., Whalen, M. W., Karsai, G. ., & Lowry, M. . (2011). Polyglot: Modeling and Analysis for Multiple Statechart Formalisms. In International Symposium on Software Testing and Analysis (ISSTA). Toronto, Canada. (Original work published July 2011)
View
Balasubramanian, D. ., Pap, G. ., Nine, H. ., Karsai, G. ., Lowry, M. ., Pasareanu, C. ., & Pressburger, T. . (2011). Rapid Property Specification and Checking for Model-Based Formalisms. In IEEE International Symposium on Rapid System Prototyping. Karlsruhe, Germany. (Original work published May 2011)
View
Hartsell, C. ., Karsai, G. ., & Lowry, M. . (2017). Timing Analysis of a Middleware-based System. In Proceedings of the 16th Workshop on Adaptive and Reflective Middleware (pp. 5:1–5:6). New York, NY, USA: ACM.
View

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at the Institute
  • Summer Program Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis at vanderbilt dot edu