|
Search the dblp DataBase
Swen Jacobs:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Swen Jacobs, Uwe Waldmann
Comparing Instance Generation Methods for Automated Reasoning. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:153-168 [Conf]
- 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]
- 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]
- 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]
- 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]
Incremental Instance Generation in Local Reasoning. [Citation Graph (, )][DBLP]
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. [Citation Graph (, )][DBLP]
On Local Reasoning in Verification. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|