Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Rüdiger Grimm, Peter Ochsenschläger |
Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Elektronischer Vertrag, verbindliche Phase, Verpflichtung, Kooperationsziel, Sog in das Ziel, Beweis, Verifikation, Theorie formaler Sprachen, formales Modell |
38 | Leonore 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. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
38 | Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille |
Verifikation von Networked Labs-on-Chip Architekturen. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
38 | Christian Schott, Marko Rößler, Ulrich Heinkel |
Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
38 | Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz |
Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
38 | Matteo Michel, Johannes Koesters, Benedikt Geukes |
Modulare Verifikation von Non-Mainline Chip-Level Funktionen. |
MBMV |
2015 |
DBLP BibTeX RDF |
|
38 | Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich |
Verifikation Rekonfigurierbarer Scan-Netze. |
MBMV |
2014 |
DBLP BibTeX RDF |
|
38 | Fabian Mischkalla, Wolfgang Müller 0003 |
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. |
MBMV |
2013 |
DBLP BibTeX RDF |
|
38 | 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 |
|
38 | Tobias Dornes, Martin Schweikert, Hans Eveking |
Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
38 | Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt |
Formale Verifikation von Contiki-Anwendungen. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
38 | Tobias Dornes, Hans Eveking |
Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
38 | Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust |
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
38 | Yifan Wang 0001, Ralf Wunderlich, Stefan Heinen, Hans-Werner Groh |
Event gesteuerte Modellierung analoger Frontends für die funktionale Verifikation des RF-SoCs. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
38 | Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube |
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
38 | Jens Schönherr |
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns. |
MBMV |
2009 |
DBLP BibTeX RDF |
|
38 | Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler |
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers. |
MBMV |
2008 |
DBLP BibTeX RDF |
|
38 | Jens Schönherr |
Ein Schritt zur formalen Verifikation auf der Transaktionsebene. |
MBMV |
2007 |
DBLP BibTeX RDF |
|
38 | Martin Braun 0001, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz |
Methoden zur Verifikation von Kommunikationsstrukturen. |
MBMV |
2007 |
DBLP BibTeX RDF |
|
38 | Stephan Kubisch, Harald Widiger, Ronald Hecht, Dirk Timmermann, Martin Siemroth |
Architektur einer flexiblen, wiederverwendbaren Testbench zur Verifikation paketverarbeitender Hardware in SystemC. |
MBMV |
2007 |
DBLP BibTeX RDF |
|
38 | Andreas Ehrenfried, Daniel Scholz, Tobias Welp |
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
38 | Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala |
Formale Spezifikation und Verifikation abstrakter Beschreibungen von Telekommunikationsprotokollen. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
38 | Martin 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. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
38 | Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler 0001 |
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen. |
MBMV |
2004 |
DBLP BibTeX RDF |
|
38 | Alexander Thomas, Jürgen Becker 0001, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann |
Formale Verifikation eines Sonet/SDH Framers. |
MBMV |
2004 |
DBLP BibTeX RDF |
|
38 | Hans-Jürgen Brand |
Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
38 | Daniel Große, Rolf Drechsler |
Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen. |
MBMV |
2003 |
DBLP BibTeX RDF |
|
38 | Mathias Schmalisch, Hagen Ploog, Dirk Timmermann |
Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
38 | Jörg Bormann |
Formale Verifikation wird zum Handwerk. |
MBMV (1) |
2001 |
DBLP BibTeX RDF |
|
38 | R. Peukert, Karsten Henke, Heinz-Dietrich Wuttke |
Verifikation im Experimentalsystem GIFT. |
MBMV (1) |
2001 |
DBLP BibTeX RDF |
|
38 | Jens Schönherr, Bernd Straube |
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
38 | Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking |
Formale Verifikation der Register-Allokation. |
MBMV |
2000 |
DBLP BibTeX RDF |
|
38 | Matthias Mutz, Sebastian Steibl |
Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
38 | Holger Hinrichsen, Gerd Ritter, Hans Eveking |
Automatische Synthese und Verifikation von RISC-Prozessoren. |
MBMV |
1999 |
DBLP BibTeX RDF |
|
38 | Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider 0001, Bernd Straube |
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. |
MBMV |
1998 |
DBLP BibTeX RDF |
|
38 | Nikolaus Lange, Matthias Mutz |
Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung. |
MBMV |
1998 |
DBLP BibTeX RDF |
|
38 | Thomas Lock, Michael Mendler |
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. |
MBMV |
1998 |
DBLP BibTeX RDF |
|
38 | Uwe Knöchel, Ulrich Tannert, Jürgen Haufe, Peter Schwarz |
Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation. |
MBMV |
1998 |
DBLP BibTeX RDF |
|
30 | Manfred Broy, Franz Huber, Bernhard Schätz |
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. |
Inform. Forsch. Entwickl. |
1999 |
DBLP DOI BibTeX RDF |
Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping |
27 | Florian Kammüller, Sören Preibusch |
An industrial application of symbolic model checking. |
Inform. Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV |
27 | Monika Müllerburg |
Validierung Software-intensiver eingebetteter Systeme. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Eingebettete Systeme, Echtzeit-Systeme, Verläßlichkeit, Validierung, Verifikation, Test |
27 | Wolfgang Reif |
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. |
Inform. Forsch. Entwickl. |
1999 |
DBLP DOI BibTeX RDF |
Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen |
27 | Fevzi Belli |
Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. |
Inform. Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Validation/Verifikation, systematisches Testen, durchsichtsorientierte Prüfverfahren, Testwerkzeuge |
27 | Christoph Meinel, Thorsten Theobald |
Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. |
Inform. Spektrum |
1997 |
DBLP DOI BibTeX RDF |
rechnergestützter Entwurf, hochintegrierte Schaltungen, formale Verifikation, Datenstrukturen für Boolesche Funktionen, binäre Entscheidungsgraphen, VLSI Design |
19 | Aron 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. |
Autom. |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dominik Hellhake |
Verifikation softwareintensiver Fahrwerksysteme. |
|
2023 |
RDF |
|
19 | Dehla 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. |
Softwaretechnik-Trends |
2022 |
DBLP BibTeX RDF |
|
19 | Alireza Mahzoon |
Formale Verifikation von strukturell komplexen Multiplizierern. |
Ausgezeichnete Informatikdissertationen |
2022 |
DBLP BibTeX RDF |
|
19 | Niklas 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) |
|
2022 |
RDF |
|
19 | Steffen Beringer |
Timing Verifikation von AUTOSAR Softwarearchitekturen (Timing verification of AUTOSAR software architectures) |
|
2022 |
DOI RDF |
|
19 | Tobias Meggendorfer |
Verifikation von Markov Entscheidungsprozessen in diskreter Zeit. |
Ausgezeichnete Informatikdissertationen |
2021 |
DBLP BibTeX RDF |
|
19 | Alexander Svozil |
Moderne Graphalgorithmen für die formale Verifikation. |
Ausgezeichnete Informatikdissertationen |
2021 |
DBLP BibTeX RDF |
|
19 | Muhammad Hassan |
Hochqualitativ Verifikation für VP-basierte Heterogene Systeme. |
Ausgezeichnete Informatikdissertationen |
2021 |
DBLP BibTeX RDF |
|
19 | Jonas Klamroth, Max Scheerer, Oliver Denninger |
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. |
GI-Jahrestagung |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Wolff 0001 |
Verifying Non-blocking Data Structures with Manual Memory Management (Verifikation Nicht-blockierender Datenstrukturen mit Manueller Speicherverwaltung) (PDF / PS) |
|
2021 |
DOI RDF |
|
19 | Daniela Kaufmann |
Formale Verifikation von Multiplizierern mit Computeralgebra. |
Ausgezeichnete Informatikdissertationen |
2020 |
DBLP BibTeX RDF |
|
19 | Bernhard Kragl |
Verifikation Nebenläufiger Programme. |
Ausgezeichnete Informatikdissertationen |
2020 |
DBLP BibTeX RDF |
|
19 | Imke Drave, Timo Henrich, Katrin Hölldobler, Oliver Kautz, Judith Michael, Bernhard Rumpe |
Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. |
Modellierung |
2020 |
DBLP BibTeX RDF |
|
19 | Bernard Schmidt |
Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen. |
|
2020 |
RDF |
|
19 | Stefan Huster |
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software. |
|
2020 |
RDF |
|
19 | Albert 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) |
|
2020 |
RDF |
|
19 | Jennifer Brings, Marian Daun, Markus Kempe, Thorsten Weyer |
Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden. |
SE/SWM |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Marc L. Schulz |
Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung. |
Echtzeit |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Andrej Pietschker |
Bericht: 41. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 41), 9. und 10. November 2017, Sogeti Deutschland GmbH, Ratingen. |
Softwaretechnik-Trends |
2018 |
DBLP BibTeX RDF |
|
19 | Andreas Zeller, Nasser Jazdi, Michael Weyrich |
Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition. |
Autom. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Jan 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. |
Autom. |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Julia Padberg, Alexander Schlaefer, Sibylle Schupp |
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. |
Software Engineering |
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. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Martin Manderscheid |
Performance-Verifikation von Netzwerkarchitekturen eingebetteter Systeme unter Berücksichtigung von Laufzeitvariabilität. |
|
2018 |
RDF |
|
19 | Marc Spisländer |
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen. |
|
2018 |
RDF |
|
19 | Matthias Schneider 0005 |
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen. |
|
2018 |
RDF |
|
19 | Marcel 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. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Johannes Mast, Stefan Rädle, Joachim Gerlach |
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Ralf Wimmer 0001, Andreas Karrenbauer, Ruben Becker, Christoph Scholl 0001, Bernd Becker 0001 |
From DQBF to QBF by Dependency Elimination. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Patrick Sittel, Thomas Schönwälder, Martin Kumm, Peter Zipf |
ScaLP: A Light-Weighted (MI)LP-Library. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub |
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Timo Feld, Uwe Werkmann, Frank Slomka |
Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
Towards Automated Refinement of TLM Properties to RTL. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Philipp S. Käsgen, Markus Weinhardt |
Using Template Metaprogramming for Hardware Description. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Valentina Richthammer, Michael Glaß |
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Florian Hock, Victor Pollex, Chijun Shen, Tobias Bund, Frank Slomka |
Upper Bound for Delay Densities. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Tripti Jain, Klaus Schneider 0001 |
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. |
MBMV |
2018 |
DBLP BibTeX RDF |
|
19 | Andrej Pietschker |
Bericht: 40. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 40) 9. und 10. Februar 2017, Langen. |
Softwaretechnik-Trends |
2017 |
DBLP BibTeX RDF |
|
19 | Dirk Beyer 0001, Rolf Hennicker, Martin Hofmann 0001, Tobias Nipkow, Martin Wirsing |
Software-Verifikation. |
50 Jahre Universitäts-Informatik in München |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Große, Rolf Drechsler (eds.) |
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Veronika Loitzenbauer |
Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese. |
Ausgezeichnete Informatikdissertationen |
2017 |
DBLP BibTeX RDF |
|
19 | Dirk Kuschnerus |
Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik. |
|
2017 |
RDF |
|
19 | Tobias Bund |
Verifikation sicherheitskritischer Regelsysteme unter Beachtung des Zeitverhaltens einer verteilten Rechenplattform |
|
2017 |
DOI RDF |
|
19 | Sebastian 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. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Saman Fröhlich, Daniel Große, Rolf Drechsler |
Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Thiyagarajan Purusothaman, Christoph Grimm 0001 |
SystemC AMS based Co-simulation Framework for Cyber Physical Systems. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Amrutansh Gudivada, Daniel Kriesten, Ulrich Heinkel, Rene Röllig, Matthias Lenk |
OpenCL- Design Flow for High Level Synthesis and Cross-Platform Portability. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Benjamin 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. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Patrick Sittel, Martin Kumm, Konrad Möller, Martin Hardieck, Peter Zipf |
High-Level Synthesis for Model-Based Design with Automatic Folding including Combined Common Subcircuits. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Hananeh Aliee, Abbas BanaiyanMofrad, Michael Glaß, Jürgen Teich, Nikil D. Dutt |
Redundancy-aware Design Space Exploration for Memory Reliability in Many-cores. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Heinz Riener, Rüdiger Ehlers, Görschwin Fey |
Counterexample-Guided EF Synthesis of Boolean Functions. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler |
Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Hussam Amrouch, Jörg Henkel |
Containing Guardbands: From the Macro to Micro Time Domain. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Christoph Grimm 0001, Carna Radojicic |
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. |
MBMV |
2017 |
DBLP BibTeX RDF |
|
19 | Shrinidhi Udupi, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz |
Dynamic Power Optimization based on Formal Property Checking of Operations. |
MBMV |
2017 |
DBLP BibTeX RDF |
|