| 2008 |
|---|
| 7 | EE | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
Fundam. Inform. 89(4): 369-392 (2008) |
| 2007 |
|---|
| 6 | EE | Ingo Brückner,
Klaus Dräger,
Bernd Finkbeiner,
Heike Wehrheim:
Slicing Abstractions.
FSEN 2007: 17-32 |
| 5 | EE | Ingo Brückner:
Slicing Concurrent Real-Time System Specifications for Verification.
IFM 2007: 54-74 |
| 2006 |
|---|
| 4 | | Ingo Brückner,
Björn Metzler,
Heike Wehrheim:
Optimizing Slicing of Formal Specifications by Deductive Verification.
Nord. J. Comput. 13(1-2): 22-45 (2006) |
| 2005 |
|---|
| 3 | EE | Ingo Brückner,
Heike Wehrheim:
Slicing an Integrated Formal Method for Verification.
ICFEM 2005: 360-374 |
| 2 | EE | Ingo Brückner,
Heike Wehrheim:
Slicing Object-Z Specifications for Verification.
ZB 2005: 414-433 |
| 2004 |
|---|
| 1 | EE | Ralf Buschermöhle,
Mark Brörkens,
Ingo Brückner,
Werner Damm,
Wilhelm Hasselbring,
Bernhard Josko,
Christoph Schulte,
Thomas Wolf:
Model Checking (Grundlagen und Praxiserfahrungen).
Informatik Spektrum 27(2): 146-158 (2004) |
