Sebastian Kinder

According to our database, Sebastian Kinder authored at least 6 papers between 2003 and 2011.

Collaborative distances:

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

2011

A formal approach for the construction and verification of railway control systems.

Anne E. Haxthausen, Jan Peleska, Sebastian Kinder

Formal Aspects Comput., 2011

2008

Modeling and proving functional completeness in formal verification of counting heads.

Sebastian Kinder, Rolf Drechsler

Int. J. Softw. Tools Technol. Transf., 2008

2007

Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.

Sebastian Kinder, Rolf Drechsler

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

2006

An Integrated Approach for Combining BDD and SAT Provers.

Rolf Drechsler, Görschwin Fey, Sebastian Kinder

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

2005

Controlling the Memory During Manipulation of Word-Level Decision Diagrams.

Sebastian Kinder, Görschwin Fey, Rolf Drechsler

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2003

Using Games for Benchmarking and Representing the Complete Solution Space using Symbolic Techniques.

Görschwin Fey, Sebastian Kinder, Rolf Drechsler

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003