Anna Philippou

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 31

Top Venues

CoRR

SEFM Workshops

RCIS

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. CoRR (2023)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. RC (2022)
Anna Philippou, Kyriaki Psara
A collective interpretation semantics for reversing Petri nets. Theor. Comput. Sci. 924 (2022)
Anna Philippou, Kyriaki Psara
Reversible computation in nets with bonds. J. Log. Algebraic Methods Program. 124 (2022)
Anna Philippou, Kyriaki Psara
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. EXPRESS/SOS (2022)
Marios Mavronicolas, Loizos Michael, Vicky Papadopoulou Lesta, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis
The Price of Defense. Algorithmica 83 (5) (2021)
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara
Encoding Reversing Petri Nets in Answer Set Programming. RC (2020)
Dimitrios Kouzapas, Constantinos Skitsas, Taqwa Saeed, Vassos Soteriou, Marios Lestas, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
Towards fault adaptive routing in metasurface controller networks. J. Syst. Archit. 106 (2020)
Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou, George A. Papadopoulos
DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. RCIS (2020)
Anna Philippou, Kyriaki Psara
Reversible Computation in Cyclic Petri Nets. CoRR (2020)
Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Anna Philippou
Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. ENASE (Selected Papers) (2019)
Harun Siljak, Kyriaki Psara, Anna Philippou
Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets. IEEE Wirel. Commun. Lett. 8 (5) (2019)
Anna Philippou, Kyriaki Psara, Harun Siljak
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. RC (2019)
Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou
A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. ENASE (2019)
Harun Siljak, Kyriaki Psara, Anna Philippou
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets. CoRR (2019)
Anna Philippou, Kyriaki Psara, Harun Siljak
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. CoRR (2019)
Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Theodora Costi, Alexandros Yeratziotis, Christos Mettouris, Anna Philippou, George A. Papadopoulos
GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study. RCIS (2019)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Reversing Computations Modelled by Coloured Petri Nets. ATAED@Petri Nets/ACSD (2018)
Anna Philippou, Kyriaki Psara
Reversible Computation in Petri Nets. RC (2018)
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
Fault Adaptive Routing in Metasurface Controller Networks. NoCArc@MICRO (2018)
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
Fault Adaptive Routing in Metasurface Controller Networks. CoRR (2018)
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
Formal Verification of a Programmable Hypersurface. CoRR (2018)
Anna Philippou, Kyriaki Psara
Reversible Computation in Petri Nets. CoRR (2018)
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
Formal Verification of a Programmable Hypersurface. FMICS (2018)
Anna Philippou, Mauricio Toro
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. CoRR (2018)
Dimitrios Kouzapas, Anna Philippou
Privacy by typing in the π-calculus. Log. Methods Comput. Sci. 13 (4) (2017)
Dimitrios Kouzapas, Anna Philippou
Privacy by typing in the π-calculus. CoRR (2017)
Dimitrios Kouzapas, Anna Philippou
Type Checking Privacy Policies in the π-calculus. FORTE (2015)
Eleni Kokkinofta, Anna Philippou
Type Checking Purpose-Based Privacy Policies in the π-Calculus. WS-FM (2015)
Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. DCM (2015)
Chrysovalandis Agathangelou, Chryssis Georgiou, Ileana Papailiou, Anna Philippou, Loucas Pouis, Georgios Tertytchny, Despina Vakana
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets. HCI (22) (2015)
Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis
Synchronous Parallel Composition in a Process Calculus for Ecological Models. ICTAC (2014)
Anna Philippou, Mauricio Toro, Margarita Antonaki
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. Sci. Ann. Comput. Sci. 23 (1) (2013)
Stefan Kowalewski, Anna Philippou, Jörg Brauer
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Dimitrios Kouzapas, Anna Philippou
A Typing System for Privacy. SEFM Workshops (2013)
Anna Philippou, Mauricio Toro
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. SEFM Workshops (2013)
Anna Philippou, Insup Lee, Oleg Sokolsky
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. 413 (1) (2012)
Margarita Antonaki, Anna Philippou
A Process Calculus for Spatially-explicit Ecological Models MeCBIC (2012)
Dimitrios Kouzapas, Anna Philippou
A Process Calculus for Dynamic Networks. FMOODS/FORTE (2011)
Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS (2010)
Chryssis Georgiou, Theophanis Pavlides, Anna Philippou
Selfish Routing in the Presence of Network Uncertainty. Parallel Process. Lett. 19 (1) (2009)
Marina Gelastou, Chryssis Georgiou, Anna Philippou
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. NCA (2008)
Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
A graph-theoretic network security game. Int. J. Auton. Adapt. Commun. Syst. 1 (4) (2008)
Marios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis
A Network Game with Attackers and a Defender. Algorithmica 51 (3) (2008)
Insup Lee, Anna Philippou, Oleg Sokolsky
Resources in process algebra. J. Log. Algebraic Methods Program. 72 (1) (2007)
Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
The Power of the Defender. ICDCS Workshops (2006)
Marios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis
The Price of Defense and Fractional Matchings. ICDCN (2006)
Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
The Price of Defense. MFCS (2006)
Insup Lee, Anna Philippou, Oleg Sokolsky
A Family of Resource-Bound Real-Time Process Algebras. Electron. Notes Theor. Comput. Sci. 162 (2006)
Anna Philippou, George Michael
Verification Techniques for Distributed Algorithms. OPODIS (2006)
Chryssis Georgiou, Theophanis Pavlides, Anna Philippou
Network uncertainty in selfish routing. IPDPS (2006)
Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
A Graph-Theoretic Network Security Game. WINE (2005)
Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
Network Game with Attacker and Protector Entities. ISAAC (2005)
Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
Modeling and Analysis of Power-Aware Systems. TACAS (2003)
Insup Lee, Anna Philippou, Oleg Sokolsky
A General Resource Framework for Real-Time Systems. RISSEF (2002)
Anna Philippou, David Walker
A Process-Calculus Analysis of Concurrent Operations on B-Trees. J. Comput. Syst. Sci. 62 (1) (2001)
Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80 (1) (2001)
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
A Family of Resource-Bound Real-Time Process Algebras. FORTE (2001)
Anna Philippou, Insup Lee, Oleg Sokolsky
Weak Bisimulation for Probabilistic Systems. CONCUR (2000)
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
Symbolic Schedulability Analysis of Real-Time Systems. RTSS (1998)
Anna Philippou, David Walker
On Transformations of Concurrent-Object Programs. Theor. Comput. Sci. 195 (2) (1998)
Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR (1998)
Anna Philippou, David Walker
On Confluence in the pi-Calculus. ICALP (1997)
Anna Philippou, David Walker
A Rigorous Analysis of Concurrent Operations on B-Trees. CONCUR (1997)
Anna Philippou, David Walker
On Transformations of Concurrent Object Programs. CONCUR (1996)
Anna Philippou, David Walker
Social Confluence in Client-Server Systems. CSL (1996)
Anna Philippou, David Walker
On Sharing and Determinacy in Concurrent Systems. CONCUR (1995)

Anna Philippou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anna Philippou