- 2 Summary of Research (Long) The primary focus of my research is to develop formal methods and tools which support the
- And/Or Hierarchies and Round Abstraction Department of Computer and Information Science
- Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
- , , 147 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Efficient Reachability Analysis of Hierarchical Reactive Machines
- A Modular Visual Model for Hybrid Systems Radu Grosu, Thomas Stauner and Manfred Broy
- Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
- Formal Analysis of Abnormal Excitation in Cardiac Tissue
- 1 Research Summary The primary focus of my research is to develop formal methods and tools which support the
- Efficient Event-Driven Simulation of Excitable Hybrid Automata M.R. True, E. Entcheva, S.A. Smolka, P. Ye and R. Grosu
- The Cayley-Hamilton Theorem for Noncommutative Semirings
- Learning Cycle-Linear Hybrid Automata for Excitable Cells
- Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
- Software Monitoring with Bounded Overhead Sean Callanan Daniel J. Dean Michael Gorbovitski Radu Grosu Justin Seyster
- On the Energy Consumption and Performance of Systems Software
- Model Repair for Probabilistic Systems Ezio Bartocci1
- Finite Automata As Time-Inv Linear Systems Observability, Reachability and More
- Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
- Power Optimization in Fault-Tolerant MANETs Oliviero Riganelli
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
- A Cycle-Linear Approach to Modeling Action Potentials P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu
- Hybrid Automata as a Unifying Framework for Modeling Excitable P. Ye, E. Entcheva, S.A. Smolka, M.R. True and R. Grosu
- Automated Software Engineering Using Concurrent Class Machines Radu Grosu Yanhong A. Liu Scott Smolka Scott D. Stoller Jingyu Yan
- Hybrid Sequence Charts Radu Grosu, Ingolf Kruger and Thomas Stauner
- Focusing on Mobility Klaus Bergner, Radu Grosu, Andreas Rausch,
- Compositional Refinement for Hierarchical Hybrid Rajeev Alur1
- Modular Specification of Hybrid Systems in Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, and Insup Lee
- Requirements Specification of an Automotive System with Hybrid Sequence Charts
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Modular Refinement of Hierarchic Reactive RAJEEV ALUR
- Relating Events, Messages and Methods of Multiple-Threaded Objects
- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
- Deep Random Search for Efficient Model Checking of Timed Automata
- Monte Carlo Methods for Process Radu Grosu and Scott A. Smolka
- WHAT IS BEHIND UML-RT? Institut fur Informatik, TU Munchen, D-80290 Munchen
- Curriculum Vitae1 Department of Computer Science
- 2 Citations Summary My work has an estimated lower bound of 1570 citations. Most of them appear in papers
- Design of Embedded Systems: Formal Models, Validation, and Synthesis
- Efficient Modeling of Excitable Cells Using Hybrid Automata
- 4 Summary of Service This section summarizes my service to SUNY at Stony Brook and to the research community. It
- 3 Summary of Teaching 3.1 Teaching Overview
- Scheduling under Data and Control Dependencies for Heterogeneous Architectures Alex Doboli
- Aspect-Oriented Instrumentation with GCC Justin Seyster1
- High-Confidence Operating Systems Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, and Yanhong A. Liu
- Modeling the Dynamic Behavior of Objects On Events, Messages and Methods
- MOCHA: A Model Checking Tool that Exploits Design Structure L. de Alfaro R. Grosu
- ' () 102$ 345$&1602$87#!" 9 A@B0AC7DE$87#!"@2F GHPIQRTSVUWH%X6G5Ya`bHdceSDfhgDH%XbiQCSqprgVIfhsCQdtufavxwyY%X
- Modelling Excitable Cells Using Cycle-Linear Hybrid Automata Journal: IET Systems Biology
- Compiler-Assisted Software Verification Using Plug-Ins Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, and Erez Zadok
- Compositional Modeling and Refinement for Hierarchical Hybrid Rajeev Alur
- From Cardiac Cells to Genetic Regulatory Networks
- Model Predictive Control for Memory Profiling Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, and Erez Zadok
- Dynamic Path Reduction for Software Model Checking
- Compositional Refinement for Hierarchical Hybrid Systems Rajeev Alur \Lambda , Radu Grosu + , Insup Lee \Lambda , and Oleg Sokolsky \Lambda
- I N S T I T U T F U R I N F O R M A T I K A Formal Foundation for
- Visual Formalisms Revisited R. Grosu, Gh. Stefanescu
- BioMed Central Page 1 of 13
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
- Under consideration for publication in Formal Aspects of Computing Stream-Based Specification of Mobile
- Quantitative Model Checking R. Grosu and S.A. Smolka
- Position Statement Department of Computer Science
- Monte Carlo Analysis of Security Protocols: Needham-Schroeder Revisited
- Theoretical Computer Science 410 (2009) 31493165 Contents lists available at ScienceDirect
- Mixed Relations as Enriched Semiringal Categories1 (School for EECS, University of Pennsylvania,
- Open-Source Model Checking , X. Huang1
- A Model for Mobile Point-to-Point Data-ow Networks without Channel Sharing
- (0)21 435%768#%'4'35%@9$!# ABDC'3DE9F2%@9$!#CHG IPRQSTVUFWXP&YEI#`bacPdeUFf8ghP&YciSEU$pqg$Qrf8stSvuwfbxy`t&Y
- Modular Refinement of Hierarchic Reactive Machines Rajeev Alur Radu Grosu
- 4 Service Summary 4.1 University Service
- Summary of Research The primary focus of my research is to develop formal methods and tools which support the
- Automated Refinement Checking for Asynchronous Processes
- Speci cation of Dynamic Networks Ketil St leny
- 5 Summary of Citations I am ranked 7811 among the top 10,000 most cited authors in Computer Science (among
- Symbolic Analysis of the Neuron Action Potential
- Monte Carlo Model Checking Radu Grosu and Scott A. Smolka
- Shared Variables Interaction Diagrams Rajeev Alur
- Runtime Verification with State Estimation Scott D. Stoller1
- Curvature Analysis of Cardiac Excitation Wavefronts , E. Bartocci1,2
- Toward Real-time Simulation of Cardiac Dynamics Ezio Bartocci
- Proof of your article (# ADV-00034-2011 ) from "Advances in Physiology Education" is available for Dear Sir or Madam