Iakovos Ouranos

According to our database, Iakovos Ouranos authored at least 16 papers between 2007 and 2019.

Collaborative distances:

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

2019

Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.

Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

2018

Formalizing Air Traffic Control Regulations in PSOA RuleML.

Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos

Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018

2014

TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned.

Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas

IEICE Trans. Inf. Syst., 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

Towards a Protocol Algebra Based on Algebraic Specifications.

Iakovos Ouranos, Petros S. Stefaneas

Proceedings of the Software Engineering Research, 2013

2012

Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method.

Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011

Redesigning the Open Mobile Alliance License Choice Algorithm

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

CoRR, 2011

2010

Towards a correct translation from ASN.1 into CafeOBJ.

Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos

Int. J. Reason. based Intell. Syst., 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

A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications.

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

Proceedings of the SIGMAP 2010, 2010

Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method.

Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 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

2007

An Algebraic Framework for Modeling of Mobile Systems.

Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

A Formal Specification Framework for Ad Hoc Mobile Communication Networks.

Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.

Iakovos Ouranos, Petros S. Stefaneas

Proceedings of the Algebraic Informatics, Second International Conference, 2007