Iakovos Ouranos

16 papers B 2Journal 4Unranked 10

Year	Rank	Type	Title / 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