Search For:

Displaying 1-15 out of 15 total
Learning and detecting emergent behavior in networks of cardiac myocytes
Found in: Communications of the ACM
By Anita Wasilewska, Emilia Entcheva, Ezio Bartocci, Flavio Corradini, Radu Grosu, Scott A. Smolka, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci, Flavio Corradini, Radu Grosu, Scott A. Smolka
Issue Date:March 2009
pp. 101-104
We address the problem of specifying and detecting emergent behavior in networks of cardiac myocytes, spiral electric waves in particular, a precursor to atrial and ventricular fibrillation. To solve this problem we: (1) apply discrete mode abstraction to ...
     
Curvature Analysis of Cardiac Excitation Wavefronts
Found in: IEEE/ACM Transactions on Computational Biology and Bioinformatics
By Abhishek Murthy,Ezio Bartocci,Flavio H. Fenton,James Glimm,Richard A. Gray,Elizabeth M. Cherry,Scott A. Smolka,Radu Grosu
Issue Date:March 2013
pp. 323-336
We present the Spiral Classification Algorithm (SCA), a fast and accurate algorithm for classifying electrical spiral waves and their associated breakup in cardiac tissues. The classification performed by SCA is an essential component of the detection and ...
 
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Oliviero Riganelli, Radu Grosu, Samir R. Das, C.R. Ramakrishnan, Scott A. Smolka
Issue Date:December 2008
pp. 362-370
In this paper, we investigate the transmission-power assignment problem for k-connected Mobile Ad hoc NETworks (MANETs), the problem of optimizing the lifetime of a MANET at a given degree k of connectivity by minimizing power consumption. Our proposed sol...
 
Software monitoring with bounded overhead
Found in: Parallel and Distributed Processing Symposium, International
By Sean Callanan, Daniel J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Issue Date:April 2008
pp. 1-8
In this paper, we introduce the new technique of High-Confidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantly achieve high confidence in the observed error rates. HCSM is formally groun...
 
Model Predictive Control for Memory Profiling
Found in: Parallel and Distributed Processing Symposium, International
By Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
Issue Date:March 2007
pp. 324
We make two contributions in the area of memory profiling. The first is a real-time, memory-profiling toolkit we call Memcov that provides both allocation/deallocation and access profiles of a running program. Memcov requires no recompilation or relinking ...
 
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
Found in: Application of Concurrency to System Design, International Conference on
By Radu Grosu, Scott A. Smolka
Issue Date:June 2005
pp. 6-14
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without compromising refinement? Our solution relies on a rather obvious idea, but to ...
 
Automated Software Engineering Using Concurrent Class Machines
Found in: Automated Software Engineering, International Conference on
By Radu Grosu, Yanhong A. Liu, Scott Smolka, Scott D. Stoller, Jingyu Yan
Issue Date:November 2001
pp. 297
Concurrent Class Machines are a novel state-machine model that directly captures a variety of object-oriented concepts, including classes and inheritance, objects and object creation, methods, method invocation and exceptions, multithreading and abstract c...
 
Shared Variables Interaction Diagrams
Found in: Automated Software Engineering, International Conference on
By Rajeev Alur, Radu Grosu
Issue Date:November 2001
pp. 281
Scenario-based specifications offer an intuitive and visual way of describing design requirements of distributed software systems. For the communication paradigm based on messages, message sequence charts (MSC) offer a standardized and formal notation amen...
 
Hybrid Sequence Charts
Found in: Object-Oriented Real-Time Distributed Computing, IEEE International Symposium on
By Radu Grosu, Ingolf Krüger, Thomas Stauner
Issue Date:March 2000
pp. 104
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC syntax to the application domain of hybrid systems. The semantics of HySCs is diff...
 
Requirements Specification of an Automotive System with Hybrid Sequence Charts
Found in: Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on
By Radu Grosu, Ingolf Krüger, Thomas Stauner
Issue Date:November 1999
pp. 149
In this position statement we outline the key ideas behind Hybrid Sequence Charts (HySCs) along an example system taken from the automotive industry. HySCs are a visual description technique for communication in hybrid systems inspired by the well-known Me...
 
Focusing on Mobility
Found in: Hawaii International Conference on System Sciences
By Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
Issue Date:January 1999
pp. 8030
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. The main contribution of the paper is to identify and define the fundamental concepts of mobile systems by providing a precise, m...
   
Curvature Analysis of Cardiac Excitation Wavefronts
Found in: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
By Abhishek Murthy, Elizabeth M. Cherry, Ezio Bartocci, Flavio H. Fenton, James Glimm, Radu Grosu, Richard A. Gray, Scott A. Smolka
Issue Date:March 2013
pp. 323-336
We present the Spiral Classification Algorithm (SCA), a fast and accurate algorithm for classifying electrical spiral waves and their associated breakup in cardiac tissues. The classification performed by SCA is an essential component of the detection and ...
     
On the energy consumption and performance of systems software
Found in: Proceedings of the 4th Annual International Conference on Systems and Storage (SYSTOR '11)
By Erez Zadok, Priya Sehgal, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Zhichao Li
Issue Date:May 2011
pp. 1-12
Models of energy consumption and performance are necessary to understand and identify system behavior, prior to designing advanced controls that can balance out performance and energy use. This paper considers the energy consumption and performance of serv...
     
High-confidence operating systems
Found in: Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC (EW10)
By Erez Zadok, Radu Grosu, Rance Cleaveland, Scott A. Smolka, Yanhong A. Liu
Issue Date:July 2002
pp. 205-208
Operating systems (OSs) are among the most sophisticated software systems in widespread use, and among the most expensive and time-consuming to develop and maintain. OS software must also be robust and dependable, since OS failures can result in system cra...
     
Modular refinement of hierarchic reactive machines
Found in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '00)
By Radu Grosu, Rajeev Alur
Issue Date:January 2000
pp. 390-402
Scalable formal analysis of reactive programs demands integration of modular reasoning techniques with existing analysis tools. Principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural h...
     
 1