Dimitris Dranidis
Dimitris Dranidis
Senior Lecturer of Computer Science, CITY College, International Faculty of the Univ. of Sheffield
Verified email at city.academic.gr - Homepage
Title
Cited by
Cited by
Year
A survey of service oriented development methodologies
E Ramollari, D Dranidis, AJH Simons
The 2nd European Young Researchers Workshop on Service Oriented Computing 75, 2007
1202007
StudentUML: An educational tool supporting object-oriented analysis and design
E Ramollari, D Dranidis
Proceedings of the 11th Panhellenic Conference on Informatics, 363-373, 2007
462007
Run-time verification of behavioural conformance for conversational web services
D Dranidis, E Ramollari, D Kourtesis
2009 Seventh IEEE European Conference on Web Services, 139-147, 2009
452009
Formal verification of web service behavioural conformance through testing
D Dranidis, D Kourtesis, E Ramollari
Annals of Mathematics, Computing & Teleinformatics 1 (5), 36-43, 2007
392007
Increased reliability in SOA environments through registry-based conformance testing of web services
D Kourtesis, E Ramollari, D Dranidis, I Paraskakis
Production Planning and Control 21 (2), 130-144, 2010
342010
Leveraging semantic web service descriptions for validation by automated functional testing
E Ramollari, D Kourtesis, D Dranidis, AJH Simons
European Semantic Web Conference, 593-607, 2009
332009
An extensible architecture for run-time monitoring of conversational web services
K Bratanis, D Dranidis, AJH Simons
Proceedings of the 3rd International Workshop on Monitoring, Adaptation and …, 2010
312010
Discovery and selection of certified web services through registry-based testing and verification
D Kourtesis, E Ramollari, D Dranidis, I Paraskakis
Working Conference on Virtual Enterprises, 473-482, 2008
242008
Enabling proactive adaptation through just-in-time testing of conversational services
D Dranidis, A Metzger, D Kourtesis
European Conference on a Service-Based Internet, 63-75, 2010
222010
JSXM: A tool for automated test generation
D Dranidis, K Bratanis, F Ipate
International Conference on Software Engineering and Formal Methods, 352-366, 2012
192012
Evaluation of studentuml: an educational tool for consistent modelling with uml
D Dranidis
Proc. Informatics Education Europe II Conference, 248-256, 2007
182007
Cloud e-learning: A new challenge for multi-agent systems
K Pireva, P Kefalas, D Dranidis, T Hatziapostolou, A Cowling
Agent and Multi-Agent Systems: Technologies and Applications, 277-287, 2014
172014
Formal modelling of use cases with X-machines
D Dranidis, K Tigka, P Kefalas
Proc. 1st South-East European Workshop on Formal Methods, 72-83, 2003
162003
Research Challenges on Multi-layer and Mixed-Initiative Monitoring and Adaptation for Service-Based Systems
A Marconi, A Bucchiarone, K Bratanis, A Brogi, J Cámara, D Dranidis, ...
142012
Our experience with informative and communication technologies (ICT) in dementia.
M Tsolaki, S Zygouris, I Lazarou, I Kompatsiaris, L Chatzileontiadis, ...
Hellenic journal of nuclear medicine 18, 131-139, 2015
132015
Towards run-time monitoring of web services conformance to business-level agreements
K Bratanis, D Dranidis, AJH Simons
International Academic and Industrial Conference on Practice and Research …, 2010
122010
Semantic annotation, publication, and discovery of Java software components: an integrated approach
Z Zygkostiotis, D Dranidis, D Kourtesis
AIAI-2009 Workshops Proceedings 475, 168-178, 2009
112009
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study
K Bratanis, D Dranidis, AJH Simons
Proceedings of the International Workshop on Quality Assurance for Service …, 2011
102011
JSXM: A suite of tools for model-based automated test generation: User manual
D Dranidis
City College, 2009
102009
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
92005
The system can't perform the operation now. Try again later.
Articles 1–20