Computational Modeling and Analysis for Complex Systems

CMACS Mid-Term Site Visit Review

Carnegie Mellon University, November 3-4, 2011

Posters Session

Using Theorem Provers to Guarantee Closed-Loop System Properties. Nikos Arechiga

Combination of Algebraic and SMT-based-logical Abstract Interpretations. Jinjie Chen

Analysis-aware Design of Embedded Systems Software. Mihai Florian

Delta-Complete Methods for Nonlinear Hybrid Systems. Sicun Gao

Model Checking and Pancreatic Cancer. Haijun Gong

Efficient Simulation of Cellular Migration. Terri Grosso

May and Must Abstractions for Markov Decision Processes. David Henriques

Learning Temporal Properties over Data Streams. Samuel Huang

Towers of Abstraction for Insightful Analysis of Cardiac Models. Md Ariful Islam

Inferring Universally Quantified Invariants for Dynamic Languages. William Klieber

Assume-Guarantee Abstraction Refinement for Probabilistic Systems. Anvesh Komuravelli

Verifying Model-level Properties by Abstracting C Programs. Soonho Kong

Doubly Penalized Logistic Regression For Genomewide Association Studies With Linearly Structured Genetic Networks. Xia Li

Applications of Compositional and Distributed Verification to Automotive Challenge Problems. Sarah M. Loos

Modeling and Analysis of T cell differentiation. Natasa Miskov-Zivanov

Curvature Analysis of Cardiac Excitation Wavefronts. Abhishek Murthy

Compositional and Distributed Verification of Distributed Hybrid Systems. David Renshaw

Using “concolic” testing to find bugs in Python code. Samir Sapra

Construction and Analysis of A Multicellular Model of the Pancreatic Cancer Microenvironment. Qinsi Wang

Verification of Analog Circuit Designs via Statistical Model Checking. Ying-Chih Wang

Cancer Hallmark Automata. Andreas Witzel

Kinetic Data Structure in Cell Movement Simulation. Kai Zhao

Statistical Model Checking for Rare Events. Paolo Zuliani