|
Home « Team « Publications
» Publications of
Ulrich Kühne
|
|
 |
BOOKS |
 |
» Advanced Automation in Formal Verification of Processors
[Read more about this book!]
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Ulrich Kühne |
| Format: |
|
Gebunden |
Year:
|
|
2009
|
|
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
» Parametric Verification and Test Coverage for Hybrid Automata using the Inverse Method
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Laurent Fribourg, Ulrich Kühne |
| Journal: |
|
International Journal of Foundations of Computer Science (IJFCS) |
| Details: |
|
Volume 24, Number 02 (February 2013), pp. 233-250 |
Year:
|
|
2013
|
|
» Towards Fully Automatic Synthesis of Embedded Software
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Journal: |
|
IEEE Embedded Systems Letters |
| Details: |
|
Volume 2, Number 3, pp. 53-57, September |
Year:
|
|
2010
|
|
» Analyzing Functional Coverage in Bounded Model Checking
[Link to the Homepage of this journal]
|
 |
|
|
|
|
Author:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Journal: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 27, Number 7, pp. 1305-1314, July |
Year:
|
|
2008
|
|
|
CONFERENCES |
|
» SyDe - a New Graduate School for
System Design in an Excellent Setting
|
|
|
|
Author:
|
|
Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
Informatics Europe (ECSS) |
Reference:
|
| Barcelona, 2012
| Hyperlink:
|
| [To the Site of this Conference]
|
» Completeness-Driven Development
|
|
|
|
Author:
|
|
Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille |
| Conference: |
|
International Conference on Graph Transformation |
Reference:
|
| pp. 38-50, Bremen, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Parametric Analysis of Hybrid Systems Using HyMITATOR (Tool Presentation)
|
|
|
|
Author:
|
|
Étienne André, Ulrich Kühne |
| Conference: |
|
International Conference on Integrated Formal Methods (iFM)
|
Reference:
|
| Pisa, Italy, 2012
| Hyperlink:
|
| [To the Site of this Conference]
|
» IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems (Tool Paper)
|
|
|
|
Author:
|
|
Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat |
| Conference: |
|
International Symposium on Formal Methods (FM) |
Reference:
|
| Paris, France, 2012
| Hyperlink:
|
| [To the Site of this Conference]
|
» Automatic Property Generation for the Formal Verification of Bus Bridges
|
|
|
|
Author:
|
|
Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler |
| Conference: |
|
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| pp. 417-422, Cottbus, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Simulation-based Equivalence Checking between SystemC Models at different Levels of Abstraction
|
|
|
|
Author:
|
|
Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
Great Lakes Symposium on VLSI (GLSVLSI) |
Reference:
|
| pp. 223-228, Lausanne, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Automated Formal Verification of Processors Based on Architectural Models
|
|
|
|
Author:
|
|
Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow |
| Conference: |
|
Formal Methods in Computer Aided Design (FMCAD) |
Reference:
|
| Lugano, Switzerland, 2010
| Hyperlink:
|
| [To the Site of this Conference]
|
» Generating an Efficient Instruction Set Simulator from a Complete Property Suite
|
|
|
|
Author:
|
|
Ulrich Kühne, Sven Beyer, Christian Pichler |
| Conference: |
|
IEEE/IFIP International Symposium on Rapid System Prototyping (RSP) |
Reference:
|
| pp. 109-115, Paris, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» WoLFram - A Word Level Framework for Formal Verification
|
|
|
|
Author:
|
|
Andre Sülflow, Ulrich Kühne, Görschwin Fey, Daniel Große, Rolf Drechsler |
| Conference: |
|
IEEE/IFIP International Symposium on Rapid System Prototyping (RSP) |
Reference:
|
| pp. 11-17, Paris, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Contradictory Antecedent Debugging in Bounded Model Checking
|
|
|
|
Author:
|
|
Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
Great Lakes Symposium on VLSI (GLSVLSI) |
Reference:
|
| pp. 173-176, Boston, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Property Analysis and Design Understanding
|
|
|
|
Author:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE)
|
Reference:
|
| pp. 1246-1249, Nice, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Increasing the Accuracy of SAT-based Debugging
|
|
|
|
Author:
|
|
Andre Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| pp. 1326-1332, Nice, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Formaler Nachweis der Fehlertoleranz von Schaltkreisen
|
|
|
|
Author:
|
|
Görschwin Fey, Andre Sülflow, Stefan Frehse, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
GMM/GI/ITG-Fachtagung: Zuverlässigkeit und Entwurf (ZuE 2008) |
Reference:
|
| pp. 75-82, Ingolstadt, 2008
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Improving the Quality of Bounded Model Checking by Means of Coverage Estimation
|
|
|
|
Author:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Conference: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07) |
Reference:
|
| pp. 165-170, Porto Alegre, 2007
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Estimating Functional Coverage in Bounded Model Checking
|
|
|
|
Author:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
Design, Automation and Test in Europe (DATE) |
Reference:
|
| pp. 1176-1181, Nice, 2007
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» HW/SW Co-Verification of Embedded Systems using Bounded Model Checking
|
|
|
|
Author:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Conference: |
|
Great Lakes Symposium on VLSI (GLSVLSI) |
Reference:
|
| pp. 43-48, Philadelphia, 2006
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method
|
|
|
|
Author:
|
|
Laurent Fribourg, Ulrich Kühne |
| Workshop: |
|
5th Workshop on Reachability Problems (RP) |
Reference:
|
| Genua, 2011
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines
|
|
|
|
Author:
|
|
Kim Grüttner, Andreas Herrholz, Ulrich Kühne, Daniel Große, Achim Rettberg, Wolfgang Nebel, Rolf Drechsler |
| Workshop: |
|
SORT 2011: 2nd IEEE Workshop on Self-Organizing Real-Time Systems |
Reference:
|
| pp. 181-188, Newport Beach, 2011
| Hyperlink:
|
| [Link to the Workshop]
|
» Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction
|
|
|
|
Author:
|
|
Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
14. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
Reference:
|
| pp. 269-278, Oldenburg, 2011
| Hyperlink:
|
| [Link to the Workshop]
|
» Towards Automatic Property Generation for the Formal Verification of Bus Bridges
|
|
|
|
Author:
|
|
Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler |
| Workshop: |
|
14. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
Reference:
|
| Oldenburg, 2011
| Hyperlink:
|
| [Link to the Workshop]
|
» Increasing the Accuracy of SAT-based Debugging
|
|
|
|
Author:
|
|
Andre Sülflow, Görschwin Fey, Cécile Braunstein, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
12. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
Reference:
|
| pp. 47-56, Berlin, 2009
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow
|
|
|
|
Author:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Workshop: |
|
9th International Workshop on Microprocessor Test and Verification (MTV) |
Reference:
|
| pp. 88-93, Austin, Texas, 2008
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Computing Bounds for Fault Tolerance using Formal Techniques
|
|
|
|
Author:
|
|
Andre Sülflow, Görschwin Fey, Stefan Frehse, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
IEEE Workshop on Design for Reliability and Variability (DRV) |
Reference:
|
| Santa Clara, USA, 2008
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking
|
|
|
|
Author:
|
|
Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
11. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen" |
Reference:
|
| pp. 169-178, Freiburg, 2008
| Hyperlink:
|
| [Link to the Workshop]
|
» Evaluation of SAT like Proof Techniques for Formal Verification of Word Level Circuits
|
|
|
|
Author:
|
|
Andre Sülflow, Ulrich Kühne, Robert Wille, Daniel Große, Rolf Drechsler |
| Workshop: |
|
IEEE 8th Workshop on RTL and High Level Testing (WRTLT'07) |
Reference:
|
| pp. 31-36, Beijing, P.R.China, 2007
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» Complete Formal Verification of Multi Core Embedded Systems using Bounded Model Checking
|
|
|
|
Author:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Workshop: |
|
Fifth IEEE Dallas Circuits and Systems Workshop |
Reference:
|
| pp. 147-150, Dallas, 2006
| Hyperlink:
|
| [Link to the Workshop]
|
» Finding Compact BDDs Using Genetic Programming
|
|
|
|
Author:
|
|
Ulrich Kühne, Nicole Drechsler |
| Workshop: |
|
3rd European Workshop on Evolutionary Computation in Hardware Optimisation (EvoHOT)
|
Reference:
|
| LNCS 3907, pp. 308-319, Budapest, 2006
| PDF:
|
| [view Pdf]
| Hyperlink:
|
| [Link to the Workshop]
|
» HW/SW Co-Verification of a RISC CPU using Bounded Model Checking
|
|
|
|
Author:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
6th International Workshop on Microprocessor Test and Verification (MTV'05) |
Reference:
|
| pp. 133-137, Austin, 2005
| PDF:
|
| [view Pdf]
|
» Formale Verifikation des Befehlssatzes eines in SystemC modellierten Mikroprozessors
|
|
|
|
Author:
|
|
Daniel Große, Ulrich Kühne, Rolf Drechsler |
| Workshop: |
|
Entwurfsmethoden für Nanometer VLSI Design |
Reference:
|
| pp. 308-312, Bonn, 2005
| PDF:
|
| [view Pdf]
|
» Modellierung eines Mikroprozessors in SystemC
|
|
|
|
Author:
|
|
Daniel Große, Ulrich Kühne, Christian Genz, Frank Schmiedle, Bernd Becker, Rolf Drechsler, Paul Molitor |
| Workshop: |
|
GI/ITG/GMM-Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
Reference:
|
| München, 2005
| PDF:
|
| [view Pdf]
|
|
|
|
|
