Mike R. True

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu
A Cycle-Linear Approach to Modeling Action Potentials. EMBC (2006)
Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu
Hybrid Automata as a Unifying Framework for Modeling Excitable Cells. EMBC (2006)
Mike R. True, Emilia Entcheva, Scott A. Smolka, Pei Ye, Radu Grosu
Efficient Event-Driven Simulation of Excitable Hybrid Automata. EMBC (2006)