Book Chapters

Journal Papers

  • A. Philippou, I. Lee and O. Sokolsky, "PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling". Theoretical Computer Science (2011), doi:10.1016/j.tcs.2011.08.025.
  • Ch. Georgiou, Th. Pavlides and A. Philippou, "Selfish Routing in the Presence of Network Uncertainty". Parallel Processing Letters, 19(1):141-157, 2009.
  • M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Graph-Theoretic Network Security Game". International Journal of Autonomous and Adaptive Communications Systems, 1(4):390-410, 2008.
  • M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Network Game with Attackers and a Defender". Algorithmica, 51(3):315-341, 2008.
  • I. Lee, A. Philippou and O. Sokolsky, "Resources in Process Algebra". Journal of Logic and Algebraic Programming, 72(1):98-122, 2007.
  • I. Lee, A. Philippou and O. Sokolsky, "A Family of Resource-Bound Real-Time Process Algebras". Electronic Notes in Theoretical Computer Science, 62:221-226, 2006.
  • I. Lee, A. Philippou and O. Sokolsky, "Process algebraic modeling and analysis of power-aware real-time systems". Computing and Control Engineering Journal, 13(4):180-188, 2002.
  • A. Philippou, O. Sokolsky, I. Lee, R. Cleaveland and S. Smolka, "Hiding Resources that Can Fail: An Axiomatic Perspective". Journal of Information Processing Letters, 80(1):3-13, 2001.
  • A. Philippou and D. Walker, "A Process-Calculus Analysis of Concurrent Operations on B-Trees". Journal of Computer and System Sciences, 62(1):73-122, 2001.
  • A. Philippou and D. Walker, "On Transformations of Concurrent Object Programs". Theoretical Computer Science, 195(2):259-289, 1998.

Conference Papers

  • D. Kouzapas and A. Philippou, "A Process Calculus for Dynamic Networks". To appear in the Proceedings of FMOODS & FORTE 2011, 2011. A full version is also available as Technical Report TR-10-01, Department of Computer Science, University of Cyprus.
  • A. Philippou, I. Lee, O. Sokolsky, and J.-Y. Choi, "A Process Algebraic Framework for Modeling Resource Demand and Supply". In K. Chatterjee and T. A. Henzinger, editors, Proceedings of of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), LNCS 6246, pages 183-197. Springer, 2010.
  • M. Gelastou, Ch. Georgiou and A. Philippou, "On the Application of Formal Methods for Specifying and Verifying Distributed Protocols". In Proceedings of of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), pages 195-204. IEEE Computer Science Press, 2008.
  • M. Mavronicolas, V. Papadopoulou, G. Persiano, A. Philippou and P. Spirakis, "The Price of Defense and Fractional Matchings". In S. Chaudhuri, S. Das, H. Paul and S. Tirthapura, editors, Proceedings of the 8th International Conference on Distributed Computing and Networking (ICDCN 2006), LNCS 4308, pages 115-126. Springer, 2006.
  • A. Philippou and G. Michael, "Verification Techniques for Distributed Algorithms". In A. Shvartsman, editor, Proceedings of the 10th International Conference on Principles of Distributed Systems (OPODIS 2006), LNCS 4305, pages 172-186. Springer, 2006.
  • M. Mavronicolas, L. Michael, V. Papadopoulou, A. Philippou and P. Spirakis, "The Price of Defense". In R. Kralovic and P. Urzyczyn, editors, Proceedings of the 31st International Symposium on Mathematicsl Foundations of Computer Science (MFCS 2006), LNCS 4162, pages 717-728. Springer, 2006.
  • M. Gelastou, M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "The Power of the Defender". In D. Grosu and J. Shapiro, editors, CD-ROM Proceedings of the 2nd International Workshop on Internet-Based Computing (IBC 2006). IEEE Computer Science Press, 2006.
  • Ch. Georgiou, Th. Pavlides and A. Philippou, "Network Uncertainty in Selfish Routing". In CD-ROM Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006). IEEE Computer Society Press, 2006.
  • M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Graph-Theoretic Network Security Game". In X. Deng, Y. Ye, editors, Proceedings of the 1st International Workshop on Internet and Network Economics (WINE 2005), LNCS 3828, pages 969-978. Springer, 2005.
  • M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Network Game with Attacker and Protector Entities". In X. Deng, D.-Z. Du, editors, Proceedings of the 16th International Symposium on Algorithms and Computation (ISAAC 2005), LNCS 3827, pages 288-297. Springer, 2005.
  • O. Sokolsky, A. Philippou, I. Lee, and K. Christou, "Modeling and Analysis of Power-Aware Systems". In H. Garavel and J. Hatcliff, editors, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), LNCS 2619, pages 409-425. Springer, 2003.
  • I. Lee, A. Philippou, and O. Sokolsky, "A General Resource Framework for Real-Time Systems". In M. Wirsing, S. Balsamo and A. Knapp, editors, Proceedings of the 9th Monterey Workshop: Radical Innovations of Software and Systems Engineering in the Future (RISSEF 2002), LNCS 2941, pages 258-272. Springer, 2004.
  • I. Lee, J. Choi, H. Kwak, A. Philippou, and O. Sokolsky, "A Family of Resource-Bound Real-time Process Algebras". In M. Kim, B. Chin S. Kang and D. Lee, editors, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), pages 443-458. Kluwer Academic Publishers, 2001.
  • I. Lee, A. Philippou, and O. Sokolsky, "Formal Modeling and Analysis of Power-Aware Real-Time Systems". In I. Bate and S. Liu, editors, Proceedings of the 1st IEEE Workshop on Real-Time Embedded Systems (RTDS 2001), pages 55-62, 2001.
  • A. Philippou, I. Lee and O. Sokolsky, "Weak Bisimulation for Probabilistic Systems". In C. Palamidessi, editor, Proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000), LNCS 1877, pages 334-349. Springer, 2000.
  • H. Kwak, I. Lee, A. Philippou, J. Choi and O. Sokolsky, "Symbolic Schedulability Analysis of Real-time Systems". In K. Lin and R. Gerber, editors, Proceedings of the IEEE 19th Real-Time Systems Symposium (RTSS 1998), pages 409-418. IEEE Computer Society Press, 1998.
  • A. Philippou, R. Cleaveland, I. Lee, S. Smolka and O. Sokolsky, "Probabilistic Resource Failure in Real-Time Process Algebra". In D. Sangiorgi and R. de Simone, editors, Proceedings of the 9th International Conference on Concurrency Theory (CONCUR 1998), LNCS 1466, pages 389-404. Springer, 1998.
  • A. Philippou, R. Cleaveland, I. Lee, S. Smolka and O. Sokolsky, "Specifying Failures and Recoveries in PACSR". In M. Kwiatkowska and M. Huth, editors, Proceedings of the 1st Workshop on Probabilistic Methods in Verification (PROBMIV 1998), pages 153-167, 1998.
  • A. Philippou and D. Walker, "On Confluence in the pi-calculus". In P. Degano, R. Gorrieri and A. Marchetti-Spaccamela, editors, Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP 1997), LNCS 1256, pages 314-324. Springer, 1997.
  • A. Philippou and D. Walker, "A Rigorous Analysis of Concurrent Operations on B-Trees". In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory (CONCUR 1997), LNCS 1243, pages 361-375. Springer, 1997.
  • A. Philippou and D. Walker, "Social Confluence in Client-Server Systems". In D. van Dalen and M. Bezem, editors, Proceedings of the 10th European Conference on Computer Science Logic (CSL 1996), LNCS 1258, pages 385-398. Springer, 1997.
  • A. Philippou and D. Walker, "On Transformations of Concurrent Object Programs". In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR 1996), LNCS 1119, pages 131-146. Springer, 1996.
  • A. Philippou and D. Walker, "On Sharing and Determinacy in Concurrent Systems". In I. Lee and S. Smolka, editors, Proceedings of the 6th International Conference on Concurrency Theory (CONCUR 1995), LNCS 962, pages 190-203. Springer, 1995.

Other Contributions

  • I. Lee, A. Philippou and O. Sokolsky, "A Family of Resource-bound Real-Time Process Algebras". In L. Aceto and A. Gordon, editors, Proceedings of the 2nd Workshop on Algebraic Process Calculi (APC 2005) Technical report NS-05-3, pages 151-154. BRICS Notes Series, 2005. Invited contribution.
  • M. Mavronicolas, V. Papadopoulou, A. Philippou and P. Spirakis, "A Network Game with Attackers and a Defender: A Survey". In CD-ROM Proceedings of the 2nd European Conference on Complex Systems (ECCS 2006) 2006. Poster Presentation.
  • X. Efthmiou and A. Philippou, "A Process Calculus for Spatially-Explicit Ecological Systems". In P. Milazzo and M. de J. Perez Jimenez, editors, Proceedings of the 1st International Workshop on Application of Membrane Computing, Concurrency and Agent-based Modelling in Population Biology (AMCA-POP 2010) pages 84-89. Poster Presentation (on-line version).

Edited Volumes

  • T. Margaria, B. Steffen, A. Philippou and M. Reitenspiess, editors, "Leveraging Applications of Formal Methods", Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004). Department of Computer Science, University of Cyprus, 2004.
  • S. Kowalewski and A. Philippou, editors, "Tools and Algorithms for the Construction and Analysis of Systems", Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), LNCS 5505. Springer, 2009.

Theses

  • "A Design of an Abstract Machine for a Parallel Object-Oriented Language", A. Philippou. M.Sc. Thesis in Computer Science, University of Warwick, UK, September 1993.
  • "Reasoning about Systems with Evolving Structure", A. Philippou. Ph.D. Thesis in Computer Science, University of Warwick, UK, March 1997.