Anna Philippou

Loizos Michael

Vicky Papadopoulou Lesta

Giuseppe Persiano

Algorithmica, 2021

2020

Reversibility in Chemical Reactions.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Towards fault adaptive routing in metasurface controller networks.

[BibT_eX]

[DOI]

J. Syst. Archit., 2020

Reversible Computation in Cyclic Petri Nets.

[BibT_eX]

[DOI]

CoRR, 2020

DiálogoP - A Language and a Graphical Tool for Formally Defining GDPR Purposes.

[BibT_eX]

[DOI]

George A. Papadopoulos

Proceedings of the Research Challenges in Information Science, 2020

Encoding Reversing Petri Nets in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

2019

Distributed Antenna Selection for Massive MIMO Using Reversing Petri Nets.

[BibT_eX]

[DOI]

Harun Siljak

IEEE Wirel. Commun. Lett., 2019

Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications.

[BibT_eX]

[DOI]

Harun Siljak

CoRR, 2019

GDPR Compliance in the Design of the INFORM e-Learning Platform: a Case Study.

[BibT_eX]

[DOI]

Alexandros Yeratziotis

Christos Mettouris

George A. Papadopoulos

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.

[BibT_eX]

[DOI]

Harun Siljak

Proceedings of the Reversible Computation - 11th International Conference, 2019

Towards GDPR Compliant Software Design: A Formal Framework for Analyzing System Models.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

A Formal Modeling Scheme for Analyzing a Software System Design against the GDPR.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Reversible Computation in Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 10th International Conference, 2018

Fault Adaptive Routing in Metasurface Controller Networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Network on Chip Architectures, 2018

Formal Verification of a Programmable Hypersurface.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Reversing Computations Modelled by Coloured Petri Nets.

[BibT_eX]

[DOI]

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

Privacy by typing in the π-calculus.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

2015

Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015

Type Checking Purpose-Based Privacy Policies in the π-Calculus.

[BibT_eX]

[DOI]

Eleni Kokkinofta

Chrysovalandis Agathangelou

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.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015

Type Checking Privacy Policies in the π-calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

2014

Synchronous Parallel Composition in a Process Calculus for Ecological Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Stefan Kowalewski

Jörg Brauer

Int. J. Softw. Tools Technol. Transf., 2013

Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.

[BibT_eX]

[DOI]

Mauricio Toro

Margarita Antonaki

Sci. Ann. Comput. Sci., 2013

Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.

[BibT_eX]

[DOI]

Mauricio Toro

Proceedings of the Software Engineering and Formal Methods, 2013

A Typing System for Privacy.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

A Process Calculus for Spatially-explicit Ecological Models

[BibT_eX]

[DOI]

Margarita Antonaki

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

2011

A Process Calculus for Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

A Process Algebraic Framework for Modeling Resource Demand and Supply.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009

Selfish Routing in the Presence of Network Uncertainty.

[BibT_eX]

[DOI]

Chryssis Georgiou

Theophanis Pavlides

Parallel Process. Lett., 2009

2008

A graph-theoretic network security game.

[BibT_eX]

[DOI]

Int. J. Auton. Adapt. Commun. Syst., 2008

A Network Game with Attackers and a Defender.

[BibT_eX]

[DOI]

Algorithmica, 2008

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.

[BibT_eX]

[DOI]

Marina Gelastou

Chryssis Georgiou

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

2007

Process-Algebraic Analysis of Timing and Schedulability Properties.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Resources in process algebra.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

2006

Verification Techniques for Distributed Algorithms.

[BibT_eX]

[DOI]

George Michael

Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

The Price of Defense.

[BibT_eX]

[DOI]

Loizos Michael

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

Network uncertainty in selfish routing.

[BibT_eX]

[DOI]

Chryssis Georgiou

Theophanis Pavlides

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Power of the Defender.

[BibT_eX]

[DOI]

Marina Gelastou

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

The Price of Defense and Fractional Matchings.

[BibT_eX]

[DOI]

Giuseppe Persiano

Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

2005

A Family of Resource-Bound Real-Time Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Network Game with Attacker and Protector Entities.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 16th International Symposium, 2005

2003

Modeling and Analysis of Power-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

A General Resource Framework for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

A Process-Calculus Analysis of Concurrent Operations on B-Trees.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2001

Hiding resources that can fail: An axiomatic perspective.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

A Family of Resource-Bound Real-Time Process Algebras.

[BibT_eX]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Weak Bisimulation for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1998

On Transformations of Concurrent-Object Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Symbolic Schedulability Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Praobabilistic Resource Failure in Real-Time Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

On Confluence in the pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

A Rigorous Analysis of Concurrent Operations on B-Trees.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Reasoning about systems with evolving structure.

[BibT_eX]

[DOI]

PhD thesis, 1996

Social Confluence in Client-Server Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995

On Sharing and Determinacy in Concurrent Systems.

[BibT_eX]

[DOI]