default search action
Dimitris Dranidis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c19]Thanos Hatziapostolou
, Dimitris Dranidis
An authentic student research experience: fostering research skills and boosting the employability profile of students. ITiCSE 2018: 254-259 - 2016
- [j4]Florentin Ipate, Dimitris Dranidis
A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects Comput. 28(1): 1-20 (2016) - 2015
- [c18]Dimitris Dranidis
Learning and Practicing Systems Analysis and Design with StudentUML. BCI 2015: 41:1-41:8 - [c17]Thanos Hatziapostolou
Quantifying and Evaluating Student Participation and Engagement in an Academic Facebook Group. CSEDU (Selected Papers) 2015: 486-503 - [c16]Ilias Sakellariou
Stream X-Machines for Agent Simulation Test Case Generation. ICAART (Revised Selected Papers) 2015: 37-57 - [c15]Ilias Sakellariou, Dimitris Dranidis, Marina Ntika, Petros Kefalas:
From Formal Modelling to Agent Simulation Execution and Testing. ICAART (1) 2015: 87-98 - 2014
- [c14]Thanos Hatziapostolou
Boosting the Pedagogical Value of Classroom Clicker Systems via the Provision of Formative Feedback. ICALT 2014: 165-167 - [c13]Krenare Pireva, Petros Kefalas
Cloud e-Learning: A New Challenge for Multi-Agent Systems. KES-AMSTA 2014: 277-287 - 2013
- [c12]Adelina Basholli, Fesal Baxhaku
Fair assessment in software engineering capstone projects. BCI 2013: 244-250 - 2012
- [c11]Annapaola Marconi
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems. S-Cube@ICSE 2012: 40-46 - [c10]Dimitris Dranidis
JSXM: A Tool for Automated Test Generation. SEFM 2012: 352-366 - 2011
- [j3]Sonja Trapp, Ervin Ramollari
Collaborative Learning of UML and SysML. Int. J. Eng. Pedagog. 1(2): 6-12 (2011) - [j2]Dimitris Dranidis
Automation of software test (AST '09) [Editorial]. IET Softw. 5(2): 111-112 (2011) - [c9]Konstantinos Bratanis, Dimitris Dranidis
SLAs for cross-layer adaptation and monitoring of service-based applications: a case study. QASBA 2011: 28-32 - 2010
- [c8]Jürgen Börstler
Sharing and discussing UML modeling exercises in a PLE. ITiCSE 2010: 301 - [c7]Dimitris Dranidis
Enabling Proactive Adaptation through Just-in-Time Testing of Conversational Services. ServiceWave 2010: 63-75 - [c6]Konstantinos Bratanis, Dimitris Dranidis
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. TAIC PART 2010: 203-206
2000 – 2009
- 2009
- [j1]Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
Challenges in practice: 4th international workshop on the automation of software test report. ACM SIGSOFT Softw. Eng. Notes 34(4): 32-34 (2009) - [c5]Dimitris Dranidis
Run-time Verification of Behavioural Conformance for Conversational Web Services. ECOWS 2009: 139-147 - [c4]Ervin Ramollari
Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. ESWC 2009: 593-607 - [c3]Dimitris Dranidis
Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. ICSE Companion 2009: 459-460 - [c2]Zinon Zygkostiotis, Dimitris Dranidis, Dimitrios Kourtesis:
Semantic Annotation, Publication and Discovery of Java Software Components: an Integrated Approach. AIAI Workshops 2009: 168-178 - [e1]Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-3711-5 [contents] - 2008
- [c1]Dimitrios Kourtesis, Ervin Ramollari
Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification. Virtual Enterprises and Collaborative Networks 2008: 473-482
1990 – 1999
- 1997
- [b1]Dimitris Dranidis:
A formal framework for the design and specification of neural networks. Ludwig Maximilians University Munich, Shaker 1997, ISBN 3-8265-2467-5, pp. 1-168 - 1995
- [p1]Dimitris Dranidis, Stefan Gastinger:
SPECTRUM. Formal Development of Reactive Systems 1995: 199-228
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: