Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. MBMV 2011: Oldenburg, Germany
- 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 - Georges Morbé, Christoph Scholl:
Fully Symbolic Model Checking for Timed Automata. MBMV 2011: 9-18 - Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28 - Christian Appold:
Symbolic Model Checking with Isomorphism Exploiting Transition Relations. MBMV 2011: 29-38 - Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt:
Formale Verifikation von Contiki-Anwendungen. MBMV 2011: 39-48 - Jörg Henkel:
Dependable Embedded Systems - Introduction and overview of the DFG SPP-1500. MBMV 2011: 49-49 - 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 - 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 - Andreas Morgenstern, Klaus Schneider:
Synthesis of Parallel Sorting Networks using SAT Solvers. MBMV 2011: 71-80 - Christian Köllner, Hai Yao, Klaus D. Müller-Glaser:
Entwurfsmethodiken zur Echtzeitsimulation physikalisch motivierter Modelle auf FPGAs: Eine Fallstudie. MBMV 2011: 81-90 - Steffen Kollmann, Victor Pollex, Frank Slomka:
Reducing Response Times by Competition Based Dependencies. MBMV 2011: 91-100 - 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 - Ben H. H. Juurlink:
Multi-Core - the Future of Embedded Systems. MBMV 2011: 111-111 - Christian Miller, Christoph Scholl, Bernd Becker:
Verifying Incomplete Networks of Timed Automata. MBMV 2011: 113-122 - Tobias Dornes, Martin Schweikert, Hans Eveking:
Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. MBMV 2011: 123-132 - André Gießler, Jörg Ritter, Paul Molitor:
BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems. MBMV 2011: 133-143 - 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 - Matthias Kuba, Zekeriya Mansuroglu:
Untersuchung von Methoden zur Hardwarebeschleunigung eines FPGA-basierten Java-Systems mit Soft-IP Prozessor. MBMV 2011: 155-162 - 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 - Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel:
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS. MBMV 2011: 173-182 - 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 - André Seffrin, Sorin A. Huss:
Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications. MBMV 2011: 193-202 - Carsten Gremzow, Nico Moser, Jan Lucas:
sysCgen - A Tool for SystemC TLM Simulator Synthesis. MBMV 2011: 203-206 - Clemens Müller:
Requirements for Next Generation Functional Verification. MBMV 2011: 207-207 - Martin Schweikert, Tobias Dornes, Hans Eveking:
Erzeugung von Operationseigenschaften aus UML Sequenzdiagrammen. MBMV 2011: 209-218 - 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 - Andreas Mauderer, Jan-Hendrik Oetjens, Wolfgang Rosenstiel:
System-Level Design for Automotive Mixed-Signal ASICs: An Industrial Point of View. MBMV 2011: 229-238 - Jens Brandt, Klaus Schneider:
Round Trip to Asynchrony and Synchrony. MBMV 2011: 239-248 - Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler:
Designing a RISC CPU in Reversible Logic. MBMV 2011: 249-258 - 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 - 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 - Stefan Kupferschmid, Bernd Becker:
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. MBMV 2011: 279-288
a service of 
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.
last updated on 2024-04-15 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
