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., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger,
"Rapid Property Specification and Checking for Model-Based Formalisms",
IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011.
Abstract
Download: RSP2011.pdf (2.08 MB)
Hartsell, C., G. Karsai, and M. Lowry,
"Timing Analysis of a Middleware-based System",
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, New York, NY, USA, ACM, pp. 5:1–5:6, 2017.