The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Verifikation with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1985 (16) 1986-1989 (15) 1990-1993 (23) 1994-1996 (19) 1997-1998 (38) 1999 (31) 2000 (42) 2001 (37) 2002 (34) 2003 (33) 2004 (37) 2005-2006 (55) 2007 (40) 2008 (29) 2009 (34) 2010 (35) 2011 (40) 2012 (26) 2013 (30) 2014 (29) 2015 (33) 2016 (20) 2017 (24) 2018 (20) 2019-2022 (17) 2023 (2)
Publication types (Num. hits)
article(48) book(15) incollection(19) inproceedings(542) phdthesis(115) proceedings(20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 759 publication records. Showing 759 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
57Rüdiger Grimm, Peter Ochsenschläger Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell
38Leonore Winterer, Sebastian Junges, Ralf Wimmer 0001, 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
38Andreas 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
38Christian 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
38Thilo 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
38Matteo 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
38Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich Verifikation Rekonfigurierbarer Scan-Netze. Search on Bibsonomy MBMV The full citation details ... 2014 DBLP  BibTeX  RDF
38Fabian Mischkalla, Wolfgang Müller 0003 Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
38Thomas Klotz, Bernd Straube, Eva Fordran, Norman Seßler, Jürgen Haufe, Frank Schulze Ein Ansatz zur Verifikation von Materialflusssteuerungen. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
38Tobias Dornes, Martin Schweikert, Hans Eveking Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
38Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt Formale Verifikation von Contiki-Anwendungen. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
38Tobias Dornes, Hans Eveking Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
38Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
38Yifan Wang 0001, Ralf Wunderlich, Stefan Heinen, Hans-Werner Groh Event gesteuerte Modellierung analoger Frontends für die funktionale Verifikation des RF-SoCs. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
38Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
38Jens Schönherr Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
38Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers. Search on Bibsonomy MBMV The full citation details ... 2008 DBLP  BibTeX  RDF
38Jens Schönherr Ein Schritt zur formalen Verifikation auf der Transaktionsebene. Search on Bibsonomy MBMV The full citation details ... 2007 DBLP  BibTeX  RDF
38Martin Braun 0001, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz Methoden zur Verifikation von Kommunikationsstrukturen. Search on Bibsonomy MBMV The full citation details ... 2007 DBLP  BibTeX  RDF
38Stephan Kubisch, Harald Widiger, Ronald Hecht, Dirk Timmermann, Martin Siemroth Architektur einer flexiblen, wiederverwendbaren Testbench zur Verifikation paketverarbeitender Hardware in SystemC. Search on Bibsonomy MBMV The full citation details ... 2007 DBLP  BibTeX  RDF
38Andreas Ehrenfried, Daniel Scholz, Tobias Welp Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. Search on Bibsonomy MBMV The full citation details ... 2006 DBLP  BibTeX  RDF
38Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. Search on Bibsonomy MBMV The full citation details ... 2006 DBLP  BibTeX  RDF
38Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. Search on Bibsonomy MBMV The full citation details ... 2006 DBLP  BibTeX  RDF
38Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler 0001 Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
38Alexander Thomas, Jürgen Becker 0001, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann Formale Verifikation eines Sonet/SDH Framers. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
38Hans-Jürgen Brand Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung. Search on Bibsonomy MBMV The full citation details ... 2003 DBLP  BibTeX  RDF
38Daniel Große, Rolf Drechsler Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen. Search on Bibsonomy MBMV The full citation details ... 2003 DBLP  BibTeX  RDF
38Mathias Schmalisch, Hagen Ploog, Dirk Timmermann Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren. Search on Bibsonomy MBMV The full citation details ... 2002 DBLP  BibTeX  RDF
38Jörg Bormann Formale Verifikation wird zum Handwerk. Search on Bibsonomy MBMV (1) The full citation details ... 2001 DBLP  BibTeX  RDF
38R. Peukert, Karsten Henke, Heinz-Dietrich Wuttke Verifikation im Experimentalsystem GIFT. Search on Bibsonomy MBMV (1) The full citation details ... 2001 DBLP  BibTeX  RDF
38Jens Schönherr, Bernd Straube Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. Search on Bibsonomy MBMV The full citation details ... 2000 DBLP  BibTeX  RDF
38Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking Formale Verifikation der Register-Allokation. Search on Bibsonomy MBMV The full citation details ... 2000 DBLP  BibTeX  RDF
38Matthias Mutz, Sebastian Steibl Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. Search on Bibsonomy MBMV The full citation details ... 1999 DBLP  BibTeX  RDF
38Holger Hinrichsen, Gerd Ritter, Hans Eveking Automatische Synthese und Verifikation von RISC-Prozessoren. Search on Bibsonomy MBMV The full citation details ... 1999 DBLP  BibTeX  RDF
38Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider 0001, Bernd Straube Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. Search on Bibsonomy MBMV The full citation details ... 1998 DBLP  BibTeX  RDF
38Nikolaus Lange, Matthias Mutz Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung. Search on Bibsonomy MBMV The full citation details ... 1998 DBLP  BibTeX  RDF
38Thomas Lock, Michael Mendler Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. Search on Bibsonomy MBMV The full citation details ... 1998 DBLP  BibTeX  RDF
38Uwe Knöchel, Ulrich Tannert, Jürgen Haufe, Peter Schwarz Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation. Search on Bibsonomy MBMV The full citation details ... 1998 DBLP  BibTeX  RDF
30Manfred Broy, Franz Huber, Bernhard Schätz AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping
27Florian Kammüller, Sören Preibusch An industrial application of symbolic model checking. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV
27Monika Müllerburg Validierung Software-intensiver eingebetteter Systeme. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Eingebettete Systeme, Echtzeit-Systeme, Verläßlichkeit, Validierung, Verifikation, Test
27Wolfgang Reif Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen
27Fevzi Belli Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Search on Bibsonomy Inform. Spektrum The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Validation/Verifikation, systematisches Testen, durchsichtsorientierte Prüfverfahren, Testwerkzeuge
27Christoph Meinel, Thorsten Theobald Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Search on Bibsonomy Inform. Spektrum The full citation details ... 1997 DBLP  DOI  BibTeX  RDF rechnergestützter Entwurf, hochintegrierte Schaltungen, formale Verifikation, Datenstrukturen für Boolesche Funktionen, binäre Entscheidungsgraphen, VLSI Design
19Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. Search on Bibsonomy Autom. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Dominik Hellhake Verifikation softwareintensiver Fahrwerksysteme. Search on Bibsonomy 2023   RDF
19Dehla Sokenou, Mario Friske, Baris Güldali, David Faragó, Mario Winter, Bettina Buth Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV 47), 3. - 4. November 2022, München. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2022 DBLP  BibTeX  RDF
19Alireza Mahzoon Formale Verifikation von strukturell komplexen Multiplizierern. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2022 DBLP  BibTeX  RDF
19Niklas Kochdumper Extensions of Polynomial Zonotopes and their Application to Verification of Cyber-Physical Systems (Erweiterungen von Polynomiellen Zonotopen und deren Anwendung für die Verifikation von Cyber-Physischen Systemen) (PDF / PS) Search on Bibsonomy 2022   RDF
19Steffen Beringer Timing Verifikation von AUTOSAR Softwarearchitekturen (Timing verification of AUTOSAR software architectures) Search on Bibsonomy 2022   DOI  RDF
19Tobias Meggendorfer Verifikation von Markov Entscheidungsprozessen in diskreter Zeit. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2021 DBLP  BibTeX  RDF
19Alexander Svozil Moderne Graphalgorithmen für die formale Verifikation. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2021 DBLP  BibTeX  RDF
19Muhammad Hassan Hochqualitativ Verifikation für VP-basierte Heterogene Systeme. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2021 DBLP  BibTeX  RDF
19Jonas Klamroth, Max Scheerer, Oliver Denninger Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. Search on Bibsonomy GI-Jahrestagung The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
19Sebastian Wolff 0001 Verifying Non-blocking Data Structures with Manual Memory Management (Verifikation Nicht-blockierender Datenstrukturen mit Manueller Speicherverwaltung) (PDF / PS) Search on Bibsonomy 2021   DOI  RDF
19Daniela Kaufmann Formale Verifikation von Multiplizierern mit Computeralgebra. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2020 DBLP  BibTeX  RDF
19Bernhard Kragl Verifikation Nebenläufiger Programme. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2020 DBLP  BibTeX  RDF
19Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. Search on Bibsonomy Modellierung The full citation details ... 2020 DBLP  BibTeX  RDF
19Bernard Schmidt Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen. Search on Bibsonomy 2020   RDF
19Stefan Huster Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software. Search on Bibsonomy 2020   RDF
19Albert Rizaldi Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL) (PDF / PS) Search on Bibsonomy 2020   RDF
19Jennifer Brings, Marian Daun, Markus Kempe, Thorsten Weyer Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden. Search on Bibsonomy SE/SWM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
19Marc L. Schulz Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung. Search on Bibsonomy Echtzeit The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
19Andrej Pietschker Bericht: 41. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 41), 9. und 10. November 2017, Sogeti Deutschland GmbH, Ratingen. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2018 DBLP  BibTeX  RDF
19Andreas Zeller, Nasser Jazdi, Michael Weyrich Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition. Search on Bibsonomy Autom. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Jan Ladiges, Aljosha Köcher, Peer Clement, Henry Bloch, Thomas Holm, Paul Altmann, Alexander Fay, Leon Urbas Entwurf, Modellierung und Verifikation von Serviceabhängigkeiten in Prozessmodulen. Search on Bibsonomy Autom. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
19Julia Padberg, Alexander Schlaefer, Sibylle Schupp Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. Search on Bibsonomy Software Engineering The full citation details ... 2018 DBLP  BibTeX  RDF
19 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
19Martin Manderscheid Performance-Verifikation von Netzwerkarchitekturen eingebetteter Systeme unter Berücksichtigung von Laufzeitvariabilität. Search on Bibsonomy 2018   RDF
19Marc Spisländer Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen. Search on Bibsonomy 2018   RDF
19Matthias Schneider 0005 Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen. Search on Bibsonomy 2018   RDF
19Marcel 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
19Johannes 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
19Ralf Wimmer 0001, Andreas Karrenbauer, Ruben Becker, Christoph Scholl 0001, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
19Patrick 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
19Kai 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
19Timo 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
19Vladimir 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
19Philipp S. Käsgen, Markus Weinhardt Using Template Metaprogramming for Hardware Description. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
19Valentina 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
19Florian 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
19Tripti 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
19Andrej Pietschker Bericht: 40. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 40) 9. und 10. Februar 2017, Langen. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2017 DBLP  BibTeX  RDF
19Dirk Beyer 0001, Rolf Hennicker, Martin Hofmann 0001, Tobias Nipkow, Martin Wirsing Software-Verifikation. Search on Bibsonomy 50 Jahre Universitäts-Informatik in München The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
19Daniel 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
19Veronika Loitzenbauer Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2017 DBLP  BibTeX  RDF
19Dirk Kuschnerus Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik. Search on Bibsonomy 2017   RDF
19Tobias Bund Verifikation sicherheitskritischer Regelsysteme unter Beachtung des Zeitverhaltens einer verteilten Rechenplattform Search on Bibsonomy 2017   DOI  RDF
19Sebastian 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
19Saman 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
19Thiyagarajan 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
19Amrutansh 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
19Benjamin 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
19Patrick 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
19Hananeh 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
19Heinz 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
19Leonard 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
19Hussam 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
19Christoph 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
19Shrinidhi 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
Displaying result #1 - #100 of 759 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license