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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(4), pp. 182-192, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
38 | Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille |
Verifikation von Networked Labs-on-Chip Architekturen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 41-42, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
38 | Christian Schott, Marko Rößler, Ulrich Heinkel |
Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015., pp. 5-13, 2015, Sächsische Landesbibliothek, 978-3-00-048889-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015., pp. 20-29, 2015, Sächsische Landesbibliothek, 978-3-00-048889-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
38 | Matteo Michel, Johannes Koesters, Benedikt Geukes |
Modulare Verifikation von Non-Mainline Chip-Level Funktionen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015., pp. 14-19, 2015, Sächsische Landesbibliothek, 978-3-00-048889-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
38 | Rafal Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich |
Verifikation Rekonfigurierbarer Scan-Netze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany, pp. 137-146, 2014, Cuvillier. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
38 | Fabian Mischkalla, Wolfgang Müller 0003 |
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013., pp. 171-181, 2013, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 978-3-86009-147-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012, pp. 61-71, 2012, Verlag Dr. Kovac, 978-3-8300-6201-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
38 | Tobias Dornes, Martin Schweikert, Hans Eveking |
Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 123-132, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra Hofstedt |
Formale Verifikation von Contiki-Anwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011, pp. 39-48, 2011, OFFIS-Institut für Informatik. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
38 | Tobias Dornes, Hans Eveking |
Formale Verifikation von Systemeigenschaften unter Verwendung normalisierter formaler Spezifikationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 47-56, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
38 | Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust |
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010, pp. 227-236, 2010, Fraunhofer Verlag. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009, pp. 237-246, 2009, Universitätsbibliothek Berlin, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
38 | Jürgen Haufe, Ulrich Donath, Eva Fordran, Thomas Klotz, Bernd Straube |
Modellierung und Verifikation von Steuerungen in der Automatisierungstechnik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009, pp. 197-206, 2009, Universitätsbibliothek Berlin, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
38 | Jens Schönherr |
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009, pp. 37-46, 2009, Universitätsbibliothek Berlin, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
38 | Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler |
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008, pp. 61-70, 2008, Shaker. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
38 | Jens Schönherr |
Ein Schritt zur formalen Verifikation auf der Transaktionsebene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007, pp. 213-222, 2007, Shaker, 978-3-8322-5956-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Martin Braun 0001, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz |
Methoden zur Verifikation von Kommunikationsstrukturen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007, pp. 223-232, 2007, Shaker, 978-3-8322-5956-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007, pp. 9-18, 2007, Shaker, 978-3-8322-5956-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 114-121, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 339-348, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 95-105, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
38 | Vesselka Duridanova, Thorsten Hummel, Olga Fengler, Wolfgang Fengler 0001 |
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004, pp. 184-193, 2004, Shaker. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
38 | Alexander Thomas, Jürgen Becker 0001, Ulrich Heinkel, Klaus Winkelmann, Jörg Bormann |
Formale Verifikation eines Sonet/SDH Framers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004, pp. 280-288, 2004, Shaker. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
38 | Hans-Jürgen Brand |
Verifikation von Prozessorplattformen -- Probleme und Trends aus Sicht der Chipentwicklung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003, pp. 61-61, 2003, Shaker. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
38 | Daniel Große, Rolf Drechsler |
Formale Verifikation von LTL-Formeln für SystemC-Beschreibungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003, pp. 229-238, 2003, Shaker. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
38 | Mathias Schmalisch, Hagen Ploog, Dirk Timmermann |
Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002, pp. 154-162, 2002, Shaker. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
38 | Jörg Bormann |
Formale Verifikation wird zum Handwerk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV (1) ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001, pp. 9-10, 2001, MoPress. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
38 | R. Peukert, Karsten Henke, Heinz-Dietrich Wuttke |
Verifikation im Experimentalsystem GIFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV (1) ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001, pp. 63-72, 2001, MoPress. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
38 | Jens Schönherr, Bernd Straube |
Formale Verifikation auf höheren Entwurfsebenen mittels symbolischer Traversierung unendlicher Automaten. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000, pp. 47-56, 2000, VDE. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
38 | Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking |
Formale Verifikation der Register-Allokation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000, pp. 27-35, 2000, VDE. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
38 | Matthias Mutz, Sebastian Steibl |
Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999, pp. 61-70, 1999, Shaker. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
38 | Holger Hinrichsen, Gerd Ritter, Hans Eveking |
Automatische Synthese und Verifikation von RISC-Prozessoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999, pp. 1-10, 1999, Shaker. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
38 | Ingo Schreiber, Jens Schönherr, Eva Fordran, Klaus Schneider 0001, Bernd Straube |
Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998, pp. 114-123, 1998, HNI-Verlagsschriften. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Nikolaus Lange, Matthias Mutz |
Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998, pp. 67-74, 1998, HNI-Verlagsschriften. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Thomas Lock, Michael Mendler |
Formale Modellierung von kontrollflussdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflussgesteuerter Einplanungsverfahren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998, pp. 75-84, 1998, HNI-Verlagsschriften. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
38 | Uwe Knöchel, Ulrich Tannert, Jürgen Haufe, Peter Schwarz |
Verifikation nachrichtentechnischer Systeme mit Systemsimulation und HW/SW-Cosimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998, pp. 175-184, 1998, HNI-Verlagsschriften. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
30 | Manfred Broy, Franz Huber, Bernhard Schätz |
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(3), pp. 121-134, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 22(2), pp. 95-108, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(3), pp. 140-150, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 14(4), pp. 193-202, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 21(6), pp. 337-346, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 20(5), pp. 268-275, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 71(1), pp. 56-68, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Dominik Hellhake |
Verifikation softwareintensiver Fahrwerksysteme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 42(4), pp. 8-11, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Alireza Mahzoon |
Formale Verifikation von strukturell komplexen Multiplizierern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen, pp. 191-200, 2022. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
19 | Steffen Beringer |
Timing Verifikation von AUTOSAR Softwarearchitekturen (Timing verification of AUTOSAR software architectures) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
19 | Tobias Meggendorfer |
Verifikation von Markov Entscheidungsprozessen in diskreter Zeit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2021., pp. 201-210, 2021, GI, 978-3-88579-980-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Alexander Svozil |
Moderne Graphalgorithmen für die formale Verifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2021., pp. 261-270, 2021, GI, 978-3-88579-980-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Muhammad Hassan |
Hochqualitativ Verifikation für VP-basierte Heterogene Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2021., pp. 71-80, 2021, GI, 978-3-88579-980-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Jonas Klamroth, Max Scheerer, Oliver Denninger |
Holistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability, Berlin, Germany, 27. September - 1. Oktober, 2021, pp. 1825-1830, 2021, Gesellschaft für Informatik, Bonn, 978-3-88579-708-1. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
DOI RDF |
|
19 | Daniela Kaufmann |
Formale Verifikation von Multiplizierern mit Computeralgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2020., pp. 169-178, 2020, GI, 978-3-88579-775-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Bernhard Kragl |
Verifikation Nebenläufiger Programme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2020., pp. 189-198, 2020, GI, 978-3-88579-775-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modellierung ![In: Modellierung 2020, 19.-21. Februar 2020, Wien, Österreich., pp. 173-188, 2020, Gesellschaft für Informatik e.V., 978-3-88579-696-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Bernard Schmidt |
Programmnetzlisten: Ein formales Modell für die Verifikation von Hardwarenaher Software in Eingebetteten Systemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
19 | Stefan Huster |
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SE/SWM ![In: Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, pp. 47-48, 2019, GI, 978-3-88579-686-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Marc L. Schulz |
Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Echtzeit 2019 - Autonome Systeme - 50 Jahre PEARL, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) Boppard, 21. und 22. November 2019, pp. 119-128, 2019, Springer Vieweg, 978-3-658-27807-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 38(1), pp. 55-56, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Andreas Zeller, Nasser Jazdi, Michael Weyrich |
Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 66(6), pp. 456-470, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 66(5), pp. 418-437, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Julia Padberg, Alexander Schlaefer, Sibylle Schupp |
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany., pp. 209-210, 2018, Gesellschaft für Informatik, 978-3-88579-673-2. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
MBMV ![Universität Tübingen, 978-3-00-059317-8 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Martin Manderscheid |
Performance-Verifikation von Netzwerkarchitekturen eingebetteter Systeme unter Berücksichtigung von Laufzeitvariabilität. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
19 | Marc Spisländer |
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
19 | Matthias Schneider 0005 |
Verifikation von Zeitinformationen in drahtlosen Kommunikationssystemen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Patrick Sittel, Thomas Schönwälder, Martin Kumm, Peter Zipf |
ScaLP: A Light-Weighted (MI)LP-Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Timo Feld, Uwe Werkmann, Frank Slomka |
Real-Time Analysis of Distributed Systems including Tasks with Variable Rate-dependent Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
Towards Automated Refinement of TLM Properties to RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Philipp S. Käsgen, Markus Weinhardt |
Using Template Metaprogramming for Hardware Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Valentina Richthammer, Michael Glaß |
On Search-Space Restriction for Design Space Exploration of Multi-/Many-Core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Florian Hock, Victor Pollex, Chijun Shen, Tobias Bund, Frank Slomka |
Upper Bound for Delay Densities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Tripti Jain, Klaus Schneider 0001 |
Routing Partial Permutations in General Interconnection Networks based on Radix Sorting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 37(1), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Dirk Beyer 0001, Rolf Hennicker, Martin Hofmann 0001, Tobias Nipkow, Martin Wirsing |
Software-Verifikation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Jahre Universitäts-Informatik in München ![In: 50 Jahre Universitäts-Informatik in München, pp. 75-86, 2017, Springer, 978-3-662-54711-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![Shaker Verlag, 978-3-8440-4996-1 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Veronika Loitzenbauer |
Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2017, pp. 141-150, 2017, GI, 978-3-88579-977-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Dirk Kuschnerus |
Modellierung und Verifikation sicherheitskritischer konfigurierbarer Systeme in der Prozessmesstechnik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
19 | Tobias Bund |
Verifikation sicherheitskritischer Regelsysteme unter Beachtung des Zeitverhaltens einer verteilten Rechenplattform ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 91-102, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 27-38, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Thiyagarajan Purusothaman, Christoph Grimm 0001 |
SystemC AMS based Co-simulation Framework for Cyber Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 55-66, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 43-50, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 15-26, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 103-114, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 1-12, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Heinz Riener, Rüdiger Ehlers, Görschwin Fey |
Counterexample-Guided EF Synthesis of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 67-74, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler |
Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 75-78, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Hussam Amrouch, Jörg Henkel |
Containing Guardbands: From the Macro to Micro Time Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 13-14, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Christoph Grimm 0001, Carna Radojicic |
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 39-40, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
19 | Shrinidhi Udupi, Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz |
Dynamic Power Optimization based on Formal Property Checking of Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017., pp. 129-136, 2017, Shaker Verlag, 978-3-8440-4996-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|