Ingo Brückner

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. Fundam. Informaticae 89 (4) (2008)
Ingo Brückner
Slicing Concurrent Real-Time System Specifications for Verification. IFM (2007)
Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim
Slicing Abstractions. FSEN (2007)
Ingo Brückner, Björn Metzler, Heike Wehrheim
Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13 (1-2) (2006)
Ingo Brückner, Heike Wehrheim
Slicing an Integrated Formal Method for Verification. ICFEM (2005)
Ingo Brückner, Heike Wehrheim
Slicing Object-Z Specifications for Verification. ZB (2005)
Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf
Model Checking (Grundlagen und Praxiserfahrungen). Inform. Spektrum 27 (2) (2004)