Dr. Ingo Brückner

email: Ingo.Brueckner In March 2008 Ingo Brückner completed his PhD with the dissertation “Slicing Integrated Formal Specifications for Verification”, which is available as Technical Report No. 02/08 of the Department of Computing Science at the University of Oldenburg.

 

Curriculum Vitae

2/2004-3/2008	Research Assistant in the Correct System Design Group
2/2002-1/2004	Research Assistant in the Division Safety Critical Systems of OFFIS
1/2002	MSc in Informatics at the University of Oldenburg

Projects

• AVACS (Automatic Verification and Analysis of Complex Systems)
• Software-Kompetenz.de (until 2003: Virtual Software Engineering Competence Centre ViSEK)

Publications

[Brü07]

I. Brückner. Slicing Concurrent Real-Time System Specifications for Verification. In J. Davies and J. Gibbons, editors, Integrated Formal Methods, volume 4591 of Lecture Notes in Computer Science, pages 54-74. Springer-Verlag, July 2007.
[ bib | .pdf | Abstract ]

[BDFW07]

I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim. Slicing Abstractions. In F. Arbab and M. Sirjani, editors, FSEN 2007: IPM International Symposium on Fundamentals of Software Engineering, volume 4767 of Lecture Notes in Computer Science, pages 17-32. Springer, April 2007.
[ bib | .pdf | Abstract ]

[BMW06]

I. Brückner, B. Metzler, and H. Wehrheim. Optimizing slicing of formal specifications by deductive verification. Nordic Journal of Computing, 13(1-2):22-45, August 2006.
[ bib | .pdf | Abstract ]

[BM05]

I. Brückner and B. Metzler. Deductive Verification for Improving Slicing of Integrated Formal Specifications. In Proceedings of the 17th Nordic Workshop on Programming Theory, pages 39-41. University of Copenhagen, Denmark, October 2005.
[ bib | .pdf ]

[BW05d]

Ingo Brückner and Heike Wehrheim. Slicing an Integrated Formal Method for Verification. In Kung-Kiu Lau and Richard Banach, editors, ICFEM 2005: Seventh International Conference on Formal Engineering Methods, volume 3785 of Lecture Notes in Computer Science, pages 360-374. Springer, November 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[BW05a]

I. Brückner and H. Wehrheim. Slicing CSP-OZ Specifications for Verification. Technical Report 7, SFB/TR 14 AVACS, http://www.avacs.org/, 2005.
[ bib | .pdf ]

[Brü05]

I. Brückner. Slicing CSP-OZ Specifications for Verification. Poster Session, 4th International Conference of B and Z Users (ZB '05), April 2005.
[ bib ]

[BW05b]

I. Brückner and H. Wehrheim. Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, volume 3455 of LNCS, pages 414-433. Springer, April 2005. This publication is available at SpringerLink.
[ bib | .pdf | Abstract ]

[BW05c]

I. Brückner and H. Wehrheim. Slicing Object-Z Specifications for Verification. Technical Report 3, SFB/TR 14 AVACS, http://www.avacs.org/, 2005.
[ bib | .pdf ]

[Brü04]

I. Brückner. Slicing CSP-OZ Specifications. In P. Pettersson and W. Yi, editors, Proceedings of the 16th Nordic Workshop on Programming Theory, number 2004-041 in Technical Reports of the Department of Information Technology, pages 71-73. Uppsala University, Sweden, October 2004.
[ bib | .pdf ]

[BHB⁺04]

M. Bretschneider, H.-J. Holberg, E. Böde, I. Brückner, T. Peikenkamp, and H. Spenke. Model-based Safety Analysis of a Flap Control System. In T. Fossnes and M. Galinier, editors, Proceedings of the 14th Annual International INCOSE Symposium 2004, Toulouse, June 2004.
[ bib | .pdf | Abstract ]

[BBB⁺04]

R. Buschermöhle, M. Brörkens, I. Brückner, W. Damm, W. Hasselbring, B. Josko, C. Schulte, and T. Wolf. Model Checking - Grundlagen und Praxiserfahrungen. Informatik Spektrum, 27(2):146-158, April 2004.
[ bib | .pdf | Abstract ]

[SBB⁺03]

C. Schulte, M. Brörkens, I. Brückner, R. Buschermöhle, and T. Wolf. Sicherheit für sicherheitskritische Systeme. Electronic Embedded Systeme, pages 19-21, September 2003.
[ bib | .pdf | Abstract ]

Theses

[Br8a]

I. Brückner. Slicing Integrated Formal Specifications for Verification. PhD thesis, University of Oldenburg, March 2008.
[ bib ]

[Br8b]

I. Brückner. Slicing integrated formal specifications for verification. Reports of the Department for Computing Science 2/08, University of Oldenburg, March 2008. ISSN: 0946-2910.
[ bib ]