Dagstuhl Seminar Proceedings 10271

Verification over discrete-continuous boundaries

B. Becker, L. Cardelli, H. Hermanns, S. Tahar (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 10271, 04.07. - 09.07.2010
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Abraham, Erika
  • Becker, Bernd
  • Brickenstein, Michael
  • Cardelli, Luca
  • Corzilius, Florian
  • Dreyer, Alexander
  • Grimm, Christoph
  • Hermanns, Holger
  • Loup, Ulrich
  • Schupfer, Florian
  • Sturm, Thomas
  • Tahar, Sofiene

  •   
    10271 Abstracts Collection -- Verification over discrete-continuous boundaries
    Authors: Becker, Bernd ; Cardelli, Luca ; Hermanns, Holger ; Tahar, Sofiene

    Abstract | Document (201 KB) | BibTeX

    A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
    Authors: Abraham, Erika ; Corzilius, Florian ; Loup, Ulrich ; Sturm, Thomas

    Abstract | Document (290 KB) | BibTeX

    Network-driven Boolean Normal Forms
    Authors: Brickenstein, Michael ; Dreyer, Alexander

    Abstract | Document (298 KB) | BibTeX

    Towards more Dependable Verification of Mixed-Signal Systems
    Authors: Schupfer, Florian ; Grimm, Christoph

    Abstract | Document (707 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI