Eleftherakis George
Eleftherakis George
Reader (Associate Professor), The University of Sheffield International Faculty - CITY College
Verified email at citycollege.sheffield.eu
TitleCited byYear
Communicating X-machines: A practical approach for formal and modular specification of large systems
P Kefalas, G Eleftherakis, E Kehris
Information and Software Technology 45 (5), 269-280, 2003
472003
A formal method for the development of agent-based systems
P Kefalas, M Holcombe, G Eleftherakis, M Gheorghe
Intelligent agent software engineering, 68-98, 2003
452003
An agile formal development methodology
G Eleftherakis, AJ Cowling
Proceedings of the 1st South-East European Workshop on Formal Methods, 36-47, 2003
382003
Using X-machines to model and test discrete event simulation programs
E Kehris, G Eleftherakis, P Kefalas
Systems and Control: Theory and Applications, 163-171, 2000
322000
Developing tools for formal methods
P Kefalas, G Eleftherakis, A Sotiriadou
Proceedings of the 9th Panhellenic Conference in Informatics, 625-639, 2003
282003
Membrane computing: 8th international workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007: revised, selected and invited papers
G Eleftherakis, P Kefalas, G Paun, G Rozenberg, A Salomaa
Springer-Verlag New York Inc (LNCS), 2007
22*2007
Formal verification of X-machine models: Towards formal development of computer-based systems
G Eleftherakis
University of Sheffield, 2003
222003
Formal Verification of Agent Models
G Eleftherakis, P Kefalas, A Sotiriadou
22*
Simulation and verification of P systems through communicating X-machines
P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe
BioSystems 70 (2), 135-148, 2003
182003
Communicating X-machines: from theory to practice
P Kefalas, G Eleftherakis, E Kehris
Panhellenic Conference on Informatics, 316-335, 2001
172001
Modular modelling of large-scale systems using communicating X-machines
P Kefalas, G Eleftherakis, E Kehris
Proceedings of the 8th Panhellenic Conference in Informatics, Greek Computer …, 2001
16*2001
Model checking safety critical systems specified as X-machines
G Eleftherakis, P Kefalas
Analele Universitatii Bucharest, Matematica-Informatica series 49, 59-70, 2000
162000
Disciplined exploration of emergence using multi-agent simulation framework
O Paunovski, G Eleftherakis, AJ Cowling
Computing and Informatics 28 (3), 369–391, 2012
152012
Towards model checking of finite state machines extended with memory through refinement
G Eleftherakis, P Kefalas
Advances in signal processing and computer technologies, 321-326, 2001
152001
Transforming communicating X-machines into P systems
P Kefalas, I Stamatopoulou, I Sakellariou, G Eleftherakis
Natural Computing 8 (4), 817, 2009
142009
Formal Modelling of the Dynamic Behaviour of Biology-Inspired, Agent-Based Systems
P Kefalas, G Eleftherakis, I Stamatopoulou
Molecular Computational Models: Unconventional Approaches, 243-276, 2005
142005
Modeling Biology Inspired Reactive Agents Using X-machines.
G Eleftherakis, P Kefalas, A Sotiriadou, E Kehris
International Conference on Computational Intelligence, 93-96, 2004
142004
Architecting the IoT paradigm: a middleware for autonomous distributed sensor networks
G Eleftherakis, D Pappas, T Lagkas, K Rousis, O Paunovski
International Journal of Distributed Sensor Networks 11 (12), 139735, 2015
132015
A modelling language and tool for Population P Systems
I Stamatopoulou, P Kefalas, G Eleftherakis, M Gheorghe
Proceedings of the 10th Panhellenic Conference in Informatics (PCI’05), 11-13, 2005
122005
Object-based language for generalized state machines
D Dranidis, G Eleftherakis, P Kefalas
Annals of Mathematics, Computing and Teleinformatics (AMCT) 1 (3), 8-17, 2005
82005
The system can't perform the operation now. Try again later.
Articles 1–20