Search results for "Verifikation"

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