![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
19. MBMV 2016: Freiburg im Breisgau, Germany
- Ralf Wimmer:
19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. Albert-Ludwigs-Universität Freiburg 2016, ISBN 978-3-00-052380-9 - Ralf Wimmer:
Vorwort. 4 - Tino Teige, Tom Bienmüller, Hans Jürgen Holberg:
Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. 6-9 - Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz:
A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems. 10-21 - Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter:
Connecting a C++ based Structural Verification Tool to the Web. 22-32 - Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski:
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. 33-45 - Konstantin Lübeck, David Morgenstern, Thomas Schweizer, Dustin Peterson, Wolfgang Rosenstiel, Oliver Bringmann:
Neues Konzept zur Steigerung der Zuverlässigkeit einer ARM-basierten Prozessorarchitektur unter Verwendung eines CGRAs. 46-58 - Thomas Schweizer, Murat Simsek, Oliver Bringmann, Wolfgang Rosenstiel:
Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs. 59-71 - Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk
, Joost-Pieter Katoen, Erika Ábrahám
, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. 72-74 - Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler:
Symbolic Error Metric Determination for Approximate Computing. 75-76 - Anoop Bhagyanath, Tripti Jain, Klaus Schneider:
Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) Architectures. 77-88 - Sebastian Warsitz, Maher Fakih:
Simulink-Modell-Übersetzung in synchrone Datenflussgraphen. 89-101 - Bo Wang, Yang Xu, Ralph Hasholzner, Christian Drewes
, Rafael Rosales, Sebastian Graf, Joachim Falk, Michael Glaß, Jürgen Teich:
Exploration of Power Domain Partitioning for Application-Specific SoCs in System-Level Design. 102-113 - Karina Wimmer:
Lösen von Booleschen Formeln mit Henkin-Quantoren. 114-115 - Jörg Walter, Ralph Görgen, Wolfgang Nebel:
Predicting Performance and Energy Efficiency for Large-Scale Parallel Applications on Highly Heterogeneous Platforms. 116-127 - Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider:
Verification of Behavior-Based Control Systems in their Physical Environment. 128-137 - Karsten Scheibler, Dominik Erb, Bernd Becker
:
Applying Tailored Formal Methods to X-ATPG. 138 - Andy Sauter, Joachim Gerlach:
Simulationsbasierte Analyse energietechnischer Systemszenarien. 139-150
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.