Homepage Sitemap Contact




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

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE