Your search returned the following 4 documents:

4. Applications of hierarchical reasoning in the verification of complex systems
   Swen Jacobs and Viorica Sofronie-Stokkermans
   Electronic Notes in Theoretical Computer Science , 2007
   
3. Applications of hierarchical reasoning in the verification of complex systems
   Swen Jacobs and Viorica Sofronie-Stokkermans
   In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, Seattle, USA, 2006, 15-26
   [PDF: Download: 13_jacobs_sofronie.pdf]
   
2. Instance Generation Methods for Automated Reasoning
   Swen Jacobs
   Master's thesis, Universität des Saarlandes, 2004
   [PS: Download: InstanceGenerationMethods.ps.gz]
   
1. Comparing Instance Generation Methods for Automated Reasoning
   Swen Jacobs and Uwe Waldmann
   In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, Koblenz, Germany, 2005, 153-168
   [PDF: Download: InstGen-final.pdf]