Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Heinz Riener, Michael Kirkedal Thomsen, Görschwin Fey |
Execution Tracing of C Code for Formal Analysis (Extended Abstract). |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz |
Architectural System Modeling for Correct-by-Construction RTL Design. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Lei Yang, Erik Markert, Ulrich Heinkel |
A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Sören Schreiner, Kim Grüttner, Sven Rosinger, Wolfgang Nebel |
Ein Verfahren zur Bestimmung eines Powermodells von Xilinx MicroBlaze MPSoCs zur Verwendung in Virtuellen Plattformen. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Matteo Michel, Johannes Koesters, Benedikt Geukes |
Modulare Verifikation von Non-Mainline Chip-Level Funktionen. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Stefan Müller, Dennis Hospach, Joachim Gerlach, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Framework for Varied Sensor Perception in Virtual Prototypes. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Tobias Strauch |
Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Ulrich Heinkel, Daniel Kriesten, Marko Rößler (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Chris Drechsler, Matthias Sauppe, Christian Pätz, Ulrich Heinkel |
SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Sebastian Graf 0002, Michael Glaß, Jürgen Teich |
Symbolic Message Routing for Multi-Objective Optimization of Automotive E/E Architecture Component Platforms. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Philipp Gorski, Tim Wegner, Dirk Timmermann |
Evaluation of a software-based centralized traffic management inside run-time reconfigurable regions-of-interest of a mesh-based Network-on-Chip topology. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Xian Li 0002, Klaus Schneider 0001 |
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Xiao Pan, Javier Moreno 0003, Christoph Grimm 0001 |
Modeling Power Consumption for Design of Power- and Noise-Aware AMS Circuits. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt |
On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Nils Przigoda, Robert Wille, Rolf Drechsler |
Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung). |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Alexander Nitsch, Benjamin Beichler, Frank Golatowski, Christian Haubelt |
Model-based Systems Engineering with Matlab/Simulink in the Railway Sector. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
1 | Aljoscha Windhorst, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Funktionale Abdeckungsanalyse von C-Programmen. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Robert Fischbach, Michael Dittrich, Andy Heinig |
Effizienter Design Rule Check von 3D Systemaufbauten mit einer hierarchischen XML-basierten Modellierungssprache. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Sebastian Stieber, Johann-Peter Wolff, Christian Haubelt, Rainer Dorsch |
Hybride Prototypisierung eines Sensorsubsystems. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Christian Bartsch 0001, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz |
Efficient SAT/simulation-based model generation for low-level embedded software. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Niels Thole, Görschwin Fey |
Equivalence Checking on System Level using Stepwise Induction. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Bastian Koppelmann, Markus Becker 0001, Wolfgang Müller 0003 |
Portierung der TriCore-Architektur auf QEMU. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Christoph Kuznik, Bertrand Defo, Wolfgang Müller 0003 |
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Vladimir Kolchuzhin, Jan Mehner, Milind Shende, Erik Markert, Ulrich Heinkel, Christian Wagner 0012, Thomas Gessner |
System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Manuel Gesell, Felipe Bichued, Klaus Schneider 0001 |
Using Different Representations of Synchronous Systems in SAL. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Sebastian Burg, Patrick Heckeler, Stefan Huster, Hanno Eichelberger, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Oliver Bringmann 0001 |
LoCEG: Local Preprocessing in SAT-Solving through Counter-Example Generation. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Karsten Scheibler, Bernd Becker 0001 |
Implication Graph Compression inside the SMT Solver iSAT3. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Mathias Soeken, Max Nitze, Rolf Drechsler |
Formale Methoden für Alle. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Christian Appold |
A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich |
Verifikation Rekonfigurierbarer Scan-Netze. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Jürgen Ruf, Dirk Allmendinger, Matteo Michel (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner |
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Mohamed Ammar Ben Khadra, Yu Bai 0003, Klaus Schneider 0001 |
Synthesis of Distributed Synchronous Specifications to SysteMoC. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Carna Radojicic, Kristin Krüger, Christoph Grimm 0001 |
Semi-Symbolische Analyse eines Sigma-Delta Modulators. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Heinz Riener, Oliver Keszöcze, Rolf Drechsler, Görschwin Fey |
A Logic for Cardinality Constraints (Extended Abstract). |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Maarten Boersma, Ulrike Schmidt 0002, Markus Kaltenbach |
Automatic detection of sticky clock gating equations. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Martin Kumm, Peter Zipf |
Efficient High Speed Compression Trees on Xilinx FPGAs. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Roberto Urban, Kai Lehniger, Maximilian Heyne, Mario Schölzel, Heinrich Theodor Vierhaus |
Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in LISA und CoMet. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Stefan Huster, Merdin Macic, Sebastian Burg, Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel |
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Konrad Möller, Martin Kumm, Björn Barschtipan, Peter Zipf |
Dynamically Reconfigurable Constant Multiplication on FPGAs. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
1 | Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer 0001, Christoph Scholl 0001, Bernd Becker 0001 |
Equivalence Checking for Partial Implementations Revisited. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Heinz Riener, Görschwin Fey |
Yet a Better Error Explanation Algorithm (Extended Abstract). |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Fabian Mischkalla, Wolfgang Müller 0003 |
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer |
Proof Logging for Computer Algebra based SMT Solving. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Martin Gag, Tim Wegner, Philipp Gorski, Andreas Tockhorn, Dirk Timmermann |
System level modeling of Networks-on-Chip for power estimation and design space exploration. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich |
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Stefan Müller, Yumin Zhou, Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel |
Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Roberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus |
Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Stefan Huster, Patrick Heckeler, Jürgen Ruf, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel |
A Software Testing Framework to Integrate Formal Verification Results. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Sebastian Graf 0002, Michael Glaß, Jürgen Teich |
Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Manuel Gesell, Klaus Schneider 0001 |
An Interactive Verification Tool for Synchronous/Reactive Systems. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich |
Model-Based Representation of Schedules for Dataflow Graphs. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Bernard Schmidt, Carlos Villarraga, Thomas Fehmel, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann |
A Hardware-Dependent Model for SAT-based Verification of Interrupt-Driven Low-level Embedded System Software. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Kai Hylla, Philipp A. Hartmann, Domenik Helms, Wolfgang Nebel |
Early Power & Timing Estimation of Custom Hardware Blocks based on Automatically Generated Combinatorial Macros. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Christian Haubelt, Dirk Timmermann (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Bettina Braitling, Ralf Wimmer 0001, Bernd Becker 0001, Erika Ábrahám |
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Philipp Ittershagen, Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel |
Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Marko Rößler, Jan Langer, Ulrich Heinkel |
Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler |
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Binghao Bao, Jörg Bormann, Markus Wedler, Dominik Stoffel, Wolfgang Kunz |
Compositional Completeness over reactive Constraints. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Markus Dobler, Wolfgang Rosenstiel, Martin Bogdan, Monica Rafaila, Dirk Hammerschmidt, Georg Pelz |
Rapid Design Space Exploration of a State-of-the-art PSI 5 Controller. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Lars Kosmann, Axel Reimer, Domenik Helms, Wolfgang Nebel |
Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Thomas Horn, Matthias Sauppe, Erik Markert, Ulrich Heinkel, Wolfgang Rössel, Hans-Werner Sahm |
Einsatz formaler Methoden zur Energieeinsparung. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Karsten Scheibler, Stefan Kupferschmid, Bernd Becker 0001 |
Recent Improvements in the SMT Solver iSAT. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | André Gießler, Jörg Ritter 0002, Paul Molitor |
Model Checking for PLC based Railway Interlocking Systems. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Benjamin Andres, Martin Gebser, Torsten Schaub, Christian Haubelt, Felix Reimann, Michael Glaß |
A Combined Mapping and Routing Algorithm for 3D NoCs Based on ASP. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
1 | Johanna Nellen, Erika Ábrahám |
Hybrid Sequential Function Charts. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Georges Morbé, Christoph Scholl 0001 |
Fully Symbolic Model Checking for Incomplete Systems of Timed Automata. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Sebastian Graf 0002, Michael Glaß, Jürgen Teich |
Unreliable Data Transmissions und Limited Hardware Communication Buffers in Automotive E/E Virtual Prototypes. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Simon Hufnagel, Nico Bannow, Christoph Grimm 0001, Jiong Ou |
Abstract Modeling of Communication Errors in Cyber-Physical Systems using uPN. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Christian Appold |
Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Hagen Sämrow, Claas Cornelius, Philipp Gorski, Jakob Salzmann, Dirk Timmermann |
Effiziente Simulation von Gateoxiddefekten auf Gatterebene mit Transistorlevel-Genauigkeit. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Jan Malburg, Alexander Finder, Görschwin Fey |
Automated Feature Localization for Hardware Designs using Coverage Metrics. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Finn Haedicke, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
CRAVE: An Advanced Constrained RAndom Verification Environment for SystemC. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Sven Reimer, Florian Pigorsch, Christoph Scholl 0001, Bernd Becker 0001 |
Enhanced Integration of QBF Solving Techniques. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Daniel Lorenz 0002, Philipp A. Hartmann, Kim Grüttner, Achim Rettberg |
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze |
Ein Ansatz zur Verifikation von Materialflusssteuerungen. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Liyuan Zhang 0001, 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 |
DBLP BibTeX RDF |
|
1 | Timo Schönwald, Benjamin Ranft, Oliver Bringmann 0001, Wolfgang Rosenstiel |
Latency-Optimized Force-directed Process Mapping for MPSoC Architectures. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich |
Exploiting Model-Knowledge in High-Level Synthesis. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Jens Brandt 0001, Klaus Schneider 0001 (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012 |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen |
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. |
MBMV |
2012 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler |
Simulation-based Equivalence Checking between SystemC Models at Different Levels of Abstraction. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Frank Oppenheimer (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011 |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler |
Designing a RISC CPU in Reversible Logic. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Matthias Kuba, Zekeriya Mansuroglu |
Untersuchung von Methoden zur Hardwarebeschleunigung eines FPGA-basierten Java-Systems mit Soft-IP Prozessor. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Steffen Kollmann, Victor Pollex, Frank Slomka |
Reducing Response Times by Competition Based Dependencies. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Christian Köllner, Hai Yao, Klaus D. Müller-Glaser |
Entwurfsmethodiken zur Echtzeitsimulation physikalisch motivierter Modelle auf FPGAs: Eine Fallstudie. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Stefan Kupferschmid, Bernd Becker 0001 |
Craigsche Interpolation für Boolesche Kombinationen linearer und nichtlinearer Ungleichungen. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Gilles B. Defo, Wolfgang Müller 0003, Heinrich Rommel |
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Jens Brandt 0001, Klaus Schneider 0001 |
Round Trip to Asynchrony and Synchrony. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Christian Miller, Christoph Scholl 0001, Bernd Becker 0001 |
Verifying Incomplete Networks of Timed Automata. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Tobias Dornes, Martin Schweikert, Hans Eveking |
Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Andreas Mauderer, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
System-Level Design for Automotive Mixed-Signal ASICs: An Industrial Point of View. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel |
Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
1 | Bettina Braitling, Ralf Wimmer 0001, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám |
SMT-based Counterexample Generation for Markov Chains. |
MBMV |
2011 |
DBLP BibTeX RDF |
|