dblp.uni-trier.dewww.uni-trier.de

Anna Philippou

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
27EEStefan 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
26EEMarina Gelastou, Chryssis Georgiou, Anna Philippou: On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. NCA 2008: 195-204
25EEMarios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis: A Network Game with Attackers and a Defender. Algorithmica 51(3): 315-341 (2008)
2007
24EEInsup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. J. Log. Algebr. Program. 72(1): 98-122 (2007)
2006
23EEMarios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis: The Price of Defense and Fractional Matchings. ICDCN 2006: 115-126
22EEMarina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Power of the Defender. ICDCS Workshops 2006: 37
21EEChryssis Georgiou, Theophanis Pavlides, Anna Philippou: Network uncertainty in selfish routing. IPDPS 2006
20EEMarios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: The Price of Defense. MFCS 2006: 717-728
19EEAnna Philippou, George Michael: Verification Techniques for Distributed Algorithms. OPODIS 2006: 172-186
18EEInsup Lee, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006)
2005
17EEMarios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis: Network Game with Attacker and Protector Entities. ISAAC 2005: 288-297
16EEMarios 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
14EEOleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425
2002
13EEInsup 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
11EEAnna 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
9EEAnna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
1998
8EEAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
7EEHee-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-
6EEAnna 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

Coauthor Index

1Jin-Young Choi [7] [12]
2Kyriakos Christou [14]
3Rance Cleaveland [8] [11]
4Marina Gelastou [22] [26]
5Chryssis Georgiou [21] [26]
6Stefan Kowalewski [27]
7Hee-Hwan Kwak [7] [12]
8Insup Lee [7] [8] [9] [11] [12] [13] [14] [18] [24]
9Tiziana Margaria (Tiziana Margaria-Steffen) [15]
10Marios Mavronicolas [16] [17] [20] [22] [23] [25]
11George Michael [19]
12Loizos Michael [20]
13Vicky G. Papadopoulou (Vicky Papadopoulou) [16] [17] [20] [22] [23] [25]
14Theophanis Pavlides [21]
15Giuseppe Persiano (Pino Persiano) [23]
16Manfred Reitenspieß [15]
17Scott A. Smolka [8] [11]
18Oleg Sokolsky [7] [8] [9] [11] [12] [13] [14] [18] [24]
19Paul G. Spirakis [16] [17] [20] [22] [23] [25]
20Bernhard Steffen [15]
21David Walker [1] [2] [3] [4] [5] [6] [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)