StonyCam swMATH ID: 2004 Software Authors: Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. Description: StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues. Based on the theory of hybrid automata, we aim at providing suitable tools to be used in devising strategies for the pharmacological or other forms of treatment of cardiac electrical disturbances Homepage: http://www.cs.sunysb.edu/~grosu/ugo65fest08.pdf Related Software: Uppaal; IF-2.0; Kronos Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2008 all top 5 Cited by 7 Authors 3 Bartocci, Ezio 3 Corradini, Flavio 3 Merelli, Emanuela 2 Tesei, Luca 1 Grosu, Radu 1 Riganelli, Oliviero 1 Smolka, Scott A. Cited in 1 Serial 1 Theoretical Computer Science Cited in 2 Fields 2 Computer science (68-XX) 2 Biology and other natural sciences (92-XX) Citations by Year