Katerina Ksystra

Maria Dimarogkona

Petros Kavassalis

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

2017

Enabling reasoning and verification support for intelligent agent systems, using formal methods

[BibT_eX]

[DOI]

PhD thesis, 2017

2016

Formal analysis and verification support for reactive rule-based Web agents.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2016

2015

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2015

2014

An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics.

[BibT_eX]

[DOI]

Antonios Kalampakas

Proceedings of the 9th International Workshop on Semantic and Social Media Adaptation and Personalization, 2014

On Verifying Reactive Rules Using Rewriting Logic.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web. From Theory to Applications, 2014

Some Engineering Applications of the OTS/CafeOBJ Method.

[BibT_eX]

[DOI]

Iakovos Ouranos

Proceedings of the Specification, Algebra, and Software, 2014

2012

Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, 2012

On the Algebraic Semantics of Reactive Rules.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web: Research and Applications, 2012

2011

An Algebraic Specification of the Semantic Web

[BibT_eX]

[DOI]

CoRR, 2011

A Dynamic Algebraic Specification for Social Networks

[BibT_eX]

[DOI]

Konstantinos Barlas

CoRR, 2011

Redesigning the Open Mobile Alliance License Choice Algorithm

[BibT_eX]

[DOI]

CoRR, 2011

Applying Algebraic Specifications on Digital Right Management Systems.

[BibT_eX]

[DOI]