Search the dblp DataBase

Publications of Author

1. Dimitris Dranidis, Stefan Gastinger
   SPECTRUM. [Citation Graph (0, 0)][DBLP]
   Formal Development of Reactive Systems, 1995, pp:199-228 [Conf]
   
2. 
   Run-time Verification of Behavioural Conformance for Conversational Web Services. [Citation Graph (, )][DBLP]
   
   
3. 
   Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing. [Citation Graph (, )][DBLP]
   
   
4. 
   Expanding, theory, and practice: Report on the 4^th International Workshop on the Automation of Software Test. [Citation Graph (, )][DBLP]
   
   
5. 
   Semantic Annotation, Publication and Discovery of Java Software Components: an Integrated Approach. [Citation Graph (, )][DBLP]
   
   
6. 
   Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. [Citation Graph (, )][DBLP]
   
   
8. 
   Sharing and discussing UML modeling exercises in a PLE. [Citation Graph (, )][DBLP]