] Filters: Author is Michael Lowry [Clear All Filters]
"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)
"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)
"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.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering