SPECTRUM. - Dimitris Dranidis; Stefan Gastinger (Formal Development of Reactive Systems, 1995)

A formal framework for the design and specification of neural networks. - Dimitris Dranidis (Shaker, 1997)

Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification. - Dimitrios Kourtesis; Ervin Ramollari; Dimitris Dranidis; Iraklis Paraskakis (Virtual Enterprises and Collaborative Networks, 2008)

Run-time Verification of Behavioural Conformance for Conversational Web Services. - Dimitris Dranidis; Ervin Ramollari; Dimitrios Kourtesis (ECOWS, 2009)

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. - Ervin Ramollari; Dimitrios Kourtesis; Dimitris Dranidis; Anthony J. H. Simons (ESWC, 2009)

Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. - Dimitris Dranidis; Stephen P. Masticola; Paul A. Strooper (ICSE Companion, 2009)

Semantic Annotation, Publication and Discovery of Java Software Components: an Integrated Approach. - Zinon Zygkostiotis; Dimitris Dranidis; Dimitrios Kourtesis (AIAI (Workshops), 2009)

Challenges in practice: 4th international workshop on the automation of software test report. - Dimitris Dranidis; Stephen P. Masticola; Paul A. Strooper (ACM SIGSOFT Softw. Eng. Notes, 2009)

Sharing and discussing UML modeling exercises in a PLE. - Jürgen Börstler; Dimitris Dranidis; Ervin Ramollari; Sonja Trapp; Matthias Heintz 002; Sebastian Weber (ITiCSE, 2010)

Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services. - Dimitris Dranidis; Andreas Metzger; Dimitrios Kourtesis (ServiceWave, 2010)

Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. - Konstantinos Bratanis; Dimitris Dranidis; Anthony J. H. Simons (TAIC PART, 2010)

SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. - Konstantinos Bratanis; Dimitris Dranidis; Anthony J. H. Simons (QASBA, 2011)

Collaborative Learning of UML and SysML. - Sonja Trapp; Ervin Ramollari; Matthias Heintz 002; Sebastian Weber; Dimitris Dranidis; Jürgen Börstler (Int. J. Eng. Pedagog., 2011)

Automation of software test (AST '09) [Editorial]. - Dimitris Dranidis; Stephen P. Masticola; Hong Zhu 002 (IET Softw., 2011)

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. - Annapaola Marconi; Antonio Bucchiarone; Konstantinos Bratanis; Antonio Brogi; Javier Cámara 001; Dimitris Dranidis; Holger Giese; Raman Kazhamiakin; Rogério de Lemos; Clarissa Cassales Marquezan; Andreas Metzger (S-Cube@ICSE, 2012)

JSXM: A Tool for Automated Test Generation. - Dimitris Dranidis; Konstantinos Bratanis; Florentin Ipate (SEFM, 2012)

Fair assessment in software engineering capstone projects. - Adelina Basholli; Fesal Baxhaku; Dimitris Dranidis; Thanos Hatziapostolou (BCI, 2013)

Boosting the Pedagogical Value of Classroom Clicker Systems via the Provision of Formative Feedback. - Thanos Hatziapostolou; Tomor Pupovci; Dimitris Dranidis; Iraklis Paraskakis; Marina Ntika (ICALT, 2014)

Cloud e-Learning: A New Challenge for Multi-Agent Systems. - Krenare Pireva; Petros Kefalas; Dimitris Dranidis; Thanos Hatziapostolou; Anthony J. Cowling (KES-AMSTA, 2014)

Learning and Practicing Systems Analysis and Design with StudentUML. - Dimitris Dranidis; Ioanna Stamatopoulou; Marina Ntika (BCI, 2015)

Quantifying and Evaluating Student Participation and Engagement in an Academic Facebook Group. - Thanos Hatziapostolou; Jorgo Gellci; Dimitris Dranidis; Marina Ntika (CSEDU (Selected Papers), 2015)

From Formal Modelling to Agent Simulation Execution and Testing. - Ilias Sakellariou; Dimitris Dranidis; Marina Ntika; Petros Kefalas (ICAART (1), 2015)

Stream X-Machines for Agent Simulation Test Case Generation. - Ilias Sakellariou; Dimitris Dranidis; Marina Ntika; Petros Kefalas (ICAART (Revised Selected Papers), 2015)

A unified integration and component testing approach from deterministic stream X-machine specifications. - Florentin Ipate; Dimitris Dranidis (Formal Aspects Comput., 2016)

An authentic student research experience: fostering research skills and boosting the employability profile of students. - Thanos Hatziapostolou; Dimitris Dranidis; Anna Sotiriadou; Petros Kefalas; Ioannis Nikolakopoulos (ITiCSE, 2018)