ISIS Publications | Institute for Software Integrated Systems

ISIS Publications

List
Filter

Export 2 results:

Sort by: [ Author

] 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

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