Home About People Publications Technical Achievements Activities Links to Conferences Links Contact

x-CITY-ng Publications

2006

• Stamatopoulou, I., Kefalas, P., and Gheorghe, M. (2005). "Specification of Reconfigurable MAS: A Hybrid Formal Approach". In 4th Hellenic Conference on Artificial Intelligence (SETN'06). Accepted (short paper).

2005

• P. Kefalas, I. Stamatopoulou, M. Gheorghe, A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour, In Mauri, G., Paun, G., Perez-Jimenez, M. J., Rozenberg, G., and Salomaa, A., editors, Membrane Computing: 5th International Workshop, volume 3365 of Lecture Notes in Computer Science, pages 389-401, Springer-Verlag, Berlin, 2005.
  
  
• I. Stamatopoulou, P. Kefalas, M. Gheorghe, Modelling the Dynamic Structure of Biological State-Based Systems, 6th International Workshop on Information Processing in Cells and Tissues (IPCAT'05), 2005, accepted (also to appear in BioSystems).
  
  
• D. Jackson, M. Holcombe, I. Stamatopoulou, P. Kefalas, G. Eleftherakis, 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), (poster presentation), 2005.
  
  
• I. Stamatopoulou, P. Kefalas, G. Eleftherakis, M. Gheorghe, A Modelling Language and Tool for Population P Systems, In Proceedings of the 10th Panhellenic Conference in Informatics (PCI'05), Volos, Greece, November 11-13, 2005.
  
  
• P. Kefalas, G. Eleftherakis, M. Holcombe, I. Stamatopoulou, "Formal Modelling of the Dynamic Behaviour of Biology-Inspired Agent-based Systems", In Molecular Computational Models: Unconventional Approaches, M. Gheorghe (ed.), Idea Group Publishing, pp. 243-276, 2005. [pdf -- password protected]
  
  
• 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.
  
  
• P. Kefalas, I. Stamatopoulou, M. Gheorghe, "A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour", In Pechoucek, M., Petta, P., and Varga, L. Z., 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.
  
  
• D. Dranidis, P. Kefalas, G. Eleftherakis, "Object-based language for generalized state machines", In Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM'05), Ohrid, FYRoM, 2005.
  
  
• V. Vujocevic, G. Eleftherakis, "Improving Formal Methods' Tools Usability", In Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM'05), Ohrid, FYRoM, 2005.
  
  
• D. Taneva, D. Dranidis, K. Tigka, "X-machines specifications in XML", In Proceedings of the 2nd Balkan Conference in Informatics (BCI'05), Ohrid, FYRoM, 2005.
  
  
• B. Temov, D. Dranidis, "The Value of Web Log Analysis in Strategic Decision Making for E-Commerce", In Proceedings of the 2nd Balkan Conference in Informatics (BCI'05), Ohrid, FYRoM, 2005.
  
  
• S. Spyrou, P. Bamidis, D. Dranidis, D. Vartzopoulos, N. Maglaveras, C. Pappas, "A Data Quality Assessment Framework for Workflow and Message Oriented Architectures in Regional Health Information Systems", In Proceedings of the 10th International Symposium on Health Information Management Research (ISHIMR'05), Thessaloniki, Greece, 2005.
  
  

2004

• I. Stamatopoulou, M. Gheorghe, P.Kefalas, "Modelling of Dynamic Configuration of Biology-Inspired Multi-Agent Systems with Communicating X-machines and P Systems", In Preproceedings of the 5th Workshop in Membrane Computing, Milan, Italy, 2004. [ps -- password protected]
  
  
• 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, December 2004.
  
  
• M. Gheorghe, I. Stamatopoulou, M. Holcombe, P. Kefalas, "Modelling Dynamically Organised Colonies of Bio-Entities", In Banatre, J.-P. and P. Fradet, Giavitto, J.-L., and Michel, O., 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.
  
  

2003

• P.Kefalas, M.Holcombe, G.Eleftherakis, M.Gheorge, "A Formal Method for the Development of Agent Based Systems", In Intelligent Agent Software Engineering, V.Plekhanova (eds), Idea Group Publishing Co., pp.68-98, 2003. [draft version pdf]
  
  
• P.Kefalas, G.Eleftherakis, E.Kehris, "Communicating X-Machines: From Theory to Practice", Lecture Notes in Computer Science Vol.2563, "Advances in Informatics - Post-Proceedings of the 8th Panhellenic Conference in Informatics", Y.Manolopoulos, S.Evripidou and A.Kakas (eds.), 2003. [article available from SpringerLink] [local version pdf -- password protected]
  
  
• P.Kefalas, G.Eleftherakis, M.Holcombe, M.Gheorghe, "Simulation and Verification of P Systems through Communicating X-Machines", BioSystems, Vol 70, No.2, pp.135-148, July 2003. [article available from Science Direct] [local version pdf -- password protected]
  
  
• 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, pp.269-280, April 2003. [article available from Science Direct] [local version pdf -- password protected]
  
  
• F. Ipate, T. Balanescu, P. Kefalas, M. Holcombe, G. Eleftherakis, "A new model of Communicating Stream X-machine Systems", Romanian Journal on Information Systems, (to be published). [pdf]
  
  
• T.Kargidis, P.Kefalas, D.Stamatis, A.Tsadiras, "Towards a Europen Credit Transfer System for Networked Learning (ECTS-NL)", In Proceedings of the International Conference on network Universities and E-Learning, Valentia, Spain, May 2003. [pdf]
  
  
• 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. [pdf]
  
  
• T.Kargidis, P.Kefalas, D.Stamatis, A.Tsadiras, "Teaching Logic Programming from a Distance: an Approach", In Proceedings of 6th International Conference Computer Based Learning in Science, Cyprus, July 2003.
  
  
• P.Kefalas, G.Eleftherakis, A.Sotiriadou, "Developing Tools For Formal Methods", In Proceedings of the 9th Panhellenic Coneference in Informatics, pp.625-639, November 2003. [pdf]
  
  
• M.Gheorghe, M.Holcombe, P.Kefalas, "Eilenberg P Systems: A Bio-Computational Model", In Proceedings of the 1st Balkan Conference in Informatics, pp.147-160, November 2003. [ps]
  
  
• G.Eleftherakis, A.Sotiriadou, P.Kefalas "Formal Modelling and Verification of Reactive Agents for Intelligent Control", In Proceedings of the 12 ISAP Intelligent System Applications to Power Systems Conference (accepted for publication), 2003. [ps]
  
  
• D.Dranidis, K.Tigka, "Writing Use Cases in XML", In Proceedings of the 9th Panhellenic Coneference in Informatics, pp.625-639, November 2003. [pdf]
  
  
• F.Ipate, T.Balanescu, G.Eleftherakis, "Testing Communicating Stream X-machines", In Proceedings of the 1st Balkan Conference in Informatics, pp.147-160, November 2003. [pdf]
  
  
• G.Eleftherakis, T.Cowling, "An Agile Formal Development Methodology", In Proceedings of the 1st South-East European Workshop on Formal Methods (SEEFM'03), November 2003. [pdf]
  
  
• 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), November 2003. [pdf]
  
  

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. [article available from SpringerLink] [local version pdf -- password protected]
  
  
• 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. [ps]
  
  

2001

• 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. [pdf]
  
  
• 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, Vol. 61, pp.133-141). [pdf]
  
  
• G.Eleftherakis, P.Kefalas, A.Sotiriadou, "XmCTL: Extending Temporal Logic to Facilitate Formal Verification of X-Machines Models", in Annales Univerisitate Bucurest Matematica. Informatica, Annul L, pp.79-95, 2002. [ps]
  
  
• G.Eleftherakis, P.Kefalas, "Towards Model Checking of Finite State Machines Extended with Memory through Refinement", In Proceedings of the 5th World MultiConference on Circuits, Systems, Communications Computers (CSCC 2001), Crete, July 2001. Also in G.Antoniou, N.Mastorakis, & O.Panfilov (eds.), Advances in Signal Processing and Computer Technologies, World Scientific and Engineering Society Press, pp.321-326, July 2001. [pdf]
  
  
• G.Eleftherakis, "A Formal Framework for Modelling and Validating Medical Systems", In MEDINFO 2001, V.Patel, R.Rogers and R.Haux (eds.), IOS Press, pp.13-17, Sep. 2001.
  
  
• G.Eleftherakis, "XmCTL Model Checking", Technical Report TR-CS03/2001, Dept. of Computer Science, CITY Liberal Studies, Oct 2001.
  
  
• G.Eleftherakis, P.Kefalas, and A.Sotiriadou, "Extending CTL to Facilitate Model Checking of X-machines", Technical Report TR-CS02/2001, Dept. of Computer Science, CITY Liberal Studies, April 2001. [ps]
  
  
• G.Eleftherakis, "Towards Formal Verification of X-machine Models through Model Checking", Technical Report TR-CS01/2001, Dept. of Computer Science, CITY Liberal Studies, April 2001.
  
  

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). [pdf]
  
  
• 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.
  
  
• 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.
  
  
• A.Sotiriadou, P.Kefalas, "Teaching Formal Methods in Computer Science Undergraduates", 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. [pdf]
  
  
• G.Eleftherakis, P.Kefalas, "Model Checking Safety Critical Systems Specified as X-Machines",Annales Univerisitate Bucurest Matematica. Informatica; Vol. 49, No 1, pp.59-70, 2001. [pdf]
  
  
• 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. [pdf]
  
  
• P.Kefalas, G.Eleftherakis, and E.Kehris, "Communicating X-Machines: A Practical Approach for Modular Specification of Large Systems", Technical Report TR-CS09/2000, Dept. of Computer Science, CITY Liberal Studies, September 2000.
  
  
• G.Eleftherakis, "Model checking a X-machine specification", Technical Report TR-CS02/2000, Dept. of Computer Science, CITY Liberal Studies, January 2000.
  
  

1999

• G.Eleftherakis, "Applying formal methods in medical applications", Technical Report TR-CS01/1999, Dept. of Computer Science, CITY Liberal Studies, October 1999.