Ingo Brückner

According to our database, Ingo Brückner authored at least 7 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Slicing integrated formal specifications for verification.

Ingo Brückner

PhD thesis, 2008

Slicing Abstractions.

Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim

Fundam. Informaticae, 2008

2007

Slicing Concurrent Real-Time System Specifications for Verification.

Ingo Brückner

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Optimizing Slicing of Formal Specifications by Deductive Verification.

Ingo Brückner, Björn Metzler, Heike Wehrheim

Nord. J. Comput., 2006

2005

Slicing Object-Z Specifications for Verification.

Ingo Brückner, Heike Wehrheim

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Slicing an Integrated Formal Method for Verification.

Ingo Brückner, Heike Wehrheim

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Model Checking (Grundlagen und Praxiserfahrungen).

Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf

Inform. Spektrum, 2004