Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
Home
ISIS Publications
List
Filter
Export 3 results:
Tagged
XML
BibTex
Sort by:
Author
[
Title
]
Type
Year
Filters:
Author
is
Michael Lowry
[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
P
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
Tagged
XML
BibTex
Google Scholar
Download:
ISSTA2011.pdf
(1.53 MB)
R
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
Tagged
XML
BibTex
Google Scholar
Download:
RSP2011.pdf
(2.08 MB)
T
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.
Tagged
XML
BibTex
Google Scholar