Nikolaos Triantafyllou

According to our database, Nikolaos Triantafyllou authored at least 16 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Towards a Methodology for Formally Analyzing Federated Identity Management Systems.

Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis

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

2019

Software engineering applications of the OTS/CafeOBJ algebraic specification method

Nikolaos Triantafyllou

PhD thesis, 2019

2014

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

Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Antonios Kalampakas

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

On Verifying Reactive Rules Using Rewriting Logic.

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas

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

Some Engineering Applications of the OTS/CafeOBJ Method.

Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra

Proceedings of the Specification, Algebra, and Software, 2014

2013

An Algorithm for Allocating User Requests to Licenses in the OMA DRM System.

Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

IEICE Trans. Inf. Syst., 2013

2012

OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications

Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

CoRR, 2012

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

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

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

On the Algebraic Semantics of Reactive Rules.

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas

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

2011

An Algebraic Specification of the Semantic Web

Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos

CoRR, 2011

A Dynamic Algebraic Specification for Social Networks

Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas

CoRR, 2011

Redesigning the Open Mobile Alliance License Choice Algorithm

Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra

CoRR, 2011

Applying Algebraic Specifications on Digital Right Management Systems.

Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

2010

Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method.

Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos

Proceedings of the WINSYS 2010 - Proceedings of the International Conference on Wireless Information Networks and Systems, Athens, Greece, July 26, 2010

Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm.

Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

2009

Algebraic Specifications for OMA REL Licenses.

Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas

Proceedings of the 5th IEEE International Conference on Wireless and Mobile Computing, 2009