Menu

Publications

Book chapters

  1. D. Kouzapas, T. Khairy, N. Ashraf, I. Papailiou, A. Philippou, A. Pitsillides, K. Michail, and A. Kounoudes, Design of the HyperSurface Networking Aspect. The Internet of Materials, pages 141-198. CRC Press, 2020.
  2. S. Kuhn, B. Aman, G. Ciobanu, A. Philippou, K. Psara, and I. Ulidowski, Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 2020, pages 151-176. Springer, 2020.
  3. A. Philippou and O. Sokolsky, Process-Algebraic Analysis of Timing and Schedulability Properties. Handbook of Real-Time and Embedded Systems, pages 31.1 - 31.20, Chapman and Hall, 2007.

Journal Papers

  1. A. Philippou and K. Psara, Reversible computation in nets with bonds. Journal of Logical and Algebraic Methods in Programming, 124: 100718, 2022.
  2. A. Philippou and K. Psara, A collective interpretation semantics for reversing Petri nets. Theoretical Computer Science, 924: 148-170, 2022.
  3. V. Papadopoulou Lesta, M. Mavronicolas, L. Michael, G. Persiano, A. Philippou, and P. Spirakis, The Price of Defense. Algorithmica, 83(5): 1256-1315, 2021.
  4. D. Kouzapas, C. Skitsas, T. Saeed, V. Soteriou, M. Lestas, A. Philippou, S. Abadal, C. Liaskos, L. Petrou, J. Georgiou, and A. Pitsillides, Towards fault-adaptive routing in metasurface controller networks. Journal of Systems Architecture, 106:101703, 2020.
  5. H. Siljak, K. Psara, A. Philippou, Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets. IEEE Wireless Commununication Letters, 8(5): 1427-1430, 2019
  6. D. Kouzapas and A. Philippou, Type Checking Privacy Policies in the π-calculus. Logical Methods in Computer Science, 13(4):1-42, 2017.
  7. A. Philippou, M. Toro, and M. Antonaki, Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. Scientific Annals of Computer Science, 23(1):119-167, 2013
  8. A. Philippou, I. Lee, and O. Sokolsky, PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theorerical Computer Science, 413(1):2-20, 2012.
  9. C. Georgiou, Th. Pavlides, and A. Philippou, Selfish Routing in the Presence of Network Uncertainty. Parallel Processing Letters, 19(1):141-157, 2009
  10. 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.
  11. M. Mavronicolas, V. Papadopoulou, A. Philippou, and P. Spirakis, A Network Game with Attackers and a Defender. Algorithmica, 51(3):315-341, 2008.
  12. I. Lee, A. Philippou, and O. Sokolsky, Resources in Process Algebra. Journal of Logic and Algebraic Programming, 72(1):98-122, 2007.
  13. I. Lee, A. Philippou, and O. Sokolsky, A Family of Resource-Bound Real-Time Process Algebras. Electronic Notes in Theoretical Computer Science, 162:221-226, 2006.
  14. 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.
  15. 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.
  16. 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.
  17. A. Philippou and D. Walker, On Transformations of Concurrent Object Programs. Theoretical Computer Science, 195(2):259-289, 1998.

Conference Papers

  1. A. Philippou and K. Psara, Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. In V. Castiglioni and C. Mezzina, editors, Proceedings of the Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics (EXPRESS/SOS 2022), EPTCS 368, pages 131-150, 2022.
  2. K. Barylska, A. Gogolinska, L. Mikulski, A. Philippou, M. Piatkowski, and K. Psara, Formal Translation from Reversing Petri Nets to Coloured Petri Nets. In C. Mezzina and K. Podlaski, editors, Proceedings of the 14th International Conference on Reversible Computation (RC 2022), LNCS 13354, pages 172-186, Springer, 2022.
  3. Y. Dimopoulos, E. Kouppari, A. Philippou, and K. Psara, Encoding Reversing Petri Nets in Answer Set Programming. In I. Lanese and M. Rawski, editors, Proceedings of the 12th International Conference on Reversible Computation (RC 2020), LNCS 12227, pages 264-271. Springer, 2020.
  4. E. Vanezi, G. Kapitsaki, D. Kouzapas, A. Philippou, and G. A. Papadopoulos, DialogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. In F. Dalpiaz, J. Zdravkovic, and P. Loucopoulos, editors, Proceedings of the 14th International Conference on Research Challenges in Information Science, (RCIS 2020), LNBIP 385, pages 569-575. Springer, 2020.
  5. E. Vanezi, D. Kouzapas, G. Kapitsaki, Th. Costi, A. Yeratziotis, C. Mettouris, A. Philippou, and G. A. Papadopoulos, GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study. In M. Kolp, J. Vanderdonckt, M. Snoeck, and Y. Wautelet, editors, 13th International Conference on Research Challenges in Information Science (RCIS 2019), pages 1-12. IEEE, 2019.
  6. E. Vanezi, D. Kouzapas, G. Kapitsaki, and A. Philippou, Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. In E. Damiani, G. Spanoudakis, and L. A. Maciaszek, editors, (ENASE 2019 Selected Papers), CCIS 1172, pages 135-162. Springer, 2019.
  7. E. Vanezi, G. Kapitsaki, D. Kouzapas, and A. Philippou, A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. In E. Damiani, G. Spanoudakis, and L. A. Maciaszek, editors, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), pages 68-79. SciTePress, 2019.
  8. A. Philippou, K. Psara, and H. Siljak, Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. In M. Kirkedal Thomsen and M. Soeken, editors, Proceedings of the 11th International Conference on Reversible Computation (RC 2019), LNCS 11479, pages 238-245. Springer, 2019.
  9. P. Kouvaros, D. Kouzapas, A. Philippou, J. Georgiou, L. Petrou, and A. Pitsillides, Formal Verification of a Programmable Hypersurface. In F. Howar and J. Barnat, editors, Proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2018), LNCS 11119, pages 83-97. Springer, 2018.
  10. K. Barylska, A. Gogolinska, L. Mikulski, A. Philippou, M. Piatkowski, and K. Psara, Reversing Computations Modelled by Coloured Petri Nets. In W. van der Aalst and R. Bergenthum, editors, Proceedings of ATAED 2018, CEUR Workshop Proceedings 2115, pages 91-111, 2018.
  11. A. Philippou and K. Psara, Reversible Computation in Petri Nets. In J. Kari and I. Ulidowski, editors, Proceedings of the 10th International Conference on Reversible Computation (RC 2018), LNCS 11106, pages 84-101. Springer, 2018.
  12. T. Saeed, C. Skitsas, D. Kouzapas, M. Lestas, V. Soteriou, A. Philippou, S. Abadal, C. Liaskos, L. Petrou, J. Georgiou, and A. Pitsillides, Fault Adaptive Routing in Metasurface Controller Networks. In S. Monteleone and A. Ganguly, editors, Proceedings of the 11th International Workshop on Network on Chip Architectures (NoCArc 2018)}, pages 1-6. IEEE Computer Society 2018.
  13. M. Toro, A. Philippou, S. Arboleda, M. Puerta, and C. Velez, Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. In C. Munoz and J. Perez, editors, Proceedings of the 11th International Workshop on Developments in Computational Models (DCM 2015), EPTCS 204, pages 79-94, 2015.
  14. E. Kokkinofta and A. Philippou, Type checking purpose-based access control policies in the π-calculus. In Th. Hildebrandt, A. Ravara, J. M. van der Werf, and Matthias Weidlich, editors, Proceedings of WS-FM/BEAT 2015, LNCS 9421, pages 122-142. Springer, 2015.
  15. Kouzapas and A. Philippou, Enforcing privacy policies in π-calculus processes. In S. Graf and M. Viswanathan, editors, Proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2015), LNCS 9039, pages 181-195. Springer, 2015.
  16. C. Agathangelou, C. Georgiou, I. Papailiou, A. Philippou, L. Pouis, G. Tertytchny, and D. Vakana. Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets. In T. Tryfonas and I. Askoxylakis, editors, Proceedings of the 17th International Conference on Human-Computer Interaction (HCI 2015), LNCS 9190, pages 607-618. Springer, 2015.
  17. M. Toro, A. Philippou, C. Kassara, and S. Sfenthourakis, Synchronous Parallel Composition in a Process Calculus for Ecological Models. In G. Ciobanu and D. Mery, editors, Proceedings of the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014), LNCS 8687, pages 424-444. Springer 2014.
  18. A. Philippou and M. Toro-Bermudez, Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. In S. Counsell and M. Nunez, editors, Proceedings of the 2nd International Symposium on Modelling and Knowledge Management for Sustainable Development (MoKMaSD 2013), LNCS 8368, pages 345-361. Springer 2013.
  19. D. Kouzapas and A. Philippou, A Typing Systems for Privacy. In S. Counsell and M. Nunez, editors, Proceedings of the 2nd Second Workshop on Behavioral Types (BEAT 2013), LNCS 8368, pages 56-68. Springer 2013.
  20. M. Antonaki and A. Philippou, A process calculus for spatially-explicit ecological models. In B. Aman and G. Ciobanu, editors, Proceedings of the 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012), pages 11-26, 2012. Extended version in Electronic Proceedings of Theoretical Computer Science, 100:14-28.
  21. D. Kouzapas and A. Philippou, A Process Calculus for Dynamic Networks. In R. Bruni and J. Dingel, editors, Proceedings of the Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, LNCS 6722, pages 213-227. Springer, 2011.
  22. 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.
  23. M. Gelastou, C. Georgiou, and A. Philippou, On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. In Proceedings of the 7th IEEE International Symposium on Network Computing and Applications (NCA 2008), pages 195-204. IEEE Computer Science Press, 2008.
  24. 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.
  25. 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.
  26. 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 Mathematical Foundations of Computer Science (MFCS 2006), LNCS 4162, pages 717-728. Springer, 2006.
  27. 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.
  28. C. Georgiou, Th. Pavlides, and A. Philippou, Network Uncertainty in Selfish Routing. In P. Spirakis and H. J. Siegel, editors, CD-ROM Proceedings of the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006). IEEE Computer Society Press, 2006.
  29. M. Mavronicolas, V. Papadopoulou, A. Philippou, and P. Spirakis, A Graph-Theoretic Network Security Game. In X. Deng and Y. Ye, editors, Proceedings of the 1st International Workshop on Internet and Network Economics (WINE 2005), LNCS 3828, pages 969-978. Springer, 2005.
  30. M. Mavronicolas, V. Papadopoulou, A. Philippou, and P. Spirakis, A Network Game with Attacker and Protector Entities. In X. Deng and D.-Z. Du, editors, Proceedings of the 16th International Symposium on Algorithms and Computation (ISAAC 2005), LNCS 3827, pages 288-297. Springer, 2005.
  31. 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.
  32. 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, 2002.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. A. Philippou and D. Walker, On Confluence in the π-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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.

Edited Volumes

  1. M. Mousavi and A. Philippou, editors, FORTE 2022: Formal Techniques for Distributed Objects, Components, and Systems, Proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, LNCS 13273. Springer, 2022.
  2. J. S. Fitzgerald, S. Gnesi, C. L. Heitmeyer, and A. Philippou, editors, FM 2016: Formal Methods, Proceedings of the 21st International Symposium on Formal Methods. LNCS 9995. Springer, 2016.
  3. S. Kowalewski and A. Philippou, editors, TACAS 2009: 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. LNCS 5505, Springer, 2009.
  4. T. Margaria, B. Steffen, A. Philippou, and M. Reitenspiess, editors, ISOLA 2004: Leveraging Applications of Formal Methods, Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods. Technical Report TR-2004-6, Department of Computer Science, University of Cyprus, 2004.

Journal Special Issues

  1. S. Kowalewski and A. Philippou, guest editors, Selected Papers from TACAS 2009, Special Issue, Logical Methods in Computer Science.
  2. S. Kowalewski and A. Philippou, guest editors, Selected Papers from TACAS 2009, Special Issue, International Journal on Software Tools for Technology Transfer, 15(4).