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) 2018-2019 (23)
Publication types (Num. hits)
inproceedings(470) proceedings(21)
Venues (Conferences, Journals, ...)
MBMV(491)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 491 publication records. Showing 491 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Görschwin Fey, Rolf Drechsler Self-Explaining Digital Systems - Some Technical Steps. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Jens Rudolf, Manuel Strobel, Joscha Benz, Christian Haubelt, Martin Radetzki, Oliver Bringmann 0001 Automated Sensor Firmware Development - Generation, Optimization, and Analysis. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken Logic Optimization of Majority-Inverter Graphs. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Schwarz, Dominik Stoffel, Wolfgang Kunz ACCESS: HW/SW-Co-Equivalence Checking for Firmware Optimization. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Keerthikumara Devarajegowda, Wolfgang Ecker, Wolfgang Kunz How to Keep 4-Eyes Principle in a Design and Property Generation Flow. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Martin Koehler, Klaus Schneider Inductive Proof Rules Beyond Safety Properties. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Markus Hedderich, Markus Heimberger, Axel Klekamp SEMAS - System Engineering Methodology for Automated Systems | The world described in layers. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Iryna Kmitina, Nico Bannow, Christoph Grimm 0001, Daniel Zielinski, Carna Zivkovic Optimization Framework for Hardware Design of Engine Control Units. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Fin Hendrik Bahnsen, Görschwin Fey Approximation of Neural Networks for Verification. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcel Rieß, Cedrik Bock, Frank Slomka Generic Reusable Hardware/Software Co-Design Implementation of a Complete FH-FSK Modem for Robust Multi-User Acoustic Underwater Communication and System Validation on a FPGA. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Johannes Mast, Stefan Rädle, Joachim Gerlach Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Patrick Sittel, Thomas Schönwälder, Martin Kumm, Peter Zipf ScaLP: A Light-Weighted (MI)LP-Library. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Timo Feld, Uwe Werkmann, Frank Slomka Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler Towards Automated Refinement of TLM Properties to RTL. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Philipp S. Käsgen, Markus Weinhardt Using Template Metaprogramming for Hardware Description. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Valentina Richthammer, Michael Glaß On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Florian Hock, Victor Pollex, Chijun Shen, Tobias Bund, Frank Slomka Upper Bound for Delay Densities. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Tripti Jain, Klaus Schneider 0001 Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. Search on Bibsonomy MBMV The full citation details ... 2018 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
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
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
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
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
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
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
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
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
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
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
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
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
1Tobias Seufert, Christoph Scholl Sequential Verification Using Reverse PDR. 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
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
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
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
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
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
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
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
1Ralf Wimmer Vorwort. 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
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
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
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
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
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
1Karina Wimmer Lösen von Booleschen Formeln mit Henkin-Quantoren. 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
1Sebastian Warsitz, Maher Fakih Simulink-Modell-Übersetzung in synchrone Datenflussgraphen. 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
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
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
1Andy Sauter, Joachim Gerlach Simulationsbasierte Analyse energietechnischer Systemszenarien. 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
1Aquib Rashid, Wolfram Hardt HOPE: Hardware Optimized Parallel Execution. 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
1Mathias Soeken, Max Nitze, Rolf Drechsler Formale Methoden für Alle. 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
1Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich Verifikation Rekonfigurierbarer Scan-Netze. 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
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
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
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
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
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
Displaying result #1 - #100 of 491 (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