Anna Philippou
Orcid: 0000-0002-1665-9913
According to our database1,
Anna Philippou
authored at least 63 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.
Sci. Comput. Program., 2024
What's Your Purpose? An Approach to Incorporating GDPR Purposes into Requirements Analysis.
Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024
2022
Theor. Comput. Sci., 2022
Token Multiplicity in Reversing Petri Nets Under the Individual Token Interpretation.
Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022
Proceedings of the Reversible Computation - 14th International Conference, 2022
2021
2020
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
J. Syst. Archit., 2020
Proceedings of the Research Challenges in Information Science, 2020
Proceedings of the Reversible Computation - 12th International Conference, 2020
2019
IEEE Wirel. Commun. Lett., 2019
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.
CoRR, 2019
Proceedings of the 13th International Conference on Research Challenges in Information Science, 2019
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications - Work-in-Progress Paper.
Proceedings of the Reversible Computation - 11th International Conference, 2019
Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
2018
Proceedings of the Reversible Computation - 10th International Conference, 2018
Proceedings of the 11th International Workshop on Network on Chip Architectures, 2018
Proceedings of the Formal Methods for Industrial Critical Systems, 2018
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018
2017
2015
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models.
Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets.
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
Model checking and abstract interpretation as building blocks of advanced program analysis techniques - Selected papers from TACAS 2009.
Int. J. Softw. Tools Technol. Transf., 2013
Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.
Sci. Ann. Comput. Sci., 2013
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Software Engineering and Formal Methods, 2013
2012
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.
Theor. Comput. Sci., 2012
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012
2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
2010
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
2009
Parallel Process. Lett., 2009
2008
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008
2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
2006
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006
Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006
2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Algorithms and Computation, 16th International Symposium, 2005
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
2001
J. Comput. Syst. Sci., 2001
A Family of Resource-Bound Real-Time Process Algebras.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
2000
1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
1996
Proceedings of the Computer Science Logic, 10th International Workshop, 1996
1995
Proceedings of the CONCUR '95: Concurrency Theory, 1995