ISIS Publications | Institute for Software Integrated Systems

ISIS Publications

List
Filter

Export 3 results:

Sort by: Author Title [ Type

] Year

Filters: Author is Michael Lowry [Clear All Filters]

Conference Paper

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.