| 2009 |
|---|
| 27 | EE | Stefan Kowalewski,
Anna Philippou:
Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Springer 2009 |
| 2008 |
|---|
| 26 | EE | Marina Gelastou,
Chryssis Georgiou,
Anna Philippou:
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.
NCA 2008: 195-204 |
| 25 | EE | Marios Mavronicolas,
Vicky Papadopoulou,
Anna Philippou,
Paul G. Spirakis:
A Network Game with Attackers and a Defender.
Algorithmica 51(3): 315-341 (2008) |
| 2007 |
|---|
| 24 | EE | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
Resources in process algebra.
J. Log. Algebr. Program. 72(1): 98-122 (2007) |
| 2006 |
|---|
| 23 | EE | Marios Mavronicolas,
Vicky G. Papadopoulou,
Giuseppe Persiano,
Anna Philippou,
Paul G. Spirakis:
The Price of Defense and Fractional Matchings.
ICDCN 2006: 115-126 |
| 22 | EE | Marina Gelastou,
Marios Mavronicolas,
Vicky G. Papadopoulou,
Anna Philippou,
Paul G. Spirakis:
The Power of the Defender.
ICDCS Workshops 2006: 37 |
| 21 | EE | Chryssis Georgiou,
Theophanis Pavlides,
Anna Philippou:
Network uncertainty in selfish routing.
IPDPS 2006 |
| 20 | EE | Marios Mavronicolas,
Loizos Michael,
Vicky G. Papadopoulou,
Anna Philippou,
Paul G. Spirakis:
The Price of Defense.
MFCS 2006: 717-728 |
| 19 | EE | Anna Philippou,
George Michael:
Verification Techniques for Distributed Algorithms.
OPODIS 2006: 172-186 |
| 18 | EE | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras.
Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006) |
| 2005 |
|---|
| 17 | EE | Marios Mavronicolas,
Vicky G. Papadopoulou,
Anna Philippou,
Paul G. Spirakis:
Network Game with Attacker and Protector Entities.
ISAAC 2005: 288-297 |
| 16 | EE | Marios Mavronicolas,
Vicky G. Papadopoulou,
Anna Philippou,
Paul G. Spirakis:
A Graph-Theoretic Network Security Game.
WINE 2005: 969-978 |
| 2004 |
|---|
| 15 | | Tiziana Margaria,
Bernhard Steffen,
Anna Philippou,
Manfred Reitenspieß:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
Department of Computer Science, University of Cyprus 2004 |
| 2003 |
|---|
| 14 | EE | Oleg Sokolsky,
Anna Philippou,
Insup Lee,
Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems.
TACAS 2003: 409-425 |
| 2002 |
|---|
| 13 | EE | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
A General Resource Framework for Real-Time Systems.
RISSEF 2002: 234-248 |
| 2001 |
|---|
| 12 | | Insup Lee,
Jin-Young Choi,
Hee-Hwan Kwak,
Anna Philippou,
Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras.
FORTE 2001: 443-458 |
| 11 | EE | Anna Philippou,
Oleg Sokolsky,
Insup Lee,
Rance Cleaveland,
Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett. 80(1): 3-13 (2001) |
| 10 | | Anna Philippou,
David Walker:
A Process-Calculus Analysis of Concurrent Operations on B-Trees.
J. Comput. Syst. Sci. 62(1): 73-122 (2001) |
| 2000 |
|---|
| 9 | EE | Anna Philippou,
Insup Lee,
Oleg Sokolsky:
Weak Bisimulation for Probabilistic Systems.
CONCUR 2000: 334-349 |
| 1998 |
|---|
| 8 | EE | Anna Philippou,
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra.
CONCUR 1998: 389-404 |
| 7 | EE | Hee-Hwan Kwak,
Insup Lee,
Anna Philippou,
Jin-Young Choi,
Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems.
IEEE Real-Time Systems Symposium 1998: 409- |
| 6 | EE | Anna Philippou,
David Walker:
On Transformations of Concurrent-Object Programs.
Theor. Comput. Sci. 195(2): 259-289 (1998) |
| 1997 |
|---|
| 5 | | Anna Philippou,
David Walker:
A Rigorous Analysis of Concurrent Operations on B-Trees.
CONCUR 1997: 361-375 |
| 4 | | Anna Philippou,
David Walker:
On Confluence in the pi-Calculus.
ICALP 1997: 314-324 |
| 1996 |
|---|
| 3 | | Anna Philippou,
David Walker:
On Transformations of Concurrent Object Programs.
CONCUR 1996: 131-146 |
| 2 | | Anna Philippou,
David Walker:
Social Confluence in Client-Server Systems.
CSL 1996: 385-398 |
| 1995 |
|---|
| 1 | | Anna Philippou,
David Walker:
On Sharing and Determinacy in Concurrent Systems.
CONCUR 1995: 456-470 |
