5 citations · 12 across the 12 of their papers we have counts for
12 papers
Converting BPMN Diagrams to Privacy Calculus
Georgios V. Pitsiladis, Petros S. Stefaneas
The ecosystem of Privacy Calculus is a formal framework for privacy comprising (a) the Privacy Calculus, a Turing-complete language of message-exchanging processes based on the pi-…
INDCOR White Paper 2: Interactive Narrative Design for Representing Complexity
Andrew Perkis, Mattia Bellini, Valentina Nisi +21
This white paper was written by the members of the Work Group focusing on design practices of the COST Action 18230 - Interactive Narrative Design for Complexity Representation (IN…
A logical framework to model software development by multiple agents following a common specification
Georgios V. Pitsiladis, Petros S. Stefaneas
In this paper, we address program development by multiple different programmers (or programming teams), each working in different settings (programming languages or reasoning frame…
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images
A. Malamou, C. Pandis, P. Frangos +3
In this paper the Modified Fractal Signature method is applied to real Synthetic Aperture Radar images provided to our research group by SET 163 Working Group on SAR radar techniqu…
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications
Nikolaos Triantafyllou, Petros Stefaneas, Panayiotis Frangos
Design by Constract (DBC) has influenced the development of formal specification languages that allow the mix of specification and implementation code, like Eiffel, the Java Modeli…
A methodology for internal Web ethics
Michalis Vafopoulos, Petros Stefaneas, Ioannis Anagnostopoulos +1
The vigorous impact of the Web in time and space arises from the fact that it motivates massive creation, editing and distribution of information by Users with little knowledge. Th…