Browsing by Author "Philippou, Anna"
Now showing items 2140 of 58

Conference Object
Network uncertainty in selfish routing
Georgiou, Chryssis; Pavlides, Theophanis; Philippou, Anna (2006)We study the problem of selfish routing in the presence of incomplete network information. Our model consists of a number of users who wish to route their traffic on a network of m parallel links with the objective of ...

Article
On confluence in the πcaleulus
Philippou, Anna; Walker, D. (1997)An account of the basic theory of confluence in the 7rcalculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis ...

Article
On sharing and determinacy in concurrent systems
Philippou, Anna; Walker, D. (1995)The relationship between sharing and determinacy in concurrent systems is studied. Syntactic conditions on programs of a concurrent object language are isolated and it is established, on the basis of two different semantic ...

Conference Object
On the application of formal methods for specifying and verifying distributed protocols
Gelastou, Marina; Georgiou, Chryssis; Philippou, Anna (2008)In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leaderelection protocol. Based on the two experiences we evaluate the approaches and ...

Article
On transformations of concurrent object programs
Philippou, Anna; Walker, D. (1996)Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrent object languages are given. The correctness of the rules is proved using a semantic definition by ...

Article
On transformations of concurrentobject programs
Philippou, Anna; Walker, D. (1998)Transformation rules which increase the scope for concurrent activity within systems prescribed by programs of concurrentobject languages are given. Their correctness is proved on the basis of a semantic definition by ...

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 realtime embedded systems become more complex, resource partitioning is increasingly used to guarantee realtime performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...

Conference Object
The power of the defender
Gelastou, Marina; Mavronicolas, Marios; Lesta, Vicky Papadopoulou; Philippou, Anna; Spirakis, Paul G. (2006)We consider a security problem on a distributed network. We assume a network whose nodes are vulnerable to infection by threats (e.g. viruses), the attackers. A system security software, the defender, is available in the ...

Article
Preface
Kowalewski, S.; Philippou, Anna (2009)

Article
Preface
Fitzgerald, J.; Gnesi, S.; Heitmeyer, C.; Philippou, Anna (2016)

Article
The price of defense
Mavronicolas, Marios; Michael, Loizos; Lesta, Vicky Papadopoulou; Philippou, Anna; Spirakis, Paul G. (2006)We consider a strategic game with two classes of confronting randomized players on a graph G(V, E): v attackers, each choosing vertices and wishing to minimize the probability of being caught, and a defender, who chooses ...

Article
The price of defense and fractional matchings
Mavronicolas, Marios; Lesta, Vicky Papadopoulou; Persiano, Giuseppe; Philippou, Anna; Spirakis, Paul G. (2006)Consider a network vulnerable to security attacks and equipped with defense mechanisms. How much is the loss in the provided security guarantees due to the selfish nature of attacks and defenses? The Price of Defense was ...

Article
Probabilistic resource failure in realtime process algebra
Philippou, Anna; Cleaveland, R.; Lee, I.; Smolka, S.; Sokolsky, O. (1998)PACSR, a probabilistic extension of the realtime 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 realtime embedded systems become more complex, resource partitioning is increasingly used to guarantee realtime performance. Recently, several compositional frameworks of resource partitioning have been proposed using ...

Article
Process algebraic modelling and analysis of poweraware realtime systems
Lee, I.; Philippou, Anna; Sokolsky, O. (2002)A unified formal framework for designing and reasoning about powerconstrained, realtime systems is described. The framework is based on process algebra, a formalism that has been developed to describe and analyse ...

Article
A process calculus for dynamic networks
Kouzapas, D.; Philippou, Anna (2011)In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhooddiscovery ...

Article
Process ordering in a process calculus for spatiallyexplicit ecological models
Philippou, Anna; Toro, Mauricio (2014)In this paper we extend PALPS, a process calculus proposed for the spatiallyexplicit individualbased modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the ...

Article
A processcalculus analysis of concurrent operations on Btrees
Philippou, Anna; Walker, D. (2001)A general theory of interactive systems with changing structure, the πcalculus, is used to study concurrent operations on a variant of the Btree. An improved algorithm for compression of the data structure is given. Some ...

Doctoral Thesis
Reasoning about systems with evolving structure
Philippou, Anna (University of Warwick, 1996)

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 realtime system depends ...