Efficient Event-Driven Simulation of Excitable Hybrid Automata. - Mike R. True; Emilia Entcheva; Scott A. Smolka; Pei Ye; Radu Grosu (EMBC, 2006)

A Cycle-Linear Approach to Modeling Action Potentials. - Pei Ye; Emilia Entcheva; Scott A. Smolka; Mike R. True; Radu Grosu (EMBC, 2006)

Hybrid Automata as a Unifying Framework for Modeling Excitable Cells. - Pei Ye; Emilia Entcheva; Scott A. Smolka; Mike R. True; Radu Grosu (EMBC, 2006)

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. - Sean Callanan; Radu Grosu; Abhishek Rai; Scott A. Smolka; Mike R. True; Erez Zadok (MBT, 2006)