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

MPI-INF RG1 Publications, generated: 6:18, 24 October 2019

Search the publication database

  . Return

Your search returned the following 14 documents:

  1. 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
  2. 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
  3. Swen Jacobs
    Hierarchic Decision Procedures for Verification
    Doctoral dissertation, Universität des Saarlandes, 2010
  4. Swen Jacobs
    Incremental Instance Generation in Local Reasoning
    In: Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, 2009, 368-382
    [PDF: Download: IIGLR.pdf]
  5. Swen Jacobs
    Incremental Instance Generation in Local Reasoning
    In: Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08, Sydney, Australia, 2008, 47-62
    [PDF: Download: IIGLR.pdf]
  6. Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
    On local reasoning in verification
    In: Proceedings of TACAS 2008, Budapest, Hungary, 2008, 265-281
  7. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    Electronic Notes in Theoretical Computer Science 174 (8): 39-54, 2007

  8. Swen Jacobs and Uwe Waldmann
    Comparing Instance Generation Methods for Automated Reasoning
    Journal of Automated Reasoning 38 (1/3): 57-78, 2007

  9. Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
    In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, 2007, 425-440
  10. 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
  11. Johannes Faber, Swen Jacobs, and Viorica Sofronie-Stokkermans
    Verifying CSP-OZ-DC specifications with complex data types and timing parameters
    In: Proceedings of IFM 2007: Integrated Formal Methods, Oxford, UK, 2007, 233-252
  12. Swen Jacobs and Uwe Waldmann
    Comparing Instance Generation Methods for Automated Reasoning
    In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, 2005, 153-168
    [PDF: Download: InstGen-final.pdf]
  13. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, Seattle, USA, 2006, 15-26
  14. Swen Jacobs and Uwe Waldmann
    Comparing Instance Generation Methods for Automated Reasoning
    Journal of Automated Reasoning 38: 57-78, 2006. Note: "Online First" version of 2007 journal article