Swen Jacobs

	2012
14		Swen Jacobs, Roderick Bloem: Parameterized Synthesis. TACAS 2012: 362-376
13		Bernd Finkbeiner, Swen Jacobs: Lazy Synthesis. VMCAI 2012: 219-234
	2011
12		Swen Jacobs, Viktor Kuncak: Towards Complete Reasoning about Axiomatic Specifications. VMCAI 2011: 278-293
	2010
11		Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: Automatic Verification of Parametric Specifications with Complex Topologies. IFM 2010: 152-167
10		Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: Automatic Verification of Parametric Specifications with Complex Topologies CoRR abs/1010.1602: (2010)
	2009
9		Swen Jacobs: Incremental Instance Generation in Local Reasoning. CAV 2009: 368-382
8		Swen Jacobs: Hierarchic decision procedures for verification. Saarland University 2009
	2008
7		Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans: On Local Reasoning in Verification. TACAS 2008: 265-281
	2007
6		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. ATVA 2007: 425-440
5		Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs: Local Theory Extensions, Hierarchical Reasoning and Applications to Verification. Deduction and Decision Procedures 2007
4		Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. IFM 2007: 233-252
3		Swen Jacobs, Viorica Sofronie-Stokkermans: Applications of Hierarchical Reasoning in the Verification of Complex Systems. Electr. Notes Theor. Comput. Sci. 174(8): 39-54 (2007)
2		Swen Jacobs, Uwe Waldmann: Comparing Instance Generation Methods for Automated Reasoning. J. Autom. Reasoning 38(1-3): 57-78 (2007)
	2005
1		Swen Jacobs, Uwe Waldmann: Comparing Instance Generation Methods for Automated Reasoning. TABLEAUX 2005: 153-168

Coauthor Index

1	Roderick Bloem (Roderick Paul Bloem)	[14]
2	Werner Damm	[6]
3	Stefan Disch	[6]
4	Johannes Faber	[4] [10] [11]
5	Bernd Finkbeiner	[13]
6	Hardi Hungar	[6]
7	Carsten Ihlemann	[5] [7] [10] [11]
8	Viktor Kuncak	[12]
9	Jun Pang	[6]
10	Florian Pigorsch	[6]
11	Christoph Scholl	[6]
12	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[3] [4] [5] [7] [10] [11]
13	Uwe Waldmann	[1] [2] [6]
14	Boris Wirtz	[6]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page