Katerina Ksystra

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 3

Top Topics

Formal Representation

Identity Management

Intelligent Agents

Top Venues

Specification, Algebra, and Software

Int. J. Web Inf. Syst.

Publications

Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis
Towards a Methodology for Formally Analyzing Federated Identity Management Systems. ISoLA (4) (2022)
Katerina Ksystra, Petros S. Stefaneas
Formal analysis and verification support for reactive rule-based Web agents. Int. J. Web Inf. Syst. 12 (4) (2016)
Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. Int. J. Softw. Eng. Knowl. Eng. 25 (7) (2015)
Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM (2014)
Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra
Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas
On Verifying Reactive Rules Using Rewriting Logic. RuleML (2014)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Antonios Kalampakas
Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics. SMAP (2014)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. SMAP (2012)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas
On the Algebraic Semantics of Reactive Rules. RuleML (2012)
Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas
A Dynamic Algebraic Specification for Social Networks CoRR (2011)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Specification of the Semantic Web CoRR (2011)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
Applying Algebraic Specifications on Digital Right Management Systems CoRR (2011)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
Applying Algebraic Specifications on Digital Right Management Systems. ICCSW (2011)
Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra
Redesigning the Open Mobile Alliance License Choice Algorithm CoRR (2011)
Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP (2010)