D. Dranidis, K. Dimopoulos (editors), Proceedings of the
International Workshop on e-Government and its Spatial Dimension,
South-East European Research Centre, ISBN 978-960-89629-0-3,Sofia,
Bulgaria, June 2006.
D. Dranidis, K. Tigka, editors, Proceedings of the 1st
South-East European Workshop on Formal Methods, Agile Formal Methods:
Practical, Rigorous Methods for a changing World, South-East European
Research Centre, ISBN 960-87869-1-6, March 2004.
D. Dranidis, A Formal Framework for the Description and
Specification of Neural Networks, PhD Thesis, Computer Science
Institute, Ludwig-Maximilians University of Munich, Shaker Verlag -
Informatik, ISBN 3-8265-2467-5, 1997.
Recent Journal/Conference publications
D. Kourtesis, E. Ramollari,
D. Dranidis, and I. Paraskakis, “Increased
Reliability in SOA Environments through Registry-Based Conformance
Testing of Web Services,” Special issue of Journal on Production
Planning & Control on Engagement in Collaborative Networks,
Taylor & Francis, 2009,(in press).
D. Dranidis, E. Ramollari, D. Kourtesis, Run-time
Verification of
Behavioural Conformance for Conversational Web Services, European
Conference on Web Services, Eindhoven, November 2009.
E. Ramollari, D. Kourtesis, D. Dranidis and A.J.H. Simons,
“Leveraging
Semantic Web Service Descriptions for Validation by Automated
Functional Testing, The Semantic Web: Research and Applications,
Springer LNCS 5554, 2009, 3-607.
Z. Zygkostiotis, D. Dranidis, D. Kourtesis, Semantic
Annotation, Publication and Discovery of Java Software Components: An
Integrated Approach. In Proceedings of the 2nd Workshop on Artificial
Intelligence Techniques in Software Engineering (AISEW 2009), 5th IFIP
Conference on Artificial Intelligence Applications and Innovations
(AIAI 2009), 2009.
D. Kourtesis, E. Ramollari, D. Dranidis, I. Paraskakis,
Discovery and Selection of Certified Web Services Through
Registry-Based Testing and Verification. In L. M. Camarinha-Matos,
& W. Picard (Eds.), Pervasive Collaborative Networks (pp.
473–482). IFIP International Federation for Information Processing,
283. Springer Boston, 2008.
E. Ramollari, D. Dranidis, A. J. H. Simons, Reliable Web
Service Discovery based on Formal Behavioural Modelling. In Infusing
Research and Knowledge in South East Europe: Proceedings of the 3rd
Annual South East European Doctoral Student Conference (Vol. 2, pp.
302–314). Thessaloniki, Greece: South East European Research Centre
(SEERC), 2008.
E. Ramollari, D. Kourtesis, D. Dranidis, A. J. H. Simons,
Towards Reliable Web Service Discovery through Behavioural Verification
and Validation. In Proceedings of the 3rd European Young Researchers
Workshop on Service Oriented Computing (YR-SOC 2008). London, UK, 2008.
D. Dranidis, D. Kourtesis, and
E. Ramollari, Formal verification of Web service behavioural
conformance through testing, Annals Of Mathematics, Computing &
Teleinformatics, vol. 1, 2007, pp. 36-43.
D.
Dranidis. Evaluation of StudentUML: an Educational Tool for Consistent
Modelling with UML, Informatics Education Europe II,
Thessaloniki, November 2007.
E. Kehris, D. Dranidis.
Application of Reinforcement Learning for the Generation of an Assembly
Plant Entry Control Policy, 10th International Conference
on Engineering Applications of Neural Networks, Thessaloniki, September
2007.
E. Ramollari, D. Dranidis, A.J. H. Simons. A Survey
of Service Oriented Development Methodologies, in Proceedings of the
2nd European Young Researchers Workshop on Service Oriented Computing,
Leicester, UK, June 2007
E. Ramollari, D. Dranidis.
StudentUML: An Educational Tool Supporting Object-Oriented Analysis and
Design, in Proceedings of the 11th Panhellenic Conference on
Informatics (PCI 2007).
I. Tsiombikas, P. Bamidis and D
Dranidis X-Ray: Photorealistic Rendering System. In Panhellenic Student
Conference, EUREKA 2007.
D. Dranidis, E. Ramollari.
Learning object-oriented modeling with a UML learning assistant tool,
In Proceedings of 4th International Conference on Informatics,
Educational Technology and New Media in Education, Sombor, Serbia,
April 2007.
D.Dranidis, G.Eletherakis, P.Kefalas, Object-based Language
for Generalised State Machines, Annals of Mathematics, Computing and
Teleinformatics, Vol. 1 No 3, ISSN 1109-9305 , 2005, pp 8-17.
B.
Temov, D. Dranidis, The Value Of Web Log Analysis In Strategic Decision
Making For E-Commerce, Balkan Conference in Informatics, November
2005.
D. Taneva, D. Dranidis , K. Tigka. X-machines
specifications in XML, Balkan Conference in Informatics, November
2005
D.Dranidis,
G.Eletherakis, P.Kefalas, Object-based Language for Generalised State
Machines, 1st South-East European Workshop on Formal Methods, November
2005.
D. Dranidis, K. Tigka Supporting test case
generation for extreme programming: a novel approach, 10th Panhellenic
Conference on Informatics, November 2005.
S. Spyrou, P.
Bamidis, D Dranidis, D Vartzopoulos, N. Maglaveras, K. Pappas, A Data
Quality Assessment Framework for Workflow and Message Oriented
Architectures in Regional Health Information Systems, proceedings of
iSHIMR2005 Conference, September 2005, Thessaloniki, Greece.
D.Dranidis, K.Tigka, P.Kefalas, Formal modelling of use
cases with X-machines, SEEFM'03, 1st South-East European Workshop on
Formal Methods, November 2003.
D. Dranidis, K. Tigka., Writing Use Cases in XML, 9th
Panhellenic Conference on Informatics, November 2003, Thessaloniki,
Greece.
