![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Anna Philippou
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]Ferruccio Damiani, David M. Eyers, Anna Philippou:
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. Sci. Comput. Program. 235: 103096 (2024) - [c43]Evangelia Vanezi, Georgia M. Kapitsaki, Anna Philippou:
What's Your Purpose? An Approach to Incorporating GDPR Purposes into Requirements Analysis. ICISSP 2024: 907-914 - 2023
- [i9]Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. CoRR abs/2311.00629 (2023) - 2022
- [j16]Anna Philippou
, Kyriaki Psara
:
Reversible computation in nets with bonds. J. Log. Algebraic Methods Program. 124: 100718 (2022) - [j15]Anna Philippou
, Kyriaki Psara:
A collective interpretation semantics for reversing Petri nets. Theor. Comput. Sci. 924: 148-170 (2022) - [c42]Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. RC 2022: 172-186 - [c41]Anna Philippou, Kyriaki Psara:
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation. EXPRESS/SOS 2022: 131-150 - [e4]Mohammad Reza Mousavi
, Anna Philippou:
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. Lecture Notes in Computer Science 13273, Springer 2022, ISBN 978-3-031-08678-6 [contents] - 2021
- [j14]Marios Mavronicolas
, Loizos Michael, Vicky Papadopoulou Lesta
, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis:
The Price of Defense. Algorithmica 83(5): 1256-1315 (2021) - 2020
- [j13]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: 101703 (2020) - [c40]Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara:
Encoding Reversing Petri Nets in Answer Set Programming. RC 2020: 264-271 - [c39]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: 569-575 - [p1]Stefan Kuhn
, Bogdan Aman
, Gabriel Ciobanu
, Anna Philippou
, Kyriaki Psara
, Irek Ulidowski
:
Reversibility in Chemical Reactions. Selected Results of the COST Action IC1405 2020: 151-176 - [i8]Anna Philippou, Kyriaki Psara:
Reversible Computation in Cyclic Petri Nets. CoRR abs/2010.04000 (2020)
2010 – 2019
- 2019
- [j12]Harun Siljak
, Kyriaki Psara, Anna Philippou:
Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets. IEEE Wirel. Commun. Lett. 8(5): 1427-1430 (2019) - [c38]Evangelia Vanezi, Georgia M. Kapitsaki, Dimitrios Kouzapas, Anna Philippou:
A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR. ENASE 2019: 68-79 - [c37]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: 135-162 - [c36]Anna Philippou, Kyriaki Psara, Harun Siljak
:
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper. RC 2019: 238-245 - [c35]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: 1-12 - [i7]Harun Siljak, Kyriaki Psara, Anna Philippou:
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets. CoRR abs/1905.11932 (2019) - [i6]Anna Philippou, Kyriaki Psara, Harun Siljak:
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications. CoRR abs/1905.11958 (2019) - 2018
- [c34]Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Reversing Computations Modelled by Coloured Petri Nets. ATAED@Petri Nets/ACSD 2018: 91-111 - [c33]Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou
, Andreas Pitsillides:
Formal Verification of a Programmable Hypersurface. FMICS 2018: 83-97 - [c32]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: 1-6 - [c31]Anna Philippou, Kyriaki Psara:
Reversible Computation in Petri Nets. RC 2018: 84-101 - [i5]Anna Philippou, Mauricio Toro:
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. CoRR abs/1803.01366 (2018) - [i4]Anna Philippou, Kyriaki Psara:
Reversible Computation in Petri Nets. CoRR abs/1804.04607 (2018) - [i3]Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides:
Formal Verification of a Programmable Hypersurface. CoRR abs/1807.09339 (2018) - [i2]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 abs/1810.06329 (2018) - 2017
- [j11]Dimitrios Kouzapas, Anna Philippou:
Privacy by typing in the π-calculus. Log. Methods Comput. Sci. 13(4) (2017) - [i1]Dimitrios Kouzapas, Anna Philippou:
Privacy by typing in the π-calculus. CoRR abs/1710.06494 (2017) - 2016
- [e3]John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou:
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Lecture Notes in Computer Science 9995, 2016, ISBN 978-3-319-48988-9 [contents] - 2015
- [c30]Dimitrios Kouzapas, Anna Philippou:
Type Checking Privacy Policies in the π-calculus. FORTE 2015: 181-195 - [c29]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: 607-618 - [c28]Eleni Kokkinofta, Anna Philippou:
Type Checking Purpose-Based Privacy Policies in the π-Calculus. WS-FM 2015: 122-142 - [c27]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: 79-94 - 2014
- [c26]Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis:
Synchronous Parallel Composition in a Process Calculus for Ecological Models. ICTAC 2014: 424-441 - 2013
- [j10]Anna Philippou, Mauricio Toro
, Margarita Antonaki:
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models. Sci. Ann. Comput. Sci. 23(1): 119-167 (2013) - [j9]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): 287-289 (2013) - [c25]Dimitrios Kouzapas, Anna Philippou:
A Typing System for Privacy. SEFM Workshops 2013: 56-68 - [c24]Anna Philippou, Mauricio Toro
:
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models. SEFM Workshops 2013: 345-361 - 2012
- [j8]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): 2-20 (2012) - [c23]Margarita Antonaki, Anna Philippou:
A Process Calculus for Spatially-explicit Ecological Models. MeCBIC 2012: 14-28 - 2011
- [c22]Dimitrios Kouzapas, Anna Philippou:
A Process Calculus for Dynamic Networks. FMOODS/FORTE 2011: 213-227 - 2010
- [c21]Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
:
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197
2000 – 2009
- 2009
- [j7]Chryssis Georgiou
, Theophanis Pavlides, Anna Philippou:
Selfish Routing in the Presence of Network Uncertainty. Parallel Process. Lett. 19(1): 141-157 (2009) - [e2]Stefan Kowalewski, Anna Philippou:
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. Lecture Notes in Computer Science 5505, Springer 2009, ISBN 978-3-642-00767-5 [contents] - 2008
- [j6]Marios Mavronicolas
, Vicky Papadopoulou, Anna Philippou, Paul G. Spirakis:
A Network Game with Attackers and a Defender. Algorithmica 51(3): 315-341 (2008) - [j5]Marios Mavronicolas
, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis:
A graph-theoretic network security game. Int. J. Auton. Adapt. Commun. Syst. 1(4): 390-410 (2008) - [c20]Marina Gelastou, Chryssis Georgiou
, Anna Philippou:
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. NCA 2008: 195-204 - 2007
- [j4]Insup Lee, Anna Philippou, Oleg Sokolsky
:
Resources in process algebra. J. Log. Algebraic Methods Program. 72(1): 98-122 (2007) - [r1]Anna Philippou, Oleg Sokolsky:
Process-Algebraic Analysis of Timing and Schedulability Properties. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [c19]Marios Mavronicolas
, Vicky G. Papadopoulou, Giuseppe Persiano, Anna Philippou, Paul G. Spirakis:
The Price of Defense and Fractional Matchings. ICDCN 2006: 115-126 - [c18]Marina Gelastou, Marios Mavronicolas
, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis:
The Power of the Defender. ICDCS Workshops 2006: 37 - [c17]Chryssis Georgiou
, Theophanis Pavlides, Anna Philippou:
Network uncertainty in selfish routing. IPDPS 2006 - [c16]Marios Mavronicolas
, Loizos Michael, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis:
The Price of Defense. MFCS 2006: 717-728 - [c15]Anna Philippou, George Michael:
Verification Techniques for Distributed Algorithms. OPODIS 2006: 172-186 - 2005
- [c14]Marios Mavronicolas
, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis:
Network Game with Attacker and Protector Entities. ISAAC 2005: 288-297 - [c13]Marios Mavronicolas
, Vicky G. Papadopoulou, Anna Philippou, Paul G. Spirakis:
A Graph-Theoretic Network Security Game. WINE 2005: 969-978 - [c12]Insup Lee, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. APC 25 2005: 221-226 - 2004
- [e1]Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Technical Report TR-2004-6, Department of Computer Science, University of Cyprus 2004 [contents] - 2003
- [c11]Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425 - 2002
- [c10]Insup Lee, Anna Philippou, Oleg Sokolsky:
A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248 - 2001
- [j3]Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001) - [j2]Anna Philippou, David Walker:
A Process-Calculus Analysis of Concurrent Operations on B-Trees. J. Comput. Syst. Sci. 62(1): 73-122 (2001) - [c9]Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 - 2000
- [c8]Anna Philippou, Insup Lee, Oleg Sokolsky
:
Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
1990 – 1999
- 1998
- [j1]Anna Philippou, David Walker:
On Transformations of Concurrent-Object Programs. Theor. Comput. Sci. 195(2): 259-289 (1998) - [c7]Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404 - [c6]Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418 - 1997
- [c5]Anna Philippou, David Walker:
A Rigorous Analysis of Concurrent Operations on B-Trees. CONCUR 1997: 361-375 - [c4]Anna Philippou, David Walker:
On Confluence in the pi-Calculus. ICALP 1997: 314-324 - 1996
- [b1]Anna Philippou:
Reasoning about systems with evolving structure. University of Warwick, Coventry, UK, 1996 - [c3]Anna Philippou, David Walker:
On Transformations of Concurrent Object Programs. CONCUR 1996: 131-146 - [c2]Anna Philippou, David Walker:
Social Confluence in Client-Server Systems. CSL 1996: 385-398 - 1995
- [c1]Anna Philippou, David Walker:
On Sharing and Determinacy in Concurrent Systems. CONCUR 1995: 456-470
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-31 18:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint