|
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
|
|
|
|
|
