 |
|
Jahrgang 2014Jahrgang 2006- Nr. 01: König, Barbara; Kozioura, Vitali: Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems, Technischer Bericht Nr. 2006/01.
- Nr. 02: Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan: Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems, Technischer Bericht Nr. 2006/02.
- Nr. 09: Suwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier: Efficient Algorithms for Alternating Pushdown Systems: Application to Certificate Chain Discovery with Threshold Subjects, Technischer Bericht Nr. 2006/09.
Jahrgang 2005Jahrgang 2004- Nr. 01: Ehrig, Hartmut; König, Barbara: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version), Technischer Bericht Nr. 2004/01.
- Nr. 05: Heljanko, Keijo; Stefanescu, Alin: Complexity results for checking distributed implementability, Technischer Bericht Nr. 2004/05.
- Nr. 06: Schwoon, Stefan; Esparza, Javier: A Note on On-The-Fly Verification Algorithms, Technischer Bericht Nr. 2004/06.
- Nr. 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, Technischer Bericht Nr. 2004/08.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum