Iakovos Ouranos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2007–2013
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SERA | Towards a Protocol Algebra Based on Algebraic Specifications. | Iakovos Ouranos, Petros S. Stefaneas |
| 2012 | ISoLA | Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. | Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas |
| 2010 | ISoLA | Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. | Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata |
| 2009 | WiMob | Algebraic Specifications for OMA REL Licenses. | Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas |
| 2007 | SOFSEM | A Formal Specification Framework for Ad Hoc Mobile Communication Networks. | Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos |