Dimitris Dranidis
Orcid: 0000-0001-5438-1193
According to our database1,
Dimitris Dranidis
authored at least 25 papers
between 1995 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
An authentic student research experience: fostering research skills and boosting the employability profile of students.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
2016
A unified integration and component testing approach from deterministic stream X-machine specifications.
Formal Aspects Comput., 2016
2015
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015
From Formal Modelling to Agent Simulation Execution and Testing.
Proceedings of the ICAART 2015, 2015
Quantifying and Evaluating Student Participation and Engagement in an Academic Facebook Group.
Proceedings of the Computer Supported Education - 7th International Conference, 2015
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015
2014
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014
Boosting the Pedagogical Value of Classroom Clicker Systems via the Provision of Formative Feedback.
Proceedings of the IEEE 14th International Conference on Advanced Learning Technologies, 2014
2013
Proceedings of the Balkan Conference in Informatics, 2013
2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012
2011
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study.
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications, 2011
2010
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements.
Proceedings of the Testing, 2010
Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010
Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010
2009
Challenges in practice: 4th international workshop on the automation of software test report.
ACM SIGSOFT Softw. Eng. Notes, 2009
Semantic Annotation, Publication and Discovery of Java Software Components: an Integrated Approach.
Proceedings of the Workshops of the 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI-2009), 2009
Expanding, theory, and practice: Report on the 4<sup>th</sup> International Workshop on the Automation of Software Test.
Proceedings of the 31st International Conference on Software Engineering, 2009
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing.
Proceedings of the Semantic Web: Research and Applications, 2009
Proceedings of the Seventh IEEE European Conference on Web Services (ECOWS 2009), 2009
2008
Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification.
Proceedings of the Pervasive Collaborative Networks, 2008
1997
PhD thesis, 1997
1995
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995