Katerina Ksystra

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