Iakovos Ouranos

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