

|
Home « Team « Publications
» Publications of
Sebastian Kinder
|
 |


 |
BOOKS |
 |

» Automated Validation and Verification of Railway Specific Components and Systems
[Read more about this book!]
|

 |
 |

Publisher: |

|

Shaker Verlag |
Author:
|

|
Sebastian Kinder |
Format: |

|
Gebunden |
Year:
|

|
2008
|

|
 |
BOOK CONTRIBUTIONS |
 |
 |
JOURNALS |
 |

» Modeling and Proving Completeness in Formal Verification of Counting Heads
[Link to the Homepage of this journal]
|

 |
 |

|

|

|
Author:
|

|
Sebastian Kinder, Rolf Drechsler |
Journal: |

|
Software Tools for Technology Transfer (STTT)
|
Details: |

|
Springer, Volume 10, Number 6, pp. 521 - 534 |
Year:
|

|
2008
|

|

» An Integrated Approach for Combining BDDs and SAT Provers
[Link to the Homepage of this journal]
|

 |
 |

|

|

|
Author:
|

|
Rolf Drechsler, Görschwin Fey, Sebastian Kinder |
Journal: |

|
Facta Universitatis, Series: Electronics and Energetics
|
Details: |

|
Volume 20, Number 3, pp. 415-436 |
Year:
|

|
2007
|

|
 |
CONFERENCES |
 |

» Efficient Formal Verification of Track Vacancy Detection Sections
|

|

|

|
Author:
|

|
Sebastian Kinder und Rolf Drechsler |
Conference: |

|
Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)
|
Reference:
| 
| pp. 233-240, Budapest, 2008
| Hyperlink:
| 
| [To the Site of this Conference]
|

» Proving Completeness of Properties in Formal Verification of Counting Heads for Railways
|

|

|

|
Author:
|

|
Sebastian Kinder and Rolf Drechsler |
Conference: |

|
Euromicro Conference on Digital System Design (DSD)
Architectures, Methods and Tools |
Reference:
| 
| Lübeck, 2007
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Modeling and Formal Verification of Counting Heads for Railways
|

|

|

|
Author:
|

|
Sebastian Kinder, Rolf Drechsler |
Conference: |

|
Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007) |
Reference:
| 
| Braunschweig, 2007
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» An Integrated Approach for Combining BDD and SAT Provers
|

|

|

|
Author:
|

|
Rolf Drechsler, Görschwin Fey, Sebastian Kinder |
Conference: |

|
International Conference on VLSI Design |
Reference:
| 
| Hyderabad, 2006
| Hyperlink:
| 
| [To the Site of this Conference]
| PDF:
| 
| [view Pdf]
|

» Controlling the Memory During Manipulation of Word-Level Decision Diagrams
|

|

|

|
Author:
|

|
Sebastian Kinder, Görschwin Fey, Rolf Drechsler |
Conference: |

|
IEEE International Symposium on Multi-Valued Logic (ISMVL 2005) |
Reference:
| 
| pp. 250-255, Calgary, 2005
| Hyperlink:
| 
| [To the Site of this Conference]
| PS:
| 
| [view PS]
|

» Using Games for Benchmarking and Representing the Complete Solution Space Using Symbolic Techniques
|

|

|

|
Author:
|

|
Görschwin Fey, Sebastian Kinder and Rolf Drechsler |
Conference: |

|
IEEE International Symposium on Multi-Valued Logic (ISMVL'2003) |
Reference:
| 
| pp. 361-366, Tokyo, 2003
| PS:
| 
| [view PS]
|
 |
WORKSHOPS |
 |

» Estimating the Quality of AND-EXOR Optimization Results
|

|

|

|
Author:
|

|
Sebastian Kinder, Görschwin Fey and Rolf Drechsler |
Workshop: |

|
8th Workshop on Applications of the Reed-Muller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology (RM2007) |
Reference:
| 
| Oslo, 2007
| Hyperlink:
| 
| [Link to the Workshop]
|

» Efficient Design-Flow for Counting Heads
|

|

|

|
Author:
|

|
Sebastian Kinder und Rolf Drechsler |
Workshop: |

|
8. Bieleschweig Workshop „Systems Engineering”:
Modellbasierte Entwicklung & Human-Centered Engineering |
Reference:
| 
| Braunschweig 2006
| PDF:
| 
| [view Pdf]
| Hyperlink:
| 
| [Link to the Workshop]
|

» Bounded Model Checking mit SystemC
|

|

|

|
Author:
|

|
Sebastian Kinder, Rolf Drechsler, Jan Peleska |
Workshop: |

|
Bieleschweig 6 - Workshop "Systems Engineering" |
Reference:
| 
| Braunschweig, 2005
|

» Bounded Model Checking of Tram Control Systems
|

|

|

|
Author:
|

|
Sebastian Kinder, Daniel Große, Jan Peleska, Rolf Drechsler |
Workshop: |

|
TRain Workshop @ SEFM2005 |
Reference:
| 
| Koblenz, 2005
|
|
 |
|
|