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, 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

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)