|
Publications
Journal
2009
C. G. Moschovitis, K. T. Karakatselos, E.
G. Papkelis, H. T. Anastassiu, I. C. Ouranos,
A. Tzoulis, P. V. Frangos, High Frequency Analytical Model for
Scattering of Electromagnetic Waves from a Perfect Electric
Conductor Plate using an Enhanced Stationary Phase Method Approximation,
IEEE Transactions on Antennas and Propagation (to appear).
2007
Iakovos Ouranos, Petros Stefaneas, Panayiotis Frangos, An algebraic framework for
modeling of mobile systems, IEICE Transactions on Fundamentals of
Electronics, Communications and Computer Sciences, Vol. E90-A, No. 9,
pp. 1986-1999, September 2007. (link)
E. Papkelis, I. Psarros, Iakovos
Ouranos, H. Moshovitis, K.
Karakatselos, E. Vagenas, H. Anastassiu, P. Frangos, A radio coverage
prediction model in wireless communication systems based on physical optics
and the physical theory of
diffraction, IEEE Antennas and
Propagation Magazine, Vol. 49, Issue 2, pp. 156-165, April 2007. (link)
International conference
2009
Katerina Ksystra, Petros Stefaneas,
Nikolaos Triantafyllou, Iakovos Ouranos, "An
Algebraic Specification for the MPEG-2 Encoding Algorithm",
SEEFM 2009, Thessaloniki, Greece (to appear).
Kostas Barlas, George Koletsos,
Petros Stefaneas, Iakovos Ouranos, "From
ASN.1 into CafeOBJ: Some first steps", SEEFM 2009,
Thessaloniki, Greece (to appear).
Nikolaos Triantafyllou,
Iakovos Ouranos, Petros Stefaneas, "Algebraic
Specifications for OMA Licenses", WiMob 2009,
IEEE (to appear).
Kostas Barlas, George Koletsos,
Petros Stefaneas, Iakovos Ouranos, “Towards
a correct translation from ASN.1 into CafeOBJ”, INISTA
2009, Trabzon, Turkey.
2007
Iakovos Ouranos, Petros Stefaneas, Kostas Barlas, Stefanos
Demertzis, George Koletsos, Panayiotis Frangos, "Modelling Real Time Authentication
Protocols using Algebraic Specification Techniques-the case of TESLA
protocol, In: Proc. IFIP TC7
Conference, pp. 388-389, Krakow, July 2007. (link)
Iakovos Ouranos, Petros Stefaneas, Verifying Security Protocols for Sensor
Networks using Algebraic Specification Techniques, In: Proc. CAI 2007,
Thessalonica, Greece, May 2007, LNCS 4728, pp. 247-259, Springer.(link)
Iakovos Ouranos, Petros Stefaneas, and Panayiotis Frangos, A Formal Specification Framework
for Ad Hoc Mobile Communication Networks, In: Proc: SOFSEM 2007, pp. 91-102, Harrachov, Czech, January 2007.
2006
Ch. G. Moschovitis, E. G. Papkelis, H. T. Anastassiu, K. T.
Karakatselos, I. Ch. Ouranos, P. V. Frangos,
Asymptotic Calculation of the Scattered Electric Field from a Finite
Rectangular Plate Using an Enhanced Stationary Phase Method (SPM)
Approximation, European Conference on
Antennas & Propagation (EuCAP 2006), November 6 - 10, 2006, Nice, France.
Ch. G. Moschovitis, E. G. Papkelis, H. T. Anastassiu, K. T.
Karakatselos, I. Ch. Ouranos, P. V. Frangos, Αn Application of an Enhanced
Stationary Phase Method (SPM) Approximation for the Asymptotic Calculation
of the Scattered Electric Field from a
Finite Rectangular Plate, International
Conference on Communications, Electromagnetics and Medical Applications (CEMA 2006), October 19 - 21, 2006, Sofia, Bulgaria.
2005
E. Papkelis, Iakovos
Ouranos, H. Moshovitis, K. Karakatselos, P. Frangos, A Radio Coverage
Prediction Method in Urban Microcellular Environments Using Electromagnetic
Techniques, International Conference Days On Diffraction 2005, June 28-July
1, St. Petersburg, Russia.
E. Papkelis, Iakovos Ouranos, H. Moshovitis, K. Karakatselos,
P. Frangos, Radio Coverage Simulation Tool in Urban Environments Using
Physical Optics and Physical Theory of Diffraction, International
Conference Mediterranean Microwaves Symposium 2005, September 6-8, Athens,
Greece.
2004
Iakovos Ouranos, Efstratios Papkelis, Panayiotis Frangos, An Electromagnetic Method
for Calculating Radiocoverage in Urban Microcellular Environments,
International Conference Day On Diffraction 2004, June 29-July 2, St Petersburg, Russia. (link)
Iakovos Ouranos, Petros Stefaneas, Panayiotis Frangos, MobileOBJ: A Mobility Approach
Using CafeOBJ Algebraic Specification Language, International Conference on
Numerical Analysis and Applied Mathematics (ICNAAM 2004), Chalkis, Greece,
September 2004.
Iakovos Ouranos, Petros Stefaneas and Panayiotis Frangos, An Algebraic
Specification of Mobile IPv6 Protocol, 1st International Conference PRISE
2004 (Principles of Software Engineering), Buenos Aires, Argentina,
November 22 - 27, 2004.
Domestic conference and other presentations
2008
Petros
Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Applying Behavioural
Specification Techniques to Protocol Composition, 8th Panhellenic
Conference on Algebra, Number Theory and Applications, Athens, 29-31 May
2008.
Nikolaos
Triantafyllou, Iakovos Ouranos, Petros Stefaneas, A Formal Approach
to Mobile Digital Right Management Systems, 8th Panhellenic Conference on
Algebra, Number Theory and Applications, Athens, 29-31 May 2008.
Iakovos Ouranos, Petros Stefaneas, Modeling and Verification of Mobile
Systems with CafeOBJ, Sinaia School on Formal Verification of Software
Systems, Sinaia, Romania, 3-10 March 2008.
2006
Iakovos Ouranos, Petros Stefaneas, Panayiotis Frangos, Algebraic
Specification and Verification of Security Protocols of Mobile Systems,
Technical Chamber of Greece, January 2006.
|