default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15. MBMV 2012: Kaiserslautern, Germany
- Jens Brandt, Klaus Schneider:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 - Christian Appold:
Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions. MBMV 2012: 1-12 - Sebastian Graf, Michael Glaß, Jürgen Teich:
Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes. MBMV 2012: 13-24 - Alexander Grünhage, Jörg Behrend, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Djones Lettnin:
Optimized Static Parameter Assignment for Semiformal Software Verification. MBMV 2012: 25-35 - Finn Haedicke, Hoang Minh Le, Daniel Große, Rolf Drechsler:
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. MBMV 2012: 37-48 - Simon Hufnagel, Nico Bannow, Christoph Grimm, Jiong Ou:
Abstract Modeling of Communication Errors in Cyber-Physical Systems using uPN. MBMV 2012: 49-59 - Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze:
Ein Ansatz zur Verifikation von Materialflusssteuerungen. MBMV 2012: 61-71 - Daniel Lorenz, Philipp A. Hartmann, Kim Grüttner, Achim Rettberg:
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC. MBMV 2012: 73-83 - Jan Malburg, Alexander Finder, Görschwin Fey:
Automated Feature Localization for Hardware Designs using Coverage Metrics. MBMV 2012: 85-96 - Georges Morbé, Christoph Scholl:
Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. MBMV 2012: 97-108 - Johanna Nellen, Erika Ábrahám:
Hybrid Sequential Function Charts. MBMV 2012: 109-120 - Gregor Nitsche, Georg Glaeser, Dirk Nuernbergk, Eckhard Hennig:
Hardware/Software Co-design of a Smart Sensor Interface Using a Fast but Accurate Close-to-RTL Instruction Set Interpreter. MBMV 2012: 121-132 - Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker:
Enhanced Integration of QBF Solving Techniques. MBMV 2012: 133-143 - Timo Schönwald, Benjamin Ranft, Oliver Bringmann, Wolfgang Rosenstiel:
Latency-Optimized Force-directed Process Mapping for MPSoC Architectures. MBMV 2012: 145-156 - Hagen Sämrow, Claas Cornelius, Philipp Gorski, Jakob Salzmann, Dirk Timmermann:
Effiziente Simulation von Gateoxiddefekten auf Gatterebene mit Transistorlevel-Genauigkeit. MBMV 2012: 157-168 - Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen:
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180 - Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich:
Exploiting Model-Knowledge in High-Level Synthesis. MBMV 2012: 181-191 - Liyuan Zhang, Michael Glaß, Martin Streubühr, Jürgen Teich, Andreas von Schwerin, Kai Liu:
Actor-oriented Modeling und Simulation of Cut-through Communication in Network Controllers. MBMV 2012: 193-204
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-09-21 23:25 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:
