Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Team « Publikationen
» Publikationen von Mehran Goli


BÜCHER


BUCHBEITRÄGE


ZEITSCHRIFTEN


KONFERENZEN


» Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata




Autor:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Konferenz:
35th IEEE International Conference on Computer Design (ICCD)
Referenz:

Boston Area, Massachusetts, USA, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications




Autor:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz:

Lausanne, Switzerland, 2017
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


» AIBA: an Automated Intra-Cycle Behavioral Analysis for SystemC-based Design Exploration




Autor:

Mehran Goli, Jannis Stoppe, Rolf Drechsler
Konferenz:
IEEE International Conference on Computer Design (ICCD)
Referenz:

Phoenix, USA, 2016
Hyperlink:

[Link zur Konferenz]
PDF:

[hier ansehen]


WORKSHOPS

















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









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt