Mike R. True

According to our database, Mike R. True authored at least 4 papers in 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Second Workshop on Model Based Testing, 2006

Hybrid Automata as a Unifying Framework for Modeling Excitable Cells.

Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

A Cycle-Linear Approach to Modeling Action Potentials.

Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Efficient Event-Driven Simulation of Excitable Hybrid Automata.

Mike R. True, Emilia Entcheva, Scott A. Smolka, Pei Ye, Radu Grosu

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006