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 ...