Georgios V. Pitsiladis

According to our database, Georgios V. Pitsiladis authored at least 4 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Embedding the Calendar and Time Type System in Temporal Type Theory.

Georgios V. Pitsiladis, Costas D. Koutras

J. Appl. Non Class. Logics, April, 2025

2024

A logical framework to model software development by multiple agents following a common specification.

Georgios V. Pitsiladis, Petros S. Stefaneas

J. Log. Comput., 2024

Converting BPMN Diagrams to Privacy Calculus.

Georgios V. Pitsiladis, Petros S. Stefaneas

Proceedings of the Proceedings Eighth Symposium on Working Formal Methods, 2024

2018

Implementation of Privacy Calculus and Its Type Checking in Maude.

Georgios V. Pitsiladis, Petros S. Stefaneas

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018