Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Projects
    • Active Projects
    • Archived Projects
  • Tools
  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Careers
  • Internships
  • Calendar
  • Proposal Questionnaire

Home

ISIS Publications

  • List
  • Filter
Export 2 results:
  • Tagged
  • XML
  • BibTex
Sort by: [ Author (Desc)] Title Type Year
Filters: Author is Michael W. Whalen  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
Balasubramanian, D., C. S. Pasareanu, J. Biatek, T. Pressburger, G. Karsai, M. R. Lowry, and M. W. Whalen, "Integrating Statechart Components in Polyglot", NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012. Abstract
  • Tagged
  • XML
  • BibTex
  • Google Scholar
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry, "Polyglot: Modeling and Analysis for Multiple Statechart Formalisms", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011. Abstract
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: ISSTA2011.pdf (1.53 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering