Iakovos Ouranos

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 2

Top Topics

Authentication Protocol

Clustering Method

Algebraic Operators

Top Venues

IEICE Trans. Inf. Syst.

SERA (selected papers)

Specification, Algebra, and Software

Publications

Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR (2019)
Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos
Formalizing Air Traffic Control Regulations in PSOA RuleML. RuleML+RR (Supplement) (2018)
Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. IEICE Trans. Inf. Syst. (5) (2014)
Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra
Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Iakovos Ouranos, Petros S. Stefaneas
Towards a Protocol Algebra Based on Algebraic Specifications. SERA (selected papers) (2013)
Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. ISoLA (2) (2012)
Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra
Redesigning the Open Mobile Alliance License Choice Algorithm CoRR (2011)
Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. ISoLA (1) (2010)
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)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos
Towards a correct translation from ASN.1 into CafeOBJ. Int. J. Reason. based Intell. Syst. 2 (3/4) (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)
Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP (2010)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas
Algebraic Specifications for OMA REL Licenses. WiMob (2009)
Iakovos Ouranos, Petros S. Stefaneas
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. CAI (2007)
Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) (2007)
Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
An Algebraic Framework for Modeling of Mobile Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2007)