Sebastian Kinder

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
A formal approach for the construction and verification of railway control systems.
Formal Aspects Comput., 2011

2008
Modeling and proving functional completeness in formal verification of counting heads.
Int. J. Softw. Tools Technol. Transf., 2008

2007
Proving Completeness of Properties in Formal Verification of Counting Heads for Railways.
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

2006
An Integrated Approach for Combining BDD and SAT Provers.
Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

2005
Controlling the Memory During Manipulation of Word-Level Decision Diagrams.
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.
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003


  Loading...