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