Dr. Ingo Brückner

E-Mail: Ingo.Brueckner Ingo Brückner promovierte im März 2008 an der Universität Paderborn mit der Dissertation „Slicing Integrated Formal Specifications for Verification“, die als Bericht Nummer 02/08 des Departments für Informatik an der Universität Oldenburg erhältlich ist.

 

Curriculum Vitae

2/2004-3/2008	Wissenschaftlicher Mitarbeiter in der Abteilung Entwicklung korrekter Systeme
2/2002-1/2004	Wissenschaftlicher Mitarbeiter im Bereich Sicherheitskritische Systeme des OFFIS
1/2002	Informatik-Diplom an der Universität Oldenburg

Projekte

• AVACS (Automatic Verification and Analysis of Complex Systems)
• Software-Kompetenz.de (bis 2003: Virtuelles Software Engineering Kompetenzzentrum ViSEK)

Publikationen

[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 ]

Abschlussarbeiten

[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 ]