Nikolaos Triantafyllou

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