More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

14. MBMV 2011: Oldenburg, Germany

> Home > Conferences and Workshops > MBMV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/2011
Frank Oppenheimer:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. OFFIS-Institut für Informatik 2011
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MorbeS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MorbeS11
Georges Morbé, Christoph Scholl:
Fully Symbolic Model Checking for Timed Automata. MBMV 2011: 9-18
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BraitlingWBJA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BraitlingWBJA11
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Appold11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Appold11
Christian Appold:
Symbolic Model Checking with Isomorphism Exploiting Transition Relations. MBMV 2011: 29-38
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/VortlerKFH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/VortlerKFH11
Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt:
Formale Verifikation von Contiki-Anwendungen. MBMV 2011: 39-48
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Henkel11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Henkel11
Jörg Henkel:
Dependable Embedded Systems - Introduction and overview of the DFG SPP-1500. MBMV 2011: 49-49
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/PavlenkoWSKDSG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/PavlenkoWSKDSG11
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer, Frank Seelisch, Gert-Martin Greuel:
STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. MBMV 2011: 51-60
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/NguyenWSSK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/NguyenWSSK11
Minh D. Nguyen, Markus Wedler, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz:
Formal Hardware/Software Co-Verification by Interval Property Checking with Abstraction. MBMV 2011: 61-70
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MorgensternS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MorgensternS11
Andreas Morgenstern, Klaus Schneider:
Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV 2011: 71-80
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KollnerYM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KollnerYM11
Christian Köllner, Hai Yao, Klaus D. Müller-Glaser:
Entwurfsmethodiken zur Echtzeitsimulation physikalisch motivierter Modelle auf FPGAs: Eine Fallstudie. MBMV 2011: 81-90
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KollmannPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KollmannPS11
Steffen Kollmann, Victor Pollex, Frank Slomka:
Reducing Response Times by Competition Based Dependencies. MBMV 2011: 91-100
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BraunGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BraunGR11
Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel:
SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study. MBMV 2011: 101-109
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Juurlink11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Juurlink11
Ben H. H. Juurlink:
Multi-Core - the Future of Embedded Systems. MBMV 2011: 111-111
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MillerSB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MillerSB11
Christian Miller, Christoph Scholl, Bernd Becker:
Verifying Incomplete Networks of Timed Automata. MBMV 2011: 113-122
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/DornesSE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DornesSE11
Tobias Dornes, Martin Schweikert, Hans Eveking:
Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. MBMV 2011: 123-132
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GiesslerRM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GiesslerRM11
André Gießler, Jörg Ritter, Paul Molitor:
BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems. MBMV 2011: 133-143
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/IttershagenHGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/IttershagenHGR11
Philipp Ittershagen, Philipp A. Hartmann, Kim Grüttner, Achim Rettberg:
Ein generisches Treiber-Framework zur HW/SW-Kommunikation mittels OSSS-RMI. MBMV 2011: 145-154
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KubaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KubaM11
Matthias Kuba, Zekeriya Mansuroglu:
Untersuchung von Methoden zur Hardwarebeschleunigung eines FPGA-basierten Java-Systems mit Soft-IP Prozessor. MBMV 2011: 155-162
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/AdlerGRM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/AdlerGRM11
Nico Adler, Daniel Gebauer, Clemens Reichmann, Klaus D. Müller-Glaser:
Modellbasierte Erfassung von Optimierungsaktivitäten als Grundlage zur Systemoptimierung von Elektrik-/Elektronik-Architekturen. MBMV 2011: 163-172
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KleenXGBN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KleenXGBN11
Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel:
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS. MBMV 2011: 173-182
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SoekenKFFD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SoekenKFFD11
Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler:
Towards Automatic Property Generation for the Formal Verification of Bus Bridges. MBMV 2011: 183-192
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SeffrinH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SeffrinH11
André Seffrin, Sorin A. Huss:
Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications. MBMV 2011: 193-202
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GremzowML11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GremzowML11
Carsten Gremzow, Nico Moser, Jan Lucas:
sysCgen - A Tool for SystemC TLM Simulator Synthesis. MBMV 2011: 203-206
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Muller11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Muller11
Clemens Müller:
Requirements for Next Generation Functional Verification. MBMV 2011: 207-207
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/SchweikertDE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/SchweikertDE11
Martin Schweikert, Tobias Dornes, Hans Eveking:
Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen. MBMV 2011: 209-218
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/Defo0R11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Defo0R11
Gilles B. Defo, Wolfgang Müller, Heinrich Rommel:
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. MBMV 2011: 219-228
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/MaudererOR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/MaudererOR11
Andreas Mauderer, Jan-Hendrik Oetjens, Wolfgang Rosenstiel:
System-Level Design for Automotive Mixed-Signal ASICs: An Industrial Point of View. MBMV 2011: 229-238
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BrandtS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BrandtS11
Jens Brandt, Klaus Schneider:
Round Trip to Asynchrony and Synchrony. MBMV 2011: 239-248
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/WilleSGSD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WilleSGSD11
Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler:
Designing a RISC CPU in Reversible Logic. MBMV 2011: 249-258
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BehrendHHLRKR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BehrendHHLRKR11
Jörg Behrend, Patrick Heckeler, Stefan Huster, Djones Lettnin, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Scalable and Extendable Hybrid Verification Platform. MBMV 2011: 259-268
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GrosseGKD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GrosseGKD11
Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler:
Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction. MBMV 2011: 269-278
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KupferschmidB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KupferschmidB11
Stefan Kupferschmid, Bernd Becker:
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. MBMV 2011: 279-288

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.