default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. MBMV 2010: Dresden, Germany
- Manfred Dietrich:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. Fraunhofer Verlag 2010 - Daniel Baudisch, Jens Brandt, Klaus Schneider:
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP. MBMV 2010: 11-20 - Robert Wille, Sebastian Offermann, Rolf Drechsler:
SyReC: A Programming Language for Synthesis of Reversible Circuits. MBMV 2010: 21-30 - Jan Langer, Dimo Pepelyashev, Ulrich Heinkel:
Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften. MBMV 2010: 31-40 - Georg Pelz, Monica Rafaila:
From Requirements to Comprehensive Verification of Smart Power ICs. MBMV 2010: 41-45 - Tobias Dornes, Hans Eveking:
Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen. MBMV 2010: 47-56 - Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler:
Verifying UML/OCL Models Using Boolean Satisfiability. MBMV 2010: 57-66 - Steffen Kollmann, Victor Pollex, Frank Slomka:
Holistic Real-Time Analysis with an Expressive Event Model. MBMV 2010: 67-76 - Christian Miller, Stefan Kupferschmid, Bernd Becker:
Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. MBMV 2010: 77-86 - Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Analyzing k-step induction to compute invariants for SAT-based property checking. MBMV 2010: 87-96 - Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker:
Exploiting Different Strategies for the Parallelization of an SMT Solver. MBMV 2010: 97-106 - Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl:
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV 2010: 107-116 - Rainer Kiesel, Otto Löhlein, Anestis Terzis, Martin Streubühr, Christian Haubelt, Jürgen Teich:
Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation. MBMV 2010: 117-126 - Enrico Billich, Marko Rößler, Ulrich Heinkel:
Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading. MBMV 2010: 127-136 - Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich, Rainer Dorsch:
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. MBMV 2010: 137-146 - Jens Schönherr:
Abstracting from Register-Transfer to Algorithmic Level for Verification. MBMV 2010: 147-156 - Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe:
Modellierung des Real-Time-Verhaltens von Steuerungen in der Automatisierungstechnik. MBMV 2010: 157-166 - Alexander Bol, Wolfgang Müller, Alexander Krupp:
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV 2010: 167-176 - Martin Schweikert, Hans Eveking:
Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen. MBMV 2010: 177-186 - Jens Brandt, Mike Gemünde, Klaus Schneider:
From Synchronous Guarded Actions to SystemC. MBMV 2010: 187-196 - Uwe Proß, Karl Kröber, Ulrich Heinkel:
Abhängigkeitsanalyse und Parameterberechnung auf Spezifikationsebene. MBMV 2010: 197-206 - Jiong Ou, Peter Brunmayr, Jan Haase, Christoph Grimm:
Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen. MBMV 2010: 207-216 - Abdulhadi Shoufan, Hagen Stübing, Sorin A. Huss:
Interactive Optimization of FPGA-based Systems-on-Chips. MBMV 2010: 217-226 - Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust:
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. MBMV 2010: 227-236 - Daniel Kriesten, Ulrich Heinkel, Jörg Schneider:
Integration von Konfigurationsmechanismen für Xilinx-FPGA in das Linux-OS. MBMV 2010: 237-246
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 2025-01-16 21:48 CET 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:
