Anna Philippou

77 papers A* 1A 4B 15C 10Misc 1Journal 26Unranked 16
YearRankTypeTitle / Venue / Authors
2025 B conf
Privacy-Enhanced Software Design: Purpose-Aware UML Diagrams.
PROFES
Evangelia Vanezi, Georgia M. Kapitsaki, Anna Philippou
2024 J jnl
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.
Sci. Comput. Program.
Ferruccio Damiani, David M. Eyers, Anna Philippou
2024 C conf
What's Your Purpose? An Approach to Incorporating GDPR Purposes into Requirements Analysis.
ICISSP
Evangelia Vanezi, Georgia M. Kapitsaki, Anna Philippou
2023 J jnl
Formal Translation from Reversing Petri Nets to Coloured Petri Nets.
CoRR
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
2022 J jnl
A collective interpretation semantics for reversing Petri nets.
Theor. Comput. Sci.
Anna Philippou, Kyriaki Psara
2022 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
FORTE
Mohammad Reza Mousavi, Anna Philippou
2022 C conf
Formal Translation from Reversing Petri Nets to Coloured Petri Nets.
RC
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
2022 J jnl
Reversible computation in nets with bonds.
J. Log. Algebraic Methods Program.
Anna Philippou, Kyriaki Psara
2022 — conf
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation.
EXPRESS/SOS
Anna Philippou, Kyriaki Psara
2021 J jnl
The Price of Defense.
Algorithmica
Marios Mavronicolas, Loizos Michael, Vicky Papadopoulou Lesta, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis
2020 B conf
DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes.
RCIS
Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou, George A. Papadopoulos
2020 C conf
Encoding Reversing Petri Nets in Answer Set Programming.
RC
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara
2020 — ch.
Reversibility in Chemical Reactions.
Selected Results of the COST Action IC1405
Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski
2020 J jnl
Reversible Computation in Cyclic Petri Nets.
CoRR
Anna Philippou, Kyriaki Psara
2020 J jnl
Towards fault adaptive routing in metasurface controller networks.
J. Syst. Archit.
Dimitrios Kouzapas, Constantinos Skitsas, Taqwa Saeed, Vassos Soteriou, Marios Lestas, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
2019 B conf
A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR.
ENASE
Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou
2019 C conf
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper.
RC
Anna Philippou, Kyriaki Psara, Harun Siljak
2019 J jnl
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.
CoRR
Anna Philippou, Kyriaki Psara, Harun Siljak
2019 J jnl
Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets.
IEEE Wirel. Commun. Lett.
Harun Siljak, Kyriaki Psara, Anna Philippou
2019 J jnl
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets.
CoRR
Harun Siljak, Kyriaki Psara, Anna Philippou
2019 B conf
GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study.
RCIS
Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Theodora Costi, Alexandros Yeratziotis, Christos Mettouris, Anna Philippou, George A. Papadopoulos
2019 — conf
Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models.
ENASE (Selected Papers)
Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Anna Philippou
2018 — conf
Fault Adaptive Routing in Metasurface Controller Networks.
NoCArc@MICRO
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
2018 J jnl
Fault Adaptive Routing in Metasurface Controller Networks.
CoRR
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides
2018 C conf
Formal Verification of a Programmable Hypersurface.
FMICS
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
2018 J jnl
Formal Verification of a Programmable Hypersurface.
CoRR
Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides
2018 J jnl
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.
CoRR
Anna Philippou, Mauricio Toro
2018 C conf
Reversible Computation in Petri Nets.
RC
Anna Philippou, Kyriaki Psara
2018 J jnl
Reversible Computation in Petri Nets.
CoRR
Anna Philippou, Kyriaki Psara
2018 — conf
Reversing Computations Modelled by Coloured Petri Nets.
ATAED@Petri Nets/ACSD
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
2017 J jnl
Privacy by typing in the π-calculus.
CoRR
Dimitrios Kouzapas, Anna Philippou
2017 J jnl
Privacy by typing in the π-calculus.
Log. Methods Comput. Sci.
Dimitrios Kouzapas, Anna Philippou
2016 B ed.
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM
John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou
2015 — conf
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models.
DCM
Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.
2015 — conf
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets.
HCI (22)
Chrysovalandis Agathangelou, Chryssis Georgiou, Ileana Papailiou, Anna Philippou, Loucas Pouis, Georgios Tertytchny, Despina Vakana
2015 C conf
Type Checking Privacy Policies in the π-calculus.
FORTE
Dimitrios Kouzapas, Anna Philippou
2015 — conf
Type Checking Purpose-Based Privacy Policies in the π-Calculus.
WS-FM
Eleni Kokkinofta, Anna Philippou
2014 C conf
Synchronous Parallel Composition in a Process Calculus for Ecological Models.
ICTAC
Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis
2013 — conf
A Typing System for Privacy.
SEFM Workshops
Dimitrios Kouzapas, Anna Philippou
2013 J jnl
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009.
Int. J. Softw. Tools Technol. Transf.
Stefan Kowalewski, Anna Philippou, Jörg Brauer
2013 — conf
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.
SEFM Workshops
Anna Philippou, Mauricio Toro
2013 J jnl
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.
Sci. Ann. Comput. Sci.
Anna Philippou, Mauricio Toro, Margarita Antonaki
2012 — conf
A Process Calculus for Spatially-explicit Ecological Models
MeCBIC
Margarita Antonaki, Anna Philippou
2012 J jnl
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.
Theor. Comput. Sci.
Anna Philippou, Insup Lee, Oleg Sokolsky
2011 — conf
A Process Calculus for Dynamic Networks.
FMOODS/FORTE
Dimitrios Kouzapas, Anna Philippou
2010 — conf
A Process Algebraic Framework for Modeling Resource Demand and Supply.
FORMATS
Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
2009 J jnl
Selfish Routing in the Presence of Network Uncertainty.
Parallel Process. Lett.
Chryssis Georgiou, Theophanis Pavlides, Anna Philippou
2009 A ed.
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
TACAS
Stefan Kowalewski, Anna Philippou
2008 J jnl
A Network Game with Attackers and a Defender.
Algorithmica
Marios Mavronicolas, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis
2008 J jnl
A graph-theoretic network security game.
Int. J. Auton. Adapt. Commun. Syst.
Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
2008 B conf
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.
NCA
Marina Gelastou, Chryssis Georgiou, Anna Philippou
2007 — ch.
Process-Algebraic Analysis of Timing and Schedulability Properties.
Handbook of Real-Time and Embedded Systems
Anna Philippou, Oleg Sokolsky
2007 J jnl
Resources in process algebra.
J. Log. Algebraic Methods Program.
Insup Lee, Anna Philippou, Oleg Sokolsky
2006 A conf
Network uncertainty in selfish routing.
IPDPS
Chryssis Georgiou, Theophanis Pavlides, Anna Philippou
2006 — conf
The Power of the Defender.
ICDCS Workshops
Marina Gelastou, Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
2006 Misc conf
The Price of Defense and Fractional Matchings.
ICDCN
Marios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis
2006 B conf
The Price of Defense.
MFCS
Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
2006 B conf
Verification Techniques for Distributed Algorithms.
OPODIS
Anna Philippou, George Michael
2005 — conf
A Family of Resource-Bound Real-Time Process Algebras.
APC 25
Insup Lee, Anna Philippou, Oleg Sokolsky
2005 — conf
A Graph-Theoretic Network Security Game.
WINE
Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
2005 B conf
Network Game with Attacker and Protector Entities.
ISAAC
Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis
2004 — ed.
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
ISoLA (Preliminary proceedings)
Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß
2003 A conf
Modeling and Analysis of Power-Aware Systems.
TACAS
Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
2002 — conf
A General Resource Framework for Real-Time Systems.
RISSEF
Insup Lee, Anna Philippou, Oleg Sokolsky
2001 C conf
A Family of Resource-Bound Real-Time Process Algebras.
FORTE
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
2001 J jnl
A Process-Calculus Analysis of Concurrent Operations on B-Trees.
J. Comput. Syst. Sci.
Anna Philippou, David Walker
2001 J jnl
Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett.
Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
2000 B conf
Weak Bisimulation for Probabilistic Systems.
CONCUR
Anna Philippou, Insup Lee, Oleg Sokolsky
1998 J jnl
On Transformations of Concurrent-Object Programs.
Theor. Comput. Sci.
Anna Philippou, David Walker
1998 B conf
Praobabilistic Resource Failure in Real-Time Process Algebra.
CONCUR
Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
1998 A conf
Symbolic Schedulability Analysis of Real-Time Systems.
RTSS
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
1997 B conf
A Rigorous Analysis of Concurrent Operations on B-Trees.
CONCUR
Anna Philippou, David Walker
1997 A* conf
On Confluence in the pi-Calculus.
ICALP
Anna Philippou, David Walker
1996 B conf
On Transformations of Concurrent Object Programs.
CONCUR
Anna Philippou, David Walker
1996 — —
Reasoning about systems with evolving structure.
Anna Philippou
1996 B conf
Social Confluence in Client-Server Systems.
CSL
Anna Philippou, David Walker
1995 B conf
On Sharing and Determinacy in Concurrent Systems.
CONCUR
Anna Philippou, David Walker