Search the dblp DataBase

Publications of Author

1. Swen Jacobs, Uwe Waldmann
   Comparing Instance Generation Methods for Automated Reasoning. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2005, pp:153-168 [Conf]
   
2. Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
   Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:425-440 [Conf]
   
3. Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
   Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:233-252 [Conf]
   
4. Swen Jacobs, Viorica Sofronie-Stokkermans
   Applications of Hierarchical Reasoning in the Verification of Complex Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:8, pp:39-54 [Journal]
   
5. Swen Jacobs, Uwe Waldmann
   Comparing Instance Generation Methods for Automated Reasoning. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2007, v:38, n:1-3, pp:57-78 [Journal]
   
6. 
   Incremental Instance Generation in Local Reasoning. [Citation Graph (, )][DBLP]
   
   
7. 
   Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. [Citation Graph (, )][DBLP]
   
   
8. 
   On Local Reasoning in Verification. [Citation Graph (, )][DBLP]