 | 2009 |
|---|
| 6 |       | Andreas Griesmayer,
Bernhard K. Aichernig,
Einar Broch Johnsen,
Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects.
FMOODS/FORTE 2009: 225-230 |
| 5 | | Andreas Griesmayer,
Bernhard K. Aichernig,
Einar Broch Johnsen,
Rudolf Schlatte:
Dynamic Symbolic Execution for Testing Distributed Objects.
TAP 2009: 105-120 |
| 4 | | Bernhard K. Aichernig,
Andreas Griesmayer,
Rudolf Schlatte,
Andries Stam:
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009) |
| 2008 |
|---|
| 3 | | Bernhard K. Aichernig,
Andreas Griesmayer,
Einar Broch Johnsen,
Rudolf Schlatte,
Andries Stam:
Conformance Testing of Distributed Concurrent Systems with Executable Designs.
FMCO 2008: 61-81 |
| 2 | | Rudolf Schlatte,
Bernhard K. Aichernig,
Frank S. de Boer,
Andreas Griesmayer,
Einar Broch Johnsen:
Testing Concurrent Objects with Application-Specific Schedulers.
ICTAC 2008: 319-333 |
| 2006 |
|---|
| 1 | | Raphaël Troncy,
Werner Bailer,
Michael Hausenblas,
Philip Hofmair,
Rudolf Schlatte:
Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles.
SAMT 2006: 41-55 |
