Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Sebastian Kinder


BÜCHER

» Automated Validation and Verification of Railway Specific Components and Systems
[Lesen Sie hier mehr!]



Verlag:


Shaker Verlag
Autor:

Sebastian Kinder
Format:
Gebunden
Erscheinungsjahr:


2008




BUCHBEITRÄGE


ZEITSCHRIFTEN

» Modeling and Proving Completeness in Formal Verification of Counting Heads
[Link zur Zeitschriften-Homepage]




Autor:

Sebastian Kinder, Rolf Drechsler
Zeitschrift:
Software Tools for Technology Transfer (STTT)
Details:
Springer, Volume 10, Number 6, pp. 521 - 534
Jahr:


2008




» An Integrated Approach for Combining BDDs and SAT Provers
[Link zur Zeitschriften-Homepage]




Autor:

Rolf Drechsler, Görschwin Fey, Sebastian Kinder
Zeitschrift:
Facta Universitatis, Series: Electronics and Energetics
Details:
Volume 20, Number 3, pp. 415-436
Jahr:


2007





KONFERENZEN


» Efficient Formal Verification of Track Vacancy Detection Sections




Autor:

Sebastian Kinder und Rolf Drechsler
Konferenz:
Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008)
Referenz:

pp. 233-240, Budapest, 2008
Hyperlink:

[Link zur Konferenz]


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




Autor:

Sebastian Kinder and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Architectures, Methods and Tools
Referenz:

Lübeck, 2007
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Modeling and Formal Verification of Counting Heads for Railways




Autor:

Sebastian Kinder, Rolf Drechsler
Konferenz:
Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007)
Referenz:

Braunschweig, 2007
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» An Integrated Approach for Combining BDD and SAT Provers




Autor:

Rolf Drechsler, Görschwin Fey, Sebastian Kinder
Konferenz:
International Conference on VLSI Design
Referenz:

Hyderabad, 2006
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


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




Autor:

Sebastian Kinder, Görschwin Fey, Rolf Drechsler
Konferenz:
IEEE International Symposium on Multi-Valued Logic (ISMVL 2005)
Referenz:

pp. 250-255, Calgary, 2005
Hyperlink:

[Link zur Konferenz]
PS:

[hier ansehen]


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




Autor:

Görschwin Fey, Sebastian Kinder and Rolf Drechsler
Konferenz:
IEEE International Symposium on Multi-Valued Logic (ISMVL'2003)
Referenz:

pp. 361-366, Tokyo, 2003
PS:

[hier ansehen]


WORKSHOPS


» Estimating the Quality of AND-EXOR Optimization Results




Autor:

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)
Referenz:

Oslo, 2007
Hyperlink:

[Link zum Workshop]


» Efficient Design-Flow for Counting Heads




Autor:

Sebastian Kinder und Rolf Drechsler
Workshop:
8. Bieleschweig Workshop „Systems Engineering”: Modellbasierte Entwicklung & Human-Centered Engineering
Referenz:

Braunschweig 2006
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]


» Bounded Model Checking mit SystemC




Autor:

Sebastian Kinder, Rolf Drechsler, Jan Peleska
Workshop:
Bieleschweig 6 - Workshop "Systems Engineering"
Referenz:

Braunschweig, 2005


» Bounded Model Checking of Tram Control Systems




Autor:

Sebastian Kinder, Daniel Große, Jan Peleska, Rolf Drechsler
Workshop:
TRain Workshop @ SEFM2005
Referenz:

Koblenz, 2005

















Die englische Version ist  
von hier aus nicht erreichbar -  
bitte eine Seite zurück gehen.









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt