Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques. - Görschwin Fey; Sebastian Kinder; Rolf Drechsler (ISMVL, 2003)

Controlling the Memory During Manipulation of Word-Level Decision Diagrams. - Sebastian Kinder; Görschwin Fey; Rolf Drechsler (ISMVL, 2005)

An Integrated Approach for Combining BDD and SAT Provers. - Rolf Drechsler; Görschwin Fey; Sebastian Kinder (VLSI Design, 2006)

Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. - Sebastian Kinder; Rolf Drechsler (DSD, 2007)

Modeling and proving functional completeness in formal verification of counting heads. - Sebastian Kinder; Rolf Drechsler (Int. J. Softw. Tools Technol. Transf., 2008)

A formal approach for the construction and verification of railway control systems. - Anne E. Haxthausen; Jan Peleska 001; Sebastian Kinder (Formal Aspects Comput., 2011)