Anna Philippou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
21
Active years
1995–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ENASE | Modelling GDPR-Based Privacy Requirements with Software Engineering Diagrams: A Systematic Literature Review. | Evangelia Vanezi, Georgia M. Kapitsaki, Anna Philippou |
| 2025 | PROFES | Privacy-Enhanced Software Design: Purpose-Aware UML Diagrams. | Evangelia Vanezi, Georgia M. Kapitsaki, Anna Philippou |
| 2024 | ICISSP | What's Your Purpose? An Approach to Incorporating GDPR Purposes into Requirements Analysis. | Evangelia Vanezi, Georgia M. Kapitsaki, Anna Philippou |
| 2022 | RC | Formal Translation from Reversing Petri Nets to Coloured Petri Nets. | Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara |
| 2020 | RC | Encoding Reversing Petri Nets in Answer Set Programming. | Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara |
| 2020 | RCIS | DilogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes. | Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou, George A. Papadopoulos |
| 2019 | ENASE | A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. | Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou |
| 2019 | ENASE | Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models. | Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Anna Philippou |
| 2019 | RC | Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. | Anna Philippou, Kyriaki Psara, Harun Siljak |
| 2019 | RCIS | GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study. | Evangelia Vanezi, Dimitrios Kouzapas, Georgia M. Kapitsaki, Theodora Costi, Alexandros Yeratziotis, Christos Mettouris, Anna Philippou, George A. Papadopoulos |
| 2018 | FMICS | Formal Verification of a Programmable Hypersurface. | Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides |
| 2018 | MICRO | Fault Adaptive Routing in Metasurface Controller Networks. | Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas, Marios Lestas, Vassos Soteriou, Anna Philippou, Sergi Abadal, Christos Liaskos, Loukas Petrou, Julius Georgiou, Andreas Pitsillides |
| 2018 | RC | Reversible Computation in Petri Nets. | Anna Philippou, Kyriaki Psara |
| 2015 | FORTE | Type Checking Privacy Policies in the π-calculus. | Dimitrios Kouzapas, Anna Philippou |
| 2015 | HCI | Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets. | Chrysovalandis Agathangelou, Chryssis Georgiou, Ileana Papailiou, Anna Philippou, Loucas Pouis, Georgios Tertytchny, Despina Vakana |
| 2014 | ICTAC | Synchronous Parallel Composition in a Process Calculus for Ecological Models. | Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis |
| 2013 | SEFM | A Typing System for Privacy. | Dimitrios Kouzapas, Anna Philippou |
| 2013 | SEFM | Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. | Anna Philippou, Mauricio Toro |
| 2011 | FORTE | A Process Calculus for Dynamic Networks. | Dimitrios Kouzapas, Anna Philippou |
| 2008 | NCA | On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. | Marina Gelastou, Chryssis Georgiou, Anna Philippou |
| 2006 | ICDCN | The Price of Defense and Fractional Matchings. | Marios Mavronicolas, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis |
| 2006 | MFCS | The Price of Defense. | Marios Mavronicolas, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis |
| 2006 | OPODIS | Verification Techniques for Distributed Algorithms. | Anna Philippou, George Michael |
| 2005 | ISAAC | Network Game with Attacker and Protector Entities. | Marios Mavronicolas, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis |
| 2003 | TACAS | Modeling and Analysis of Power-Aware Systems. | Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou |
| 2001 | FORTE | A Family of Resource-Bound Real-Time Process Algebras. | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
| 2000 | CONCUR | Weak Bisimulation for Probabilistic Systems. | Anna Philippou, Insup Lee, Oleg Sokolsky |
| 1998 | CONCUR | Praobabilistic Resource Failure in Real-Time Process Algebra. | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
| 1998 | RTSS | Symbolic Schedulability Analysis of Real-Time Systems. | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
| 1997 | CONCUR | A Rigorous Analysis of Concurrent Operations on B-Trees. | Anna Philippou, David Walker |
| 1997 | ICALP | On Confluence in the pi-Calculus. | Anna Philippou, David Walker |
| 1996 | CONCUR | On Transformations of Concurrent Object Programs. | Anna Philippou, David Walker |
| 1996 | CSL | Social Confluence in Client-Server Systems. | Anna Philippou, David Walker |
| 1995 | CONCUR | On Sharing and Determinacy in Concurrent Systems. | Anna Philippou, David Walker |