The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MBMV"( http://dblp.L3S.de/Venues/MBMV )

URL (DBLP): http://dblp.uni-trier.de/db/conf/mbmv

Publication years (Num. hits)
1998 (20) 1999 (20) 2000 (32) 2001-2002 (29) 2003 (28) 2004 (34) 2006 (44) 2007 (30) 2008 (20) 2009 (29) 2010 (25) 2011 (32) 2012 (18) 2013 (26) 2014 (24) 2015 (20) 2016 (18) 2017 (19)
Publication types (Num. hits)
inproceedings(449) proceedings(19)
Venues (Conferences, Journals, ...)
MBMV(468)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 468 publication records. Showing 468 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Heinz Riener, Rüdiger Ehlers, Görschwin Fey Counterexample-Guided EF Synthesis of Boolean Functions. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Patrick Sittel, Martin Kumm, Konrad Möller, Martin Hardieck, Peter Zipf High-Level Synthesis for Model-Based Design with Automatic Folding including Combined Common Subcircuits. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Tobias Seufert, Christoph Scholl Sequential Verification Using Reverse PDR. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz Speculative disassembly of binary code. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Simon, Jérôme Kirscher, Alexander W. Rath, Zhiqiang Zhang, Linus Maurer Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Hananeh Aliee, Abbas BanaiyanMofrad, Michael Glaß, Jürgen Teich, Nikil D. Dutt Redundancy-aware Design Space Exploration for Memory Reliability in Many-cores. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Ralf Stemmer, Maher Fakih Towards Timing and Power Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Tobias Strauch A Novel RTL ATPG Model Based on Gate Inherent Faults of Complex Gates. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Hussam Amrouch, Jörg Henkel Containing Guardbands: From the Macro to Micro Time Domain. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Shrinidhi Udupi, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz Dynamic Power Optimization based on Formal Property Checking of Operations. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Grimm 0001, Carna Radojicic Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Beichler, Michael Rethfeldt, Hannes Raddatz, Björn Konieczek, Peter Danielis, Christian Haubelt, Dirk Timmermann Optimization of a novel WLAN Simulation Framework for Prototyping Network Applications and Protocols. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille Verifikation von Networked Labs-on-Chip Architekturen. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Thiyagarajan Purusothaman, Christoph Grimm 0001 SystemC AMS based Co-simulation Framework for Cyber Physical Systems. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Daniel Große, Rolf Drechsler (eds.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Amrutansh Gudivada, Daniel Kriesten, Ulrich Heinkel, Rene Röllig, Matthias Lenk OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Saman Fröhlich, Daniel Große, Rolf Drechsler Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Anoop Bhagyanath, Tripti Jain, Klaus Schneider 0001 Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) Architectures. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Warsitz, Maher Fakih Simulink-Modell-Übersetzung in synchrone Datenflussgraphen. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karina Wimmer Lösen von Booleschen Formeln mit Henkin-Quantoren. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Schweizer, Murat Simsek, Oliver Bringmann 0001, Wolfgang Rosenstiel Eine Tcl-basierte Methode zur Fehlerinjektion und Fehlereffektsimulation/-emulation auf Xilinx-FPGAs. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bo Wang 0010, Yang Xu, Ralph Hasholzner, Christian Drewes, Rafael Rosales, Sebastian Graf 0002, Joachim Falk, Michael Glaß, Jürgen Teich Exploration of Power Domain Partitioning for Application-Specific SoCs in System-Level Design. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler Symbolic Error Metric Determination for Approximate Computing. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andy Sauter, Joachim Gerlach Simulationsbasierte Analyse energietechnischer Systemszenarien. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer Vorwort. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Bartsch, Nico Rödel, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz A HW-dependent Software Model for Cross-Layer Fault Analysis in Embedded Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tino Teige, Tom Bienmüller, Hans Jürgen Holberg Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer (eds.) 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. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  BibTeX  RDF
1Karsten Scheibler, Dominik Erb, Bernd Becker 0001 Applying Tailored Formal Methods to X-ATPG. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jörg Walter, Ralph Görgen, Wolfgang Nebel Predicting Performance and Energy Efficiency for Large-Scale Parallel Applications on Highly Heterogeneous Platforms. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter Connecting a C++ based Structural Verification Tool to the Web. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thorsten Ropertz, Karsten Berns, Xian Li, Klaus Schneider 0001 Verification of Behavior-Based Control Systems in their Physical Environment. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantin Lübeck, David Morgenstern, Thomas Schweizer, Dustin Peterson, Wolfgang Rosenstiel, Oliver Bringmann 0001 Neues Konzept zur Steigerung der Zuverlässigkeit einer ARM-basierten Prozessorarchitektur unter Verwendung eines CGRAs. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Schott, Marko Rößler, Ulrich Heinkel Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Philipp 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. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Nils Przigoda, Robert Wille, Rolf Drechsler Verbesserung der Fehlersuche in inkonsistenten formalen Modellen (Erweiterte Zusammenfassung). Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Sören Schreiner, Kim Grüttner, Sven Rosinger, Wolfgang Nebel Ein Verfahren zur Bestimmung eines Powermodells von Xilinx MicroBlaze MPSoCs zur Verwendung in Virtuellen Plattformen. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Xiao Pan, Javier Moreno 0003, Christoph Grimm 0001 Modeling Power Consumption for Design of Power- and Noise-Aware AMS Circuits. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Sebastian Graf 0002, Michael Glaß, Jürgen Teich Symbolic Message Routing for Multi-Objective Optimization of Automotive E/E Architecture Component Platforms. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Tobias Strauch Deriving AOC C-Models from D&V Languages for Single- or Multi-Threaded Execution Using C or C++. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker 0001 Towards Verification of Artificial Neural Networks. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Chris Drechsler, Matthias Sauppe, Christian Pätz, Ulrich Heinkel SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Xian Li, Klaus Schneider 0001 A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Aquib Rashid, Wolfram Hardt HOPE: Hardware Optimized Parallel Execution. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Nitsch, Benjamin Beichler, Frank Golatowski, Christian Haubelt Model-based Systems Engineering with Matlab/Simulink in the Railway Sector. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Biewer, Peter Munk, Jens Gladigau, Christian Haubelt On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Matteo Michel, Johannes Koesters, Benedikt Geukes Modulare Verifikation von Non-Mainline Chip-Level Funktionen. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Stefan Müller, Dennis Hospach, Joachim Gerlach, Oliver Bringmann 0001, Wolfgang Rosenstiel Framework for Varied Sensor Perception in Virtual Prototypes. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Heinz Riener, Michael Kirkedal Thomsen, Görschwin Fey Execution Tracing of C Code for Formal Analysis (Extended Abstract). Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Lei Yang, Erik Markert, Ulrich Heinkel A new Mapping Method from Fuzzy Logic System into Fuzzy Automaton. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulrich 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. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz Architectural System Modeling for Correct-by-Construction RTL Design. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Roberto Urban, Kai Lehniger, Maximilian Heyne, Mario Schölzel, Heinrich Theodor Vierhaus Vergleich der Beschreibung und Simulation einer Befehlssatzarchitektur in LISA und CoMet. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Aljoscha Windhorst, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler Funktionale Abdeckungsanalyse von C-Programmen. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Mohamed Ammar Ben Khadra, Yu Bai 0003, Klaus Schneider 0001 Synthesis of Distributed Synchronous Specifications to SysteMoC. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Bastian Koppelmann, Markus Becker 0001, Wolfgang Müller 0003 Portierung der TriCore-Architektur auf QEMU. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Mathias Soeken, Max Nitze, Rolf Drechsler Formale Methoden für Alle. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Niels Thole, Görschwin Fey Equivalence Checking on System Level using Stepwise Induction. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian Appold A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian Bartsch, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz Efficient SAT/simulation-based model generation for low-level embedded software. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Hanno Eichelberger, Patrick Heckeler, Jürgen Ruf, Stefan Huster, Sebastian Burg, Thomas Kropf, Wolfgang Rosenstiel, Thomas Greiner Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Christoph Kuznik, Bertrand Defo, Wolfgang Müller 0003 Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Maarten Boersma, Ulrike Schmidt 0002, Markus Kaltenbach Automatic detection of sticky clock gating equations. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Vladimir Kolchuzhin, Jan Mehner, Milind Shende, Erik Markert, Ulrich Heinkel, Christian Wagner, Thomas Gessner System Level Modeling of Piezoresistive Effect of Carbon Nanotubes for Sensor Application. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Konrad Möller, Martin Kumm, Björn Barschtipan, Peter Zipf Dynamically Reconfigurable Constant Multiplication on FPGAs. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefan 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. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Karsten Scheibler, Bernd Becker 0001 Implication Graph Compression inside the SMT Solver iSAT3. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Heinz Riener, Oliver Keszöcze, Rolf Drechsler, Görschwin Fey A Logic for Cardinality Constraints (Extended Abstract). Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Robert Fischbach, Michael Dittrich, Andy Heinig Effizienter Design Rule Check von 3D Systemaufbauten mit einer hierarchischen XML-basierten Modellierungssprache. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Sebastian Stieber, Johann-Peter Wolff, Christian Haubelt, Rainer Dorsch Hybride Prototypisierung eines Sensorsubsystems. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Sebastian 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. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich Verifikation Rekonfigurierbarer Scan-Netze. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Manuel Gesell, Felipe Bichued, Klaus Schneider 0001 Using Different Representations of Synchronous Systems in SAL. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Kumm, Peter Zipf Efficient High Speed Compression Trees on Xilinx FPGAs. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Jürgen Ruf, Dirk Allmendinger, Matteo Michel (eds.) Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Carna Radojicic, Kristin Krüger, Christoph Grimm 0001 Semi-Symbolische Analyse eines Sigma-Delta Modulators. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
1Stefan 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. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Manuel Gesell, Klaus Schneider 0001 An Interactive Verification Tool for Synchronous/Reactive Systems. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Martin Gag, Tim Wegner, Philipp Gorski, Andreas Tockhorn, Dirk Timmermann System level modeling of Networks-on-Chip for power estimation and design space exploration. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1André Gießler, Jörg Ritter, Paul Molitor Model Checking for PLC based Railway Interlocking Systems. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Marko Rößler, Jan Langer, Ulrich Heinkel Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung über die HW/SW-Grenze eines Configurable System on Chip (CSoC). Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Erika Ábrahám Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Heinz Riener, Görschwin Fey Yet a Better Error Explanation Algorithm (Extended Abstract). Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Bernard 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. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence Checking for Partial Implementations Revisited. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer Proof Logging for Computer Algebra based SMT Solving. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Hanno Eichelberger, Patrick Heckeler, Stefan Huster, Sebastian Burg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Bastian Schlich Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Christian Zebelein, Christian Haubelt, Joachim Falk, Jürgen Teich Model-Based Representation of Schedules for Dataflow Graphs. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Lars Kosmann, Axel Reimer, Domenik Helms, Wolfgang Nebel Profilbasierte Energieabschätzung integrierter Schaltungen auf algorithmischer Ebene. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Markus Dobler, Wolfgang Rosenstiel, Martin Bogdan, Monica Rafaila, Dirk Hammerschmidt, Georg Pelz Rapid Design Space Exploration of a State-of-the-art PSI 5 Controller. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Philipp Ittershagen, Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Sebastian Graf 0002, Michael Glaß, Jürgen Teich Investigating the Impact of Energy-Efficient Ethernet on Automotive Applications via High-level Modeling. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Karsten Scheibler, Stefan Kupferschmid, Bernd Becker 0001 Recent Improvements in the SMT Solver iSAT. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Urban, Mario Schölzel, Heinrich Theodor Vierhaus Ein konfigurierbarer Zwischencodesimulator zum compilerzentrierten Mikroprozessorentwurf. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 468 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license