Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Michael Whalen
First name
Michael
Middle name
W.
Last name
Whalen
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., Pasareanu, C. S., Biatek, J., Pressburger, T., Karsai, G., Lowry, M. R., & Whalen, M. W
.
(2012)
.
Integrating Statechart Components in Polyglot
.
NASA Formal Methods
.
Norfolk, VA:
Springer
. (
Original work published
April 2012)
View