Invited speaker in the 6th SEEITA & 5th MASIT Open
Days Conference (www.seeita.org), Ohrid, Former Yugoslav Republic of
Macedonia, September 2008. "Linking ITSM and SOA: a synergetic fusion"
Keynote speaker in the 5th OTS FORUM 2006 in Chalkidiki,
November 2006. "Agile Methodologies".
Chair of Conferences/Program Committees
SEEFM’09, 4th South-East European Workshop on Formal
Methods, Thessaloniki, December 2009 (co-chaired).
AST’09, Fourth International Workshop on the Automation of
Software Test, May 18-19, 2009, at 31st International Conference on
Software Engineering (ICSE’09), Vancouver, Canada, 2009
(co-chaired).
SEEFM’07, 3rd South-East European Workshop on Formal
Methods, Thessaloniki, November 2007.
eGOV2006, International Workshop on e-Government and its
spatial Dimension, Sofia, June 2006.
Editor in Proceedings/Journals
IET Software, Automation of Software Test, 2009.
3rd South-East European Workshop on Formal Methods,
Service-Oriented Computing-Teaching Formal Methods, Edited by Dimitris
Dranidis & Ilias Sakellariou, South-East European Research
Center, November 2007.
International Workshop on e-Government and its Spatial
Dimension, South-East European Research Centre, Edited by Dimitris
Dranidis and Kostas Dimopoulos Sofia, Bulgaria, June 2006.
1st South-East European Workshop on Formal Methods, Agile
Formal Methods: Practical, Rigorous Methods for a Changing World,
Edited by Dimitris Dranidis & Kalliopi Tigka, South-East
European Research Center, March 2004.
Chair of Steering Committee
SEFM, South-East Network on Formal methods.
Member in Program Committees
MoTes2010, Model-Based Testing and Test Automation,
5th Workshop in conjunction with the annual national conference of German
Assoc. for Informatics (GI),
September, 2010, Leipzig, Germany
MVV 2010, "Model-Based Verification & Validation,
From Research to Practice", Singapore, June 9-11, 2010,
2nd Workshop in conjunction with SSIRI 2010 (
The 4th IEEE International Conference on Secure Software Integration
and Reliability Improvement)
AST 2010, 5th Automated Software Test, a
workshop co-located with ACM/IEEE 32th International Conference on Software
Engineering (ICSE 2010)
MoTes 2009, 4th workshop on "Model-based testing", Annual
national conference of German Association for Informatics (GI), in
Lübeck, Germany, on September, 2009.
BCI 2009, 4th Balkan Conference in Informatics,
Thessaloniki, September 2009.
MVV 2009, "Model-Based Verification & Validation"
Workshop, in "3rd IEEE International Conference on Secure Software
Integration and Reliability Improvement (SSIRI), Shanghai, China, July
8-10, 2009.
MoTes 2008, 3th workshop on "Model-based testing", Annual
national conference of German Association for Informatics (GI), in
Munich, Germany, on September, 2008.
YR-SOC 2008, 3rd Young Researchers Workshop on Service
Oriented Computing, London, UK, June, 2008.
TeSo08, Workshop on Testing of Software - From Research to
Practice, February 19, 2008, Garching, Germany, in conjunction with the
conference Software Engineering 2008 (German Assoc. for Informatics).
ICESA’07, 4th International Conference on Enterprise
Systems and Accounting 2007, Corfu, July 2007.
ICESA’06, 3rd International Conference on Enterprise
Systems and Accounting 2006, Santorini, June 2006.
SEEFM’05, 2nd South-East European Workshop on Formal
Methods, Organised by CITY College and SEERC (South-East European
Research Center), Ochird, November 2005.
ICESA’05, 2nd International Conference on Enterprise
Systems and Accounting 2005, Thessaloniki, July 2005.
ISTACS’05, 5th WSEAS International Conference on Systems
Theory and Scientific Computation.
ICESA’04, 1st International Conference on Enterprise
Systems and Accounting 2004, Thessaloniki, September 2004.
SEEFM’03, 1st South-East European Workshop on Formal
Methods, Organised by CITY College and SEERC (South-East European
Research Center), Thessaloniki, November 2003.
Member in Organising Committees
ISHIMR2005, The Tenth International Symposium on Health
Information Management Research, Theme: "Improving the quality of
health informationan international perspective", Thessaloniki, Greece,
September 2005.
Reviewer in Journals
Modeling and Implementation of Service-Oriented Enterprise
Systems, IEEE Transactions on Services Computing, (2009)
Software Testing, Verification and Reliability. (2009)
