Search Results - Learning & Technology Library (LearnTechLib)
www.learntechlib.org
Ralf Wimmer; Tobias Nopper; Marc Herbstritt; Christoph Loeffler; Bernd Becker. World Conference on E-Learning in Corporate, Government, Healthcare, and ...
Homepage: Markus Behle (Max-Planck-Institut für Informatik)
people.mpi-inf.mpg.de
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian and Ralf Wimmer; Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems In Proceedings of the 7th GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und …
Prof. Dr. Bernhard Nebel – Publications · Foundations of ...
gki.informatik.uni-freiburg.de
Bernd Becker, Markus Behle, Fritz Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian and Ralf Wimmer. Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Publications - Academy of Europewww.ae-info.org › Member › Publ...
www.ae-info.org
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: ...Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): (2009). Nicolas Coste, Holger Hermanns, Etienne Lantreibecq, ...
Marc Herbstritt - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Marc Herbstritt. Ph.D. Albert-Ludwigs-Universität Freiburg im Breisgau Germany. Dissertation: SAT-based Verification: From Core Algorithms to Novel ...Marc Herbstritt. Ph.D. Albert-Ludwigs-Universität Freiburg im Breisgau Germany. Dissertation: SAT-based Verification: From Core Algorithms to Novel Application Domains. Mathematics Subject Classification: 68—Computer science. Advisor 1: Bernd Becker. No students known. If you have additional information or ...
CSDL Search | IEEE Computer SocietyIEEE Computer Society
csdl.computer.org
Marc Herbstritt ,. Sven Johr ,. Holger Hermanns ,. Bernd Becker ,. Thomas Peikenkamp ,. Jan Rakow ,. Reza Pulungan ,. Eckard Böde ,. Ralf Wimmer. JournalIEEE ... Marc Herbstritt ,. Sven Johr ,. Holger Hermanns ,. Bernd Becker ,. Thomas Peikenkamp ,. Jan Rakow ,. Reza Pulungan ,. Eckard Böde ,. Ralf Wimmer. JournalIEEE ...
SearchOpenReview
openreview.net
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, ... Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, ...
Computer Aided Systems Theory - EUROCAST 2007: 11th ...google.de
books.google.de
... Marc Herbstritt and Bernd Becker Model Checking a Video–on–Demand Server Using McErlang Lars- ̊Ake Fredlund and Juan José Sánchez Penas ...
Theory and Applications of Satisfiability Testing: 6th ...google.de
books.google.de
... Marc Herbstritt, Bernd Becker The Essentials of the SAT Competition Daniel Le Berre, Laurent Simon Challenges ...
Conflict-Based Selection of Branching RulesAI Chat for scientific PDFs
typeset.io
Marc Herbstritt and Bernd Becker. Institute of Computer Science,. Albert–Ludwigs–University, Freiburg im Breisgau, Germany. {herbstri,becker}@informatik ... Marc Herbstritt and Bernd Becker. Institute of Computer Science,. Albert–Ludwigs–University, Freiburg im Breisgau, Germany. {herbstri,becker}@informatik ...
GIBU 2010Gesellschaft für Informatik
gibu.gi.de
Dienstag, :00 Bernd Becker: Der SFB. ” AVACS“. 10:00 Marc Herbstritt: Aktuelles aus Dagstuhl. 10:30 Kaffeepause. 11:00 Dorothea Wagner: Aktuelles aus der ... Dienstag, :00 Bernd Becker: Der SFB. ” AVACS“. 10:00 Marc Herbstritt: Aktuelles aus Dagstuhl. 10:30 Kaffeepause. 11:00 Dorothea Wagner: Aktuelles aus der ...
Some VIS Benchmarks
www.avacs.org
[6] Marc Herbstritt, Bernd Becker, and Christoph Scholl. Advanced SAT-techniques for bounded model checking of blackbox designs. In Proc. of 7th IEEE Int’l Workshop on Microprocessor Test and Verification (MTV), pages 37–44, Austin (TX), USA, Dec IEEE Computer Society. [7] Maher N. Mneimneh and Karem A. Sakallah.
1 Don´t Care Minimization of *BMDs: Complexity and Algorithms...
vdocuments.site
Slide 1 1 Don´t Care Minimization of *BMDs: Complexity and Algorithms Christoph Scholl Marc Herbstritt Bernd Becker Institute of Computer Science...
Bounded Model Checking with Parametric Data StructuresScienceDirect.com
www.sciencedirect.com
von E Ábrahám · · Zitiert von: 4 — Bounded Model Checking with Parametric Data Structures1. Author links open overlay panel. Erika Ábrahám , Marc Herbstritt , Bernd Becker , Martin Steffen. Show ... von E Ábrahám · · Zitiert von: 4 — Bounded Model Checking with Parametric Data Structures1. Author links open overlay panel. Erika Ábrahám , Marc Herbstritt , Bernd Becker , Martin Steffen. Show ...
Suche in der HochschulbibliografieCarl von Ossietzky Universität Oldenburg
diglib.bis.uni-oldenburg.de
von Eckard Böde ; Marc Herbstritt ; Holger Hermanns ; Sven Johr ; Thomas Peikenkamp ; Reza Pulungan ; Ralf Wimmer ; Bernd Becker von Eckard Böde ; Marc Herbstritt ; Holger Hermanns ; Sven Johr ; Thomas Peikenkamp ; Reza Pulungan ; Ralf Wimmer ; Bernd Becker
Electronic Notes in Theoretical Computer ScienceScienceDirect.com
www.sciencedirect.com
— Preface. Ofer Strichman, Armin Biere ; Bounded Model Checking with Parametric Data Structures. Erika Ábrahám, Marc Herbstritt, Bernd Becker, — Preface. Ofer Strichman, Armin Biere ; Bounded Model Checking with Parametric Data Structures. Erika Ábrahám, Marc Herbstritt, Bernd Becker, ...
Alexander KortusDBLP
dblp.org
— Ralf Wimmer , Alexander Kortus, Marc Herbstritt , Bernd Becker : Probabilistic Model Checking and Reliability of Results — Ralf Wimmer , Alexander Kortus, Marc Herbstritt , Bernd Becker : Probabilistic Model Checking and Reliability of Results.
On Combining 01X-Logic and QBFSpringer
link.springer.com
von M Herbstritt · · Zitiert von: 31 — Marc Herbstritt &; Bernd Becker. Part of the book series: Lecture Notes in ... Marc Herbstritt & Bernd Becker. Authors. Marc Herbstritt. View author ... von M Herbstritt · · Zitiert von: 31 — Marc Herbstritt &; Bernd Becker. Part of the book series: Lecture Notes in ... Marc Herbstritt & Bernd Becker. Authors. Marc Herbstritt. View author ...
On Combining 01X-Logic and QBF | SpringerLink
link.springer.com
von M Herbstritt · · Zitiert von: 30 — Marc Herbstritt · Bernd Becker. › chapter
Sigref – A Symbolic Bisimulation Tool Box | SpringerLinklink.springer.com › chapter
link.springer.com
Sigref – A Symbolic Bisimulation Tool Box. Authors; Authors and affiliations. Ralf Wimmer; Marc Herbstritt; Holger Hermanns; Kelley Strampp; Bernd Becker.Sigref – A Symbolic Bisimulation Tool Box. Authors; Authors and affiliations. Ralf Wimmer; Marc Herbstritt; Holger Hermanns; Kelley Strampp; Bernd Becker. Ralf Wimmer. 1. Marc Herbstritt. 1. Holger Hermanns. 2. Kelley Strampp. 1. Bernd Becker Albert-Ludwigs-University FreiburgGermany; 2.Saarland ...
Alle Infos zum Namen "Marc Herbstritt"
Marc Herbstritt - PublicationsGoogle Sites
sites.google.com
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, and Bernd Becker. Symbolic Model Checking for DTMCs with Exact and Inexact Arithmetic. Reports of SFB/TR Ralf Wimmer, Alexander Kortus, Marc Herbstritt, and Bernd Becker. Symbolic Model Checking for DTMCs with Exact and Inexact Arithmetic. Reports of SFB/TR
Application of Lifting in Partial Design AnalysisIEEE Computer Society
www.computer.org
von R Nakamura · · Zitiert von: 7 — Marc Herbstritt Vanessa Struve Bernd Becker. Abstract. In the past, we have investigated satisfiability-based combinational equivalence checking and bounded ... von R Nakamura · · Zitiert von: 7 — Marc Herbstritt Vanessa Struve Bernd Becker. Abstract. In the past, we have investigated satisfiability-based combinational equivalence checking and bounded ...
Sigref - A Symbolic Bisimulation Tool BoxUniversity of Twente Research Information
research.utwente.nl
— Sigref - A Symbolic Bisimulation Tool Box. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. Research output — Sigref - A Symbolic Bisimulation Tool Box. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. Research output ...
[PPT] - On Combining 01X-Logic and QBF Marc Herbstritt (joint work...
www.sambuz.com
On Combining 01X-Logic and QBF Marc Herbstritt (joint work with Bernd Becker) Institute of Computer Science Albert-Ludwigs-University Freiburg im Breisgau, ...
Bounded Model Checking with Parametric Data Structures
citeseerx.ist.psu.edu
von E Ábrahám · Zitiert von: 4 — author = {Erika Ábrahám and Marc Herbstritt and Bernd Becker and Martin Steffen}, title = {Bounded Model Checking with Parametric Data Structures ⋆}, › viewdoc
Conflict-Based Selection of Branching Rules - Academia.eduwww.academia.edu › Conflict_Based_Selection_of_...
www.academia.edu
444 Marc Herbstritt and Bernd Becker Definition 31 (Conflict-triggering branching rule) A branching rule ∈ B triggers a conflict iff 1. A conflict occurs at ...
Sigref – A Symbolic Bisimulation Tool Box - INFONA
www.infona.pl
von R Wimmer · Zitiert von: 75 — Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker · Details · Contributors · Bibliography · Quotations · Similar · Collections ... › resource
Sigref – A Symbolic Bisimulation Tool Box - Springer ...
www.springerprofessional.de
Autoren: Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. Verlag: Springer Berlin Heidelberg. › sigref-a-symbolic...
Reza Pulungan - Universitas Gadjah Madapulungan.staff.ugm.ac.id
pulungan.staff.ugm.ac.id
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer and Bernd Becker.
Sigref - A Symbolic Bisimulation Tool Box — University of Twente...
research.utwente.nl
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. Research output: Chapter in Book/Report/Conference proceeding › Conference ...
programwww.star.dist.unige.it › SAT2003 › final-program
www.star.dist.unige.it
Marc Herbstritt, Bernd Becker. Conflict-based Selection of Branching Rules. 11:15-11:40. Lyndon Drake, Alan Frisch. The Interaction Between Inference and ...
Sigref - A Symbolic Bisimulation Tool Box – Fingerprint —...
research.utwente.nl
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. Research output: Chapter in Book/Report/Conference proceeding › Conference ...Sigref - A Symbolic Bisimulation Tool Box. Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker. Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review. 41 Citations (Scopus). 64 Downloads (Pure). Citations. Citation Indexes: 41.
People affiliated with Schloss Dagstuhl
ariw.org
Marc Herbstritt · Ralf Wimmer · Marc Herbstritt · Bernd Becker · Marc Herbstritt · Bernd Becker · Christoph Scholl · Rolf Drechsler · Marc Herbstritt · Bernd Becker ...
Grouping Heuristics for Word-Level Decision Diagrams - SlideServewww.slideserve.com › reedr › grouping-heuristics-f...
www.slideserve.com
· Rolf Drechsler Marc Herbstritt Bernd Becker Institute of Computer Science University of Freiburg Freiburg, Germany. Outline.
PPT - Don´t Care Minimization of *BMDs: Complexity and Algorithms...
www.slideserve.com
Don´t Care Minimization of *BMDs: Complexity and Algorithms. Christoph Scholl Marc Herbstritt Bernd Becker Institute of Computer Science...
sortiert nach Relevanz / Datum