Nikolaos Triantafyllou

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 1

Top Topics

Formal Representation

Identity Management

Top Venues

IEICE Trans. Inf. Syst.

Specification, Algebra, and Software

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)
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)
Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. IEICE Trans. Inf. Syst. (6) (2013)
Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications CoRR (2012)
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)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ICETE (Selected Papers) (2010)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. WINSYS (2010)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas
Algebraic Specifications for OMA REL Licenses. WiMob (2009)