Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Finn Haedicke


BÜCHER


BUCHBEITRÄGE
» SMT-based Stimuli Generation in the SystemC Verification Library
Großformat des Buches: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009 Autor:

Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler

Herausgeber:Dominique Borrione
Buchtitel:Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s: Selected Contributions on Specification, Design, and Verification from FDL 2009
Verlag:Springer
Seiten:227-244
Erscheinungsjahr:2010
Format:Hardcover



ZEITSCHRIFTEN

» metaSMT: Focus On Your Application And Not On Solver Integration
[Link zur Zeitschriften-Homepage]




Autor:

Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
Zeitschrift:
International Journal of Software Tools for Technology Transfer
Details:
19(5):605-621, DOI10.1007/s10009-016-0426-1 Link
Jahr:


2017





KONFERENZEN


» Constraint-based Platform Variants Specification for Early System Verification




Autor:

Andreas Burger, Alexander Viehl, Andreas Braun, Finn Haedicke, Daniel Große, Oliver Bringmann, Wolgang Rosenstiel
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz:

pp. 800-805, Singapore, 2014
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» The System Verification Methodology for Advanced TLM Verification




Autor:

Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
Konferenz:
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Referenz:

pp. 313-322, Tampere, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC




Autor:

Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
International Symposium on System-on-Chip (SoC)
Referenz:

pp. 1-7, Tampere, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» A Guiding Coverage Metric for Formal Verification




Autor:

Finn Haedicke, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Dresden, 2012
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Hochoptimierter Ablauf zur Robustheitsprüfung




Autor:

Stefan Frehse, Finn Haedicke, Melanie Diepenbeck, Görschwin Fey, Rolf Drechsler
Konferenz:
GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE)
Referenz:

Hamburg-Harburg, 2011
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Polynomial Datapath Optimization using Constraint Solving and Formal Modelling




Autor:

Finn Haedicke, Bijan Alizadeh, Görschwin Fey, Masahiro Fujita, Rolf Drechsler
Konferenz:
IEEE/ACM International Conference on Computer Aided Design (ICCAD)
Referenz:

San Jose, 2010
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» SMT-based Stimuli Generation in the SystemC Verification Library




Autor:

Robert Wille, Daniel Große, Finn Haedicke, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Referenz:

pp. 1-6, Sophia Antipolis, 2009
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS


» Compilation of Methodologies to Speed up the Verification Process at System Level




Autor:

Stephan Radke, Steffen Rülke, Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, Simon Hufnagel, Nico Bannow, Helmut Brazdrum, Peter Janssen, Hoang M. Le, Daniel Große, Rolf Drechsler, Erhard Fehlauer, Gernot Koch, Andreas Burger, Oliver Bringmann, Wolfgang Rosenstiel, Finn Haedicke, Ralph Görgen, Jan-Hendrik Oetjens
Workshop:
edaWorkshop
Referenz:

pp. 57-62, Hannover, 2012
Hyperlink:

[Link zum Workshop]


» CRAVE: An Advanced Constrained Random Verification Environment for SystemC




Autor:

Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler
Workshop:
15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Referenz:

pp. 37-48, Kaiserslautern, 2012
Software and benchmarks available at www.systemc-verification.org
Hyperlink:

[Link zum Workshop]


» metaSMT: Focus on Your Application not on Solver Integration




Autor:

Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler
Workshop:
DIFTS'11: 1st International workshop on design and implementation of formal tools and systems
Referenz:

pp. 22-29, Austin, USA, 2011
PDF:

[hier ansehen]
Hyperlink:

[Link zum Workshop]

















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









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt