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
  • Printers
  • akarns

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, 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)
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
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering