Katerina Ksystra

Personal Information

PhD student at School of Electrical and Computer Engineering, NTUA
Graduated from School of Applied Mathematical and Physical Sciences, NTUA

Katerina Ksystra

Contact details

Research Interests

  • Formal methods
  • Specification and Verification
  • Algebraic Specification Languages
  • Automated theorem provers and their application to:
    • Context aware systems
    • Reactive Rule-based systems
    • Ontologies

Publications

  • 2014: Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas: On Verifying Reactive Rules Using Rewriting Logic. RuleML 2014: 67-81
  • 2014: Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos: An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM 2014: 407-418
  • 2013: Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas, Panayiotis Frangos: Proof Carrying Code using Algebraic Specifications. Journal of Applied Mathematics & Bioinformatics. 01/2013; 3(no.1):43-56.
  • 2012: Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas: On the Algebraic Semantics of Reactive Rules. RuleML 2012: 136-150
  • 2012: Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos: Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. SMAP 2012: 81-86
  • 2012: Katerina Ksystra, Nikolaos Triantafylloy, Konstantinos Barlas, Petros Stefaneas: An Algebraic Specification of Social Networks. SQM and INSPIRE conferences 2012
    Award for best PhD student paper. Highly recommended student paper