| 2008 |
|---|
| 7 | EE | Carsten Ihlemann,
Swen Jacobs,
Viorica Sofronie-Stokkermans:
On Local Reasoning in Verification.
TACAS 2008: 265-281 |
| 2007 |
|---|
| 6 | EE | 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 | EE | Viorica Sofronie-Stokkermans,
Carsten Ihlemann,
Swen Jacobs:
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
Deduction and Decision Procedures 2007 |
| 4 | EE | Johannes Faber,
Swen Jacobs,
Viorica Sofronie-Stokkermans:
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.
IFM 2007: 233-252 |
| 3 | EE | 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 | EE | Swen Jacobs,
Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning.
J. Autom. Reasoning 38(1-3): 57-78 (2007) |
| 2005 |
|---|
| 1 | EE | Swen Jacobs,
Uwe Waldmann:
Comparing Instance Generation Methods for Automated Reasoning.
TABLEAUX 2005: 153-168 |
