CITY College


University of Sheffield
Home | Research | People | Collaborations | Projects | Publications | Events | Vacancies | Contact


Navigate by year of publication
, 2001, 2002, 2003, 2004, 2005, 2006


A.Sotiriadou, P. Kefalas, Teaching Formal Methods in the Computer Science Curriculum, Proceedings of the International Conference on Applied and Theoretical Mathematics, Vravrona, Greece, Dec.1-3,(also appeared in Recent Advances in Applied and Theoretical Mathematics, Nikos Mastorakis (ed.)  WSES, pp.91-95),  2000.

E.Kapeti, P.Kefalas, A Design Language and Tool for X-Machine Specification, Proceedings of the 7th Panhellenic Conference on Information Techology, Greek Computer Society, Ioannina, August 1999 (also publiched in Advances in Informatics, D.I.Fotiadis and S.D.Nikolopoulos, World Scientific Publishing Company, pp. 134-145, April 2000)

E.Kehris, G.Eleftherakis, P.Kefalas, Using X-Machines to Model and Test Discrete Event Simulation Programs, In Proceedings of the 4th World MultiConference on Circuits, Systems, Communications & Computers (CSCC 2000), Athens, July 2000

I.Vlahavas, I.Refanidis and I.Sakellariou, A MultiP media System for teaching Prolog, in 1st National Conference on Education and Informatics, Thessaloniki, Greece, November 2000 (in Greek).

K.P.Dimopoulos, C.Kambhampati, and R.J.Craddock, Efficient recurrent neural network training incorporating a priori knowledge, Mathematics and Computers in Simulation, vol. 52, pp. 137-162, 2000.

M.Nikolaraizi, P.Kefalas, Design and Development of a Web-Counseling Centre for Parents of the Deaf Children, In Proceedings of the International Conference on Computers Helping People with Special Needs (ICCHP 2000), Karlsruhe, Germany, July 2000

M.Nikolaraizi, P.Kefalas, Web-Counseling: The Need for Parents of the Deaf Children (In Greek), In Proceedings of the 2nd Panhellenic Conference of New Technologies in Society and Culture, pp. 264-272, Athens, June 2000

back to top



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.

G.Eleftherakis, P.Kefalas, Model Checking Safety Critical Systems Specified as X-Machines, Annales Univerisitate Bucurest Matematica. Informatica; 49(1): 59-70, 2001

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.

M.Gheorghe, M.Holcome, P.Kefalas, Computational Models of Collective Foraging, 4th International Workshop on Information Processing in Cells and Tissues, IPCAT 2001, Luven, Belgium, August 2001, (also appeared in) BioSystems, 61 (2001) 133-141

P.Kefalas, G.Eleftherakis, E.Kehris, Modular Modeling of Large-Scale Systems using Communicating X-Machines, In Proceedings of the 8th Panhellenic Conference in Informatics (Y.Manolopoulos and S.Evripidou eds.), Greek Computer Society, Livanis Pub.Co., pp.20-29, 2001

back to top



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.

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

G.Eleftherakis, P.Kefalas, A.Sotiriadou, XmCTL: Extending Temporal Logic to Facilitate Formal Verification of X-Machines Models, Annales Univerisitate Bucurest Matematica. Informatica, Annul L, pp.79-95, 2002

G.Eleftherakis, P.Kefalas, Model Checking Safety Critical Systems, Scientific Bulletin, University of Pitesti, Romania, No.8, pp.77-85, 2002

I.Vlahavas, I.Sakellariou, I.Futo, Z.Pasztor, J.Szeredi: CSPCONS: A Communicating Sequential Prolog with Constraints. in Ioannis P. Vlahavas, Constantine D. Spyropoulos (Eds.) Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings. pp 72-84 Lecture Notes in Computer Science 2308 Springer 2002.

I.Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martin Molina, Sascha Ossowski, Ivan Futo, Zoltan Pasztor, Janos Szeredi, Igor Velbitskiyi, Sergey Yershov, Igor Netesin, ExperNet: An Intelligent Multi-Agent System for WAN Management, IEEE Intelligent Systems, Vol. 17, No. 1, pp. 62-72, 2002.

I.Vlahavas, P.Kefalas, N.Bassiliades, I.Refanidis, F.Kokkoras, and I.Sakellariou, Artificial Intelligence (in Greek), Gartaganis Publications, ISBN 960-7013-28-X, 2002.

P.Kefalas, Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours, (In Proceedings of the 2nd Hellenic Conference on AI, SETN02, Lecture Notes in Artificial Intelligence 2308 (I.P.Vlahavas and C.D.Spyropoulos eds.), Springer-Verlag, pp.461-472, 2002

back to top



D.Dranidis, K.Tigka, P.Kefalas, Formal Modelling of Use Cases with X-machines, In Proceedings of the 1st South-East European Workshop on Formal Methods (SEEFM'03), pp. 72-83, November 2003

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

F.Ipate, T.Balanescu, P.Kefalas, M.Holcombe, G.Eleftherakis, A new model of Communicating Stream X-machine Systems, Romanian Journal on Information Science and Technology, No.1-2, Vol.6, 2003, pp.165-183

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.

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.

I.Sakellariou, F.Kokkoras, I.Vlahavas, Applying a Distributed CLP Platform to a Workforce Management Problem, Proc. 12th Conference on Intelligent Systems Application to Power Systems (ISAP '03), (electronic proceedings), Greece, 2003.

M.Gheorge, M.Holcombe, P.Kefalas  Eilenberg P Systems: A Bio-Computational Model, In Proceedings of the 1st Baklan Coneference in Informatics pp.147-160, November 2003

P.Kefalas, G.Eleftherakis, A.Sotiriadou, Developing Tools For Formal Methods, In Proceedings of the 9th Panehellenic Coneference in Informatics, pp.625-639, November 2003

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.

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.

P.Kefalas, G.Eleftherakis, E.Kehris, Communicating X-Machines: A Practical Approach for Formal and Modular Specification of Large Systems, Journal of Information and Software Technology, Elsevier, Vol.45, Issue 5, April 2003, pp.269-280

P.Kefalas, G.Eleftherakis, M.Holcombe, M.Gheorghe, Simulation and Verification of P Systems through Communicating X-Machines, BioSystems, Vol 70, No.2, July 2003, pp.135-148

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.

P.Kefalas, S.Retalis, D.Stamatis, T.Kargidis, Quality Assurance Procedures and e-ODL, In Proceedings of the International Conference on network Universities and E-Learning, Valentia, Spain, May 2003

T.Kargidis, P.Kefalas, D.Stamatis, A.Tsadiras, Teaching Logic Programming from a distance: an Approach, In Proceedings of 6th International Conference Conputer Based Learning in Science, Cyprus, July 2003

T.Kargidis, P.Kefalas, D.Stamatis, A.Tsadiras, Towards a Europen Crdit Transfer System for Networked Learning (ECTS-NL), In Proceedings of the International Conference on network Universities and E-Learning, Valentia, Spain, May 2003

back to top



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

I.Sakellariou and Ioannis Vlahavas, Distributed Singleton Consistency, Journal of Experimental and Theoretical Artificial Intelligence, Vol 16, Number 2, pp 107-124, April-June 2004.

I.Sakellariou and Ioannis Vlahavas, Simple Distributed Filtering on a CLP Platform, in Companion Volume of 3rd Hellenic Conference on Artificial Intelligence, G.Vouros and T.Panagiotopoulos (eds), pp 318-327, Samos, Greece May 2004.

back to top



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.

D.Jackson, M.Holcombe, I.Stamatopoulou, I.Sakellariou, G.Eleftherakis, P.Kefalas, and M.Gheorghe. Modelling self-organisation in ant colonies. In Special Session On Systems Self-Assembly at the 7th International Conference on Artificial Evolution (EA'05), 2005.

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.

I.Stamatopoulou, M.Gheorghe, P.Kefalas, Modelling of Dynamic Organization of Biology-Inspired Multi-Agent Systems with Communicating X-machines and P Systems, In Mauri, G., Paun, G., and M.J.Perez-Limenez, et al., Lecture Notes in Computer Science, Vol.3365, pp. 389-401, 2005

I.Stamatopoulou, P.Kefalas, and M.Gheorghe.  Modelling the dynamic structure of biological state-based systems. In Proceedings of the 6th International Workshop on Information Processing in Cells and Tissues (IPCAT'05), York, UK, August 30 - September 1, 2005.

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.

I.Stamatopoulou, P.Kefalas, M.Gheorghe, A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour, In Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Also in Multi-Agent Systems and Applications IV (M.Pechoucek, P.Petta, L.Varga eds.), LNAI, Vol.3690, Springer, pp. 122-131

I.Stamatopoulou, P.Kefalas, M.Gheorghe, Modelling the Dynamic Structure of Biological State-Based Systems, In Proceedings of the 6th International Workshop on Information Processing in Cells and Tissues, York 2005

I.Stamatopoulou. Incremental dynamic modelling of agent-based systems using Communicating X-machines: A review, a case study and a research proposal Technical Report 03/2005, South-East European Research Centre, Thessaloniki, Greece, January 2005.

K.P.Dimopoulos Nonlinear Control Strategies Incorporating Input-State-Output Models, presented at ICTA05, Thessaloniki, Greece, 2005.

K.Peneva, P.Kefalas, Animating Formal Models of Biologically-Inspired Multi-Agent Systems, In Proceedings of the 2nd Balkan Conference in Informatics, BCI-2, Ohrid, FYRoM, pp.327-336

M.Gheorghe, I.Stamatopoulou, M.Holcombe, and P.Kefalas. Modelling dynamically organised colonies of bio-entities. In J.-P. Ban?atre, P. Fradet, J.-L. Giavitto, and O. Michel, editors, Unconventional Programming Paradigms: International Workshop (UPP'04), Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers, volume 3566 of Lecture Notes in Computer Science, pages 207-224. Springer-Verlag, 2005.

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.

P.Kefalas, I,.Stamatopoulou, G.Eleftherakis, M.Gheorghe, A Modelling Language and Tool for Population P Systems, In Proceedings of the 10th Panhellenic Conference in Informatics, PCI-10, Greek Computer Society , Volos, pp.142-152

P.Kefalas, I.Stamatopoulou, and M.Gheorghe. A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour. In M. Pechoucek, P. Petta, and L. Z. Varga, editors, Multi-Agent Systems and Applications IV: Proceedings of the 4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'05), Budapest, Hungary, September 15-17, 2005, volume 3690 of Lecture Notes in Artificial Intelligence, pages 122-131. Springer Verlag, 2005.

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

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.

back to top



D.Stamatis, P.Kefalas, A.Tsadiras, Networked Academic Societies in Collaborative Development of e-Learning Courses,  In Proceedings of the Network Learning 2006, Lancaster, April 2006 (to appear)

G.Eleftherakis (editor), Formal Methods: Challenges in the business world, ISBN 960-87869-8-3, SEERC, 2006.(Post-Proceedings of the 2nd South Eastern European workshop on Formal Methods (SEEFM 05))

I.Sakellariou and Ioannis Vlahavas, Constraint Logic Programming on Multiple Processors in Parallel Combinatorial Optimization, Willey and Sons Publishers, 2006, (chapter).

I.Sakellariou, Ioannis Vlahavas, Ivan Futo, Zoltan Pasztor, and Janos Szeredi, Communicating Sequential Processes for Distributed Constraint Satisfaction, Information Sciences, Vol 176, Number 5, pp 490-521, 2006.

I.Stamatopoulou, P.Kefalas, and M.Gheorghe. A hybrid formal approach for modelling change in multi-agent systems. In Proceedings of 1st Annual SEERC Doctoral Student Conference, Thessaloniki, Greece, July 10, 2006. To be published.

I.Stamatopoulou, P.Kefalas, and M.Gheorghe. Specification of reconfigurable MAS: A hybrid formal approach. In Proceedings of the 4th Hellenic Conference on Artificial Intelligence (SETN'06). Heraklion, Greece, May 18-20, 2006. Also to appear in Lecture Notes in Artificial Intelligence.

back to top




Intelligence, Modelling, and Computation Research Group.
Department of Computer Science
CITY College, Affiliated Institution of the University of Sheffield,
13 Tsimiski str., Thessaloniki, 54624 Greece