Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 8:26, 18 October 2019

Search the publication database

  . Return

Your search returned the following 9 documents:

  1. Bernd Becker, Werner Damm, Bernd Finkbeiner, Martin Fränzle, Ernst-Rüdiger Olderog, and Andreas Podelski(Ed.)
    Werner Damm, Stefan Disch, Willem Hagemann, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Integrating incremental flow pipes into a symbolic model checker for hybrid systems
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 76, Technical Report
  2. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Werner Damm, Carsten Ihlemann, and Viorica Sofronie-Stokkermans
    PTIME parametric verification of safety properties for reasonable linear hybrid automata
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 70, Technical Report
  3. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    Automatic Verification of Parametric Specifications with Complex Topologies
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 66, Technical Report
  4. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Carsten Ihlemann and Viorica Sofronie-Stokkermans
    On hierarchical reasoning in combinations of theories
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 60, Technical Report
  5. Becker Bernd, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Carsten Ihlemann and Viorica Sofronie-Stokkermans
    System Description: H-PILoT (Version 1.9)
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 61, Technical Report
  6. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 56, Technical Report
  7. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 346-362
  8. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Viorica Sofronie-Stokkermans
    Efficient Hierarchical Reasoning about Functions over Numerical Domains
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 45, Reports of SFB/TR 14 AVACS. Note: extended version of an article with the same name published in the proceedings of KI 2008.
  9. Bernd Becker, Werner Martin Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Viorica Sofronie-Stokkermans
    Sheaves and geometric logic and applications to modular verification of complex systems
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 46, Reports of SFB/TR 14 AVACS