Department Software Reliability and Security | Publications : Technical Reports

Software Reliability and Security : Publications

No. 05: Becker, Steffen; Hasselbring, Wilhelm; van Hoorn, Andre; Kounev, Samuel; Reussner, Ralf: Proceedings of the 2014 Symposium on Software Performance (SOSP '14): Joint Descartes/Kieker/Palladio Days, Technical Report No. 2014/05.
No. 204: Miller, Alexander; Lekar, Dominik: Evaluation of Analysis and Visualization Tools for Performance Data, Technical Report No. 2014/204.

No. 06: Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technical Report No. 2005/06.

No. 01: Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technical Report No. 2004/01.
No. 05: Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technical Report No. 2004/05.
No. 06: Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technical Report No. 2004/06.
No. 08: Dotti, Fernando Luis; König, Barbara; Marchi do Santos, Osmar; Ribeiro, Leila: A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems, Technical Report No. 2004/08.