Recent Publications :

• E. Bartocci, F. Corradini, M.R. Di Berardini, E. Entcheva, R. Grosu and S.A. Smolka.  Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata.  In Print. 


• E. Bartocci, F. Corradini, E. Entcheva, R. Grosu and S.A. Smolka.  CellExcite: An Efficient Simulation Environment for Excitable Cells.  BMC Bioinformatics, vol. 9(Suppl 2), pp. 1--13, March, 2008.  Abstract  Full paper.


• P. Ye, E. Entcheva, S.A. Smolka and R. Grosu.  A Cycle-Linear Hybrid-Automata Model for Excitable Cells.  IET Systems Biology (SYB), vol. 2(1), pp. 24-32, January, 2008.  Abstract  Full paper.


• E. Bartocci, F. Corradini, R. Grosu, E. Merelli, O. Riganelli and S.A. Smolka. StonyCam: a Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.  To appear in Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, LNCS, 2008.  Abstract,  Full paper


• P. Ye, E. Entcheva, S.A. Smolka and R. Grosu.  Symbolic Analysis of the Neuron.   To appear in Proc. of ICBBE'08, the 2nd International Conference on Bioinformatics and Biomedical Engineering, Shanghai, China, May, 2008, IEEE.  Abstract.  Full paper


• R. Grosu, E. Bartocci, F. Corradini, E. Entcheva, S.A. Smolka and A. Wasilewska.  Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.   In Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008, pp. 229-243, Springer, LNCS 4981.  Abstract.  Full paper


• E. Bartocci, F. Corradini, M. R. Di Berardini, E. Entcheva, R. Grosu, and S.A. Smolka. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. In the Proc. of FBTC'07 From Biology to Concurrency and Back International Workshop co-sited with CONCUR conference. pp. To appear., Lisbon, Portugal, September, 2007. (Abstract, Full paper)


• R. Grosu, S. Mitra, P. Ye, E. Entcheva, IV Ramakrishnan and S.A. Smolka. Learning Cycle-Linear Hybrid Automata for Excitable Cells. In Proc. of HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control, pp. 245-258, Springer, LNCS 4416, Pisa, Italy, April, 2007. (Abstract, Full paper)


• P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu. A Cycle-Linear Approach to Modeling Action Potentials. In Proc. of EMBC'06, the IEEE Int. Conf. of the Engineering in Medicine and Biology Society, NY, USA, 2006. (Abstract, Full paper)


• P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu. Hybrid Automata as a Unifying Framework for Modeling Cardiac Cells. In Proc. of EMBC'06, the IEEE Int. Conf. of the Engineering in Medicine and Biology Society, NY, USA, 2006. (Abstract, Full paper)


• M.R. True, E. Entcheva, S.A. Smolka, P. Ye and R. Grosu. Efficient Event-Driven Simulation of Excitable Hybrid Automata. In Proc. of EMBC'06, the IEEE Int. Conf. of the Engineering in Medicine and Biology Society, NY, USA, 2006. (Abstract, Full paper)


• P. Ye, E. Entcheva, R. Grosu and S.A. Smolka. Efficient Modeling of Excitable Cells using Hybrid Automata. In Proc. of CMSB'05, Computational Methods in Systems Biology Workshop, April 2005, Edinburgh, UK. (Abstract, Full paper)

Recent Talks :

• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
  Presentation by R. Grosu, HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, USA, April, 2008.


• Modeling Excitable Cells with Hybrid Automata
  Presentation by R. Grosu, Center for Information and Systems Engineering Seminar, Boston University, March, 2008


• Learning Cycle Linear Hybrid Automata
  Presentation by S. Mitra, HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control, Pisa, Italy, April, 2007.


• Efficient Modeling of Excitable Cells using Hybrid Automata (Extended Version)
  Presentation by R. Grosu, IFIP WG 2.2 Meeting, September 2005, Skagen, Denmark.


• Efficient Event-Driven Simulation of Excitable Hybrid Automata
  Presentation by M. True and P. Ye, EMBC'06, NY, USA, 2006