George Eleftherakis
George Eleftherakis
Associate Professor of Computer Science, Penn State University
Verified email at - Homepage
Cited by
Cited by
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
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
An agile formal development methodology
G Eleftherakis, AJ Cowling
Proceedings of the 1st South-East European Workshop on Formal Methods, 36-47, 2003
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
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
Towards 6G IoT: Tracing mobile sensor nodes with deep learning clustering in UAV networks
Y Spyridis, T Lagkas, P Sarigiannidis, V Argyriou, A Sarigiannidis, ...
Sensors 21 (11), 3936, 2021
Developing tools for formal methods
P Kefalas, G Eleftherakis, A Sotiriadou
Proceedings of the 9th Panhellenic Conference in Informatics, 625-639, 2003
Formal verification of X-machine models: Towards formal development of computer-based systems
G Eleftherakis
University of Sheffield, 2003
Simulation and verification of P systems through communicating X-machines
P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe
BioSystems 70 (2), 135-148, 2003
Formal Verification of Agent Models
G Eleftherakis, P Kefalas, A Sotiriadou
Communicating X-machines: from theory to practice
P Kefalas, G Eleftherakis, E Kehris
Panhellenic Conference on Informatics, 316-335, 2001
Disciplined exploration of emergence using multi-agent simulation framework
O Paunovski, G Eleftherakis, AJ Cowling
Computing and Informatics 28 (3), 369–391-369–391, 2009
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
Model checking safety critical systems specified as X-machines
G Eleftherakis, P Kefalas
Analele Universitatii Bucharest, Matematica-Informatica series 49, 59-70, 2000
Transforming communicating X-machines into P systems
P Kefalas, I Stamatopoulou, I Sakellariou, G Eleftherakis
Natural Computing 8, 817-832, 2009
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
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
Modeling Biology Inspired Reactive Agents Using X-machines.
G Eleftherakis, P Kefalas, A Sotiriadou, E Kehris
International Conference on Computational Intelligence, 93-96, 2004
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
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
The system can't perform the operation now. Try again later.
Articles 1–20