Sebastian Kinder

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Anne E. Haxthausen, Jan Peleska, Sebastian Kinder
A formal approach for the construction and verification of railway control systems. Formal Aspects Comput. 23 (2) (2011)
Sebastian Kinder, Rolf Drechsler
Modeling and proving functional completeness in formal verification of counting heads. Int. J. Softw. Tools Technol. Transf. 10 (6) (2008)
Sebastian Kinder, Rolf Drechsler
Proving Completeness of Properties in Formal Verification of Counting Heads for Railways. DSD (2007)
Rolf Drechsler, Görschwin Fey, Sebastian Kinder
An Integrated Approach for Combining BDD and SAT Provers. VLSI Design (2006)
Sebastian Kinder, Görschwin Fey, Rolf Drechsler
Controlling the Memory During Manipulation of Word-Level Decision Diagrams. ISMVL (2005)
Görschwin Fey, Sebastian Kinder, Rolf Drechsler
Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques. ISMVL (2003)