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

MPI-INF RG1 Publications, generated: 21:27, 20 October 2019

Search the publication database

  . Return

Your search returned the following 14 documents:

  1. Werner Damm, Carsten Ihlemann, and Viorica Sofronie-Stokkermans
    Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
    In: HSCC'11 : Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, Chicago, Ill., 2011, 73-82
  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. Werner Damm, Carsten Ihlemann, and Viorica Sofronie-Stokkermans
    PTIME parametric verification of safety properties for reasonable linear hybrid automata
    Mathematics in Computer Science 5 (4): 469-497, 2011
  4. Johannes Faber, Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    Automatic Verification of Parametric Specifications with Complex Topologies
    In: Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, 2010, 152-167
  5. 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
  6. 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
  7. Carsten Ihlemann and Viorica Sofronie-Stokkermans
    On Hierarchical Reasoning in Combinations of Theories
    In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, 2010, 30-45
  8. Carsten Ihlemann
    Reasoning in Combinations of Theories
    Doctoral dissertation, Universität des Saarlandes, 2010
    [PDF: Download: diss.pdf]
  9. 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
  10. Carsten Ihlemann and Viorica Sofronie-Stokkermans
    System Description: H-PILoT
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 131-139
  11. Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    On local reasoning in verification
    In: Proceedings of TACAS 2008, Budapest, Hungary, 2008, 265-281
  12. Viorica Sofronie-Stokkermans and Carsten Ihlemann
    Automated reasoning in some local extensions of ordered structures
    In: Proceedings of ISMVL 2007, Oslo, Norway, 2007, Article1 p.
  13. Viorica Sofronie-Stokkermans and Carsten Ihlemann
    Automated reasoning in some local extensions of ordered structures
    Journal of Multiple-Valued Logic and Soft Computing 13 (4-6): 397-414, 2007
  14. Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    In: Deduction and Decision Procedures, Dagstuhl, Germany, 2007, 1-22