Browsing by Author "Lee, I."
Now showing items 1-10 of 10
-
Article
A Family of Resource-Bound Real-Time Process Algebras
Lee, I.; Philippou, Anna; Sokolsky, O. (2006)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
-
Article
A general resource framework for real-time systems
Lee, I.; Philippou, Anna; Sokolsky, O. (2004)The paper describes a formal framework for designing and reasoning about resource-constrained systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and ...
-
Article
Hiding resources that can fail: An axiomatic perspective
Philippou, Anna; Sokolsky, O.; Lee, I.; Cleaveland, R.; Smolka, S. A. (2001)In earlier work, we presented a process algebra, PACSR, that uses a notion of resource failure to capture probabilistic behavior in reactive systems. PACSR also supports an operator for resource hiding. In this paper, we ...
-
Article
Modeling and analysis of power-aware systems
Sokolsky, O.; Philippou, Anna; Lee, I.; Christou, Kyriakos (2003)The paper describes a formal approach for designing and reasoning about power-constrained, timed systems. The framework is based on process algebra, a formalism that has been developed to describe and analyze communicating ...
-
Article
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
Philippou, Anna; Lee, I.; Sokolsky, O. (2012)As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
-
Article
Probabilistic resource failure in real-time process algebra
Philippou, Anna; Cleaveland, R.; Lee, I.; Smolka, S.; Sokolsky, O. (1998)PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...
-
Article
A process algebraic framework for modeling resource demand and supply
Philippou, Anna; Lee, I.; Sokolsky, O.; Choi, J. -Y (2010)As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...
-
Article
Process algebraic modelling and analysis of power-aware real-time systems
Lee, I.; Philippou, Anna; Sokolsky, O. (2002)A unified formal framework for designing and reasoning about power-constrained, real-time systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse ...
-
Article
Resources in process algebra
Lee, I.; Philippou, Anna; Sokolsky, O. (2007)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
-
Article
Weak bisimulation for probabilistic systems
Philippou, Anna; Lee, I.; Sokolsky, O. (2000)In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabilistic and nondeterministic behavior. By resolving the ...