References

[1]

D. Penev, G. Eleftherakis, and P. Argyroudis. Huskarl - Alternative Authentication and Key Establishment for Bluetooth Devices. In 3rd Balkan Conference in Informatics (BCI'07), Sofia, Bulgaria, September 2007.

[2]

G. Eleftherakis and P. Marantelos. Improving Maintainability of Data-intensive Web Sites: An Example-based Approach. In 3rd Balkan Conference in Informatics (BCI'07), Sofia, Bulgaria, September 2007.

[3]

O. Paunovski, K.Dimopoulos, and G. Eleftherakis. Impacts of the Relationship Overlay Network on the Distributed Discovery Performance in a Decentralized Agent Community. In 3rd Balkan Conference in Informatics (BCI'07), Sofia, Bulgaria, September 2007.

[4]

O. Paunovski, G. Eleftherakis, and A.J. Cowling. Framework for Exploring Emergence within Complex Systems. In Proc. 2nd Annual SEERC Doctoral Conference 2007, July 2007.

[5]

I. Stamatopoulou, I. Sakellariou, P. Kefalas, and G. Eleftherakis. Formal Modelling for In-silico Experiments with Social Insect Colonies. In 11th Panhellenic Conference on Informatics (PCI 2007), pages 79-89, Patra, Greece, May 2007.

[6]

K. Takasmanov and G. Eleftherakis. Secure Email Client. In 1st Panhellenic Student Conference in Informatics (EUREKA 07), Patra, Greece, May 2007.

[7]

O. Paunovski, G. Eleftherakis, and A.J. Cowling. Investigation of Emergent Phenomena within Complex Systems. In Proc. 1st Annual SEERC Doctoral Conference 2006, July 2006.

[8]

D. Dranidis, G. Eleftherakis, and P. Kefalas. Object-based language for generalized state machines. Annals of Mathematics, Computing and Teleinformatics (AMCT), 1(3):8-17, 2005.

[9]

V. Vujosevic and G. Eleftherakis. Improving Formal Methods' Tools Usability. In G. Eleftherakis, editor, 2nd South Eastern European workshop on Formal Methods (SEEFM 05), pages 169-180, Ohrid, November 2005.

[10]

I. Sakellariou, G. Eleftherakis, I. Vlahavas, and P. Kefalas. Animating Formal Models in a Communicating Sequential Process Platform. In P. Bozanis and E. Houstis, editors, 10th Panhellenic Conference on Informatics (PCI 2005), pages 174-184, Volos, Greece, November 2005.

[11]

I. Stamatopoulou, P. Kefalas, G. Eleftherakis, and M. Gheorghe. A Modelling Language and Tool for P Systems. In P. Bozanis and E. Houstis, editors, 10th Panhellenic Conference on Informatics (PCI 2005), pages 142-152, Volos, Greece, November 2005.

[12]

P. Kefalas, M. Holcombe, G. Eleftherakis, and M. Gheorghe. Formal development of reactive agent-based systems. In Mehdi Khosrow-Pour, editor, Encyclopedia of Information Science and Technology, pages 1201-1204. Idea Group Publishing, 2005.

[13]

P. Kefalas, G. Eleftherakis, M. Holcombe, and I. Stamatopoulou. Formal modelling of the dynamic behaviour of biology-inspired agent-based systems. In M. Gheorghe, editor, Molecular Computational Models: Unconventional Approaches, chapter 9, pages 243-276. Idea Group Publishing, 2005.

[14]

D. Jackson, M. Holcombe, I. Stamatopoulou, P. Kefalas, G. Eleftherakis, and M. Gheorghe. Modelling Self-Organisation in Ant Colonies. In International Conference on Artificial Evolution, Special Session on Systems Self-Aseembly, 2005.

[15]

G. Eleftherakis, P. Kefalas, A. Sotiriadou, and E. Kehris. Modeling Biology Inspired Reactive Agents Using X-machines. In International Conference on Computational Intelligence (ICCI04), pages 93-96, Istanbul, December 2004.

[16]

G. Eleftherakis and A.J. Cowling. An Agile Formal Development Methodology. In 1st South Eastern European workshop on Formal Methods (SEEFM 03), pages 36-47, Thessaloniki, November 2003. Agile Formal Methods: Practical, Rigorous Methods for a changing world.

[17]

F. Ipate, T. Balanescu, and G. Eleftherakis. Testing Communicating Stream X-machines. In 1st Balkan Conference on Informatics, pages 161-173, Thessaloniki, November 2003.

[18]

P. Kefalas, G. Eleftherakis, and E. Kehris. Communicating X-machines: a practical approach for formal and modular specification of large systems. Information and Software Technology, 45(5):269-280, April 2003.

[19]

P. Kefalas, G. Eleftherakis, M. Holcombe, and M. Gheorghe. Simulation and Verification of P Systems using Communicating X-machines. Biosystems, 70(2):135-148, July 2003.

[20]

F. Ipate, T. Balanescu, P. Kefalas, M. Holcombe, and G. Eleftherakis. A new model of communicating stream x-machine system. Romanian Journal of Information Science and Technology (ROMJIST), 6(1-2):165-183, 2003.

[21]

P. Kefalas, G. Eleftherakis, and E. Kehris. Communicating X-machines: from theory to practice. In Y. Manolopoulos, S. Evripidou, and A. Kakas, editors, Advances in Informatics, volume 2563 of Lecture Notes in Computer Science, pages 316-335. Springer-Verlag, 2003.

[22]

P. Kefalas, M. Holcombe, G. Eleftherakis, and M. Gheorghe. A formal method for the development of agent-based systems. In V. Plekhanova, editor, Intelligent Agent Software Engineering, chapter 4, pages 68-98. Idea Group Publishing, 2003.

[23]

P. Kefalas, G. Eleftherakis, and A. Sotiriadou. Developing Tools for Formal Methods. In 9th Panhellenic Conference on Informatics, pages 625-639, Thessaloniki, November 2003.

[24]

G. Eleftherakis, A. Sotiriadou, and P. Kefalas. Formal Modelling and Verification of Reactive Agents for Intelligent Control. In 12th Intelligent Systems Application to Power Systems Conference (ISAP03), Lemnos, Greece, September 2003. IEEE Power Engineering Society.

[25]

G. Eleftherakis, P. Kefalas, and A. Sotiriadou. Formal Verification of Agent Models. In I.P.Vlahavas and C.D.Spyropoulos, editors, Proceedings of the 2nd Hellenic Conference on AI (SETN02), pages 425-435, 2002.

[26]

G. Eleftherakis. A Formal Framework for Modelling and Validating Medical Systems. In V. Patel, R. Rogers, and R. Haux, editors, MEDINFO 2001, volume 1, pages 13-17, London, UK, September 2001. IOS Press.

[27]

G. Eleftherakis and P. Kefalas. Towards model checking of finite state machines extended with memory through refinement. In G. Antoniou, N. Mastorakis, and O. Panfilov, editors, Advances in Signal Processing and Computer Technologies, pages 321-326. World Scientific and Engineering Society Press, July 2001.

[28]

P. Kefalas, G. Eleftherakis, and E. Kehris. Modular Modeling of Large-Scale Systems using Communicating X-machines. In 8th Panhellenic Conference on Informatics, volume I, pages 20-29, Cyprus, November 2001.

[29]

G. Eleftherakis, P. Kefalas, and A. Sotiriadou. XmCTL: Extending temporal logic to facilitate formal verification of X-machine models. Analele Universitatii Bucuresti, Matematica-Informatica, 50:79-95, 2001.

[30]

G. Eleftherakis and P. Kefalas. Model checking safety-critical systems specified as X-machines. Analele Universitatii Bucuresti, Matematica-Informatica, 49:59-70, 2000. Also published as: Model Checking Safety-Critical Systems, Buletin Stiintific, Universitatea din Pitesti, Seria Matematica si Informatica, no.8, pp.77-85, 2002.

[31]

E. Kehris, G. Eleftherakis, and P. Kefalas. Using X-machines to model and test discrete event simulation programs. In N. Mastorakis, editor, Systems and Control: Theory and Applications, pages 163-168. World Scientific and Engineering Society Press, July 2000.

[32]

P.D. Bamidis, G. Eleftherakis, I. Iakovou, E. Psarouli, E. Kehris, and P.H. Ketikidis. Computer Based Analysis Of Medical Questionnaires. In C. Kappas, A. Del Guerra, Z. Kolitsi, Y. Damilakis, and K. Theodorou, editors, VI International Conference on Medical Physics, pages 239-243, Patras, Greece, September 1999. Monduzzi Editore, Bologna, Italy.

[33]

G. Eleftherakis, E. Kehris, and P.H. Ketikidis. WebReL: Web Based Reference Library. In D.I. Fotiadis and S.D. Nikolopoulos, editors, Proccedings 7th Hellenic Conference on Informatics, pages V.44-V.51, Ioannina, Greece, August 1999. University of Ioannina Press.