|
Search the dblp DataBase
Rudolf Schlatte:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Raphaël Troncy, Werner Bailer, Michael Hausenblas, Philip Hofmair, Rudolf Schlatte
Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles. [Citation Graph (0, 0)][DBLP] SAMT, 2006, pp:41-55 [Conf]
Conformance Testing of Distributed Concurrent Systems with Executable Designs. [Citation Graph (, )][DBLP]
Dynamic Symbolic Execution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]
Testing Concurrent Objects with Application-Specific Schedulers. [Citation Graph (, )][DBLP]
Dynamic Symbolic Execution for Testing Distributed Objects. [Citation Graph (, )][DBLP]
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|