Software and Computational Systems Lab

Publications about Software Development Project

1. BenchCloud: A Platform for Scalable Performance Benchmarking. 2024. Keyword(s): Software Development Project Supplement
   BibTeX Entry

   @misc{BenchCloud, title = {{{\sc BenchCloud}}: A Platform for Scalable Performance Benchmarking}, year = {2024}, url = {https://gitlab.com/sosy-lab/software/benchcloud/}, keyword = {Software Development Project}, role = {Principal designer and contributor}, }
2. CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. 2024. Keyword(s): Software Development Project Supplement
   BibTeX Entry

   @misc{CPAdaemon, title = {{{\sc CPA-Daemon}}: Mitigating Tool Restarts for Java-Based Verifiers}, year = {2024}, url = {https://gitlab.com/sosy-lab/software/cpa-daemon/}, keyword = {Software Development Project}, role = {Contributor}, }
3. FM-Weck: Containerized Execution of Formal-Methods Tools. 2024. Keyword(s): Software Development Project Supplement
   BibTeX Entry

   @misc{FM-Weck, title = {{{\sc FM-Weck}}: Containerized Execution of Formal-Methods Tools}, year = {2024}, url = {https://gitlab.com/sosy-lab/software/fm-weck/}, keyword = {Software Development Project}, role = {Contributor}, }
4. TransVer: A Modular Program-Transformation Framework for Reduction to Reachability. 2024. Keyword(s): Software Development Project Supplement
   BibTeX Entry

   @misc{TransVer, title = {{{\sc TransVer}}: A Modular Program-Transformation Framework for Reduction to Reachability}, year = {2024}, url = {https://gitlab.com/sosy-lab/software/transver/}, keyword = {Software Development Project}, role = {Contributor}, }
5. CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. 2022. Keyword(s): Software Development Project Supplement
   BibTeX Entry

   @misc{CoVeriTeam, title = {{{\sc CoVeriTeam}}: On-Demand Composition of Cooperative Verification Systems}, year = {2022}, url = {https://gitlab.com/sosy-lab/software/coveriteam/}, keyword = {Software Development Project}, role = {Principal designer and contributor}, }
6. BenchExec: Reliable Benchmarking and Resource Measurement. 2015. Keyword(s): Software Development Project Supplement
   BibTeX Entry

   @misc{BenchExec, title = {{{\sc BenchExec}}: Reliable Benchmarking and Resource Measurement}, year = {2015}, url = {https://github.com/dbeyer/BenchExec}, keyword = {Software Development Project}, role = {Contributor}, }
7. JavaSMT: A Unified Interface for SMT Solvers in Java. 2015. Keyword(s): Software Development Project, JavaSMT Supplement
   BibTeX Entry

   @misc{JavaSMT, title = {{{\sc JavaSMT}}: A Unified Interface for {SMT} Solvers in {Java}}, year = {2015}, url = {https://github.com/sosy-lab/java-smt}, keyword = {Software Development Project,JavaSMT}, role = {Contributor}, }
8. CheckDep: Tracking Software Dependencies. 2010. Keyword(s): Software Development Project, Structural Analysis and Comprehension Supplement
   BibTeX Entry

   @misc{CheckDep, title = {{{\sc CheckDep}}: Tracking Software Dependencies}, year = {2010}, url = {http://www.sosy-lab.org/~dbeyer/CheckDep/}, keyword = {Software Development Project,Structural Analysis and Comprehension}, role = {Principal designer, architect, and maintenance}, }
9. DepDigger: Detecting Complex Low-Level Dependencies. 2010. Keyword(s): Software Development Project, Structural Analysis and Comprehension Supplement
   BibTeX Entry

   @misc{DepDigger, title = {{{\sc DepDigger}}: Detecting Complex Low-Level Dependencies}, year = {2010}, url = {http://www.sosy-lab.org/~dbeyer/DepDigger/}, keyword = {Software Development Project,Structural Analysis and Comprehension}, role = {Principal designer, architect, and maintenance}, }
10. CSIsat: Interpolation for LA+EUF. 2008. Keyword(s): Software Development Project
    BibTeX Entry

    @misc{CSIsat, title = {{{\sc CSIsat}}: Interpolation for {LA+EUF}}, year = {2008}, keyword = {Software Development Project}, role = {Contributor and designer}, }
11. CPAchecker: Configurable Software Verification. 2007. Keyword(s): Software Development Project, CPAchecker, Software Model Checking Supplement
    BibTeX Entry

    @misc{CPAchecker, title = {{{\sc CPAchecker}}: Configurable Software Verification}, year = {2007}, url = {http://www.sosy-lab.org/~dbeyer/CPAchecker/}, keyword = {Software Development Project,CPAchecker,Software Model Checking}, role = {Principal designer, architect, implementation, and maintenance}, }
12. CCVisu: Visual Clustering and Software-Structure Assessment. 2005. Keyword(s): Software Development Project, Structural Analysis and Comprehension Supplement
    BibTeX Entry

    @misc{CCVisu, title = {{{\sc CCVisu}}: Visual Clustering and Software-Structure Assessment}, year = {2005}, url = {http://www.sosy-lab.org/~dbeyer/CCVisu/}, keyword = {Software Development Project,Structural Analysis and Comprehension}, role = {Principal designer and implementer}, }
13. Chic: Checking Interface Compatibility. 2004. Keyword(s): Software Development Project, Interfaces for Component-Based Design
    BibTeX Entry

    @misc{Chic, title = {{{\sc Chic}}: Checking Interface Compatibility}, year = {2004}, keyword = {Software Development Project,Interfaces for Component-Based Design}, role = {Contributor, new formalism, and verification algorithm}, }
14. CrocoPat: Relational Programming (for Software-Structure Analysis). 2003. Keyword(s): Software Development Project, Structural Analysis and Comprehension
    BibTeX Entry

    @misc{CrocoPat, title = {{{\sc CrocoPat}}: Relational Programming (for Software-Structure Analysis)}, year = {2003}, keyword = {Software Development Project,Structural Analysis and Comprehension}, role = {Principal designer and implementer}, }
15. Blast: Model Checking of Software. 2002. Keyword(s): Software Development Project, Software Model Checking Supplement
    BibTeX Entry

    @misc{Blast, title = {{{\sc Blast}}: Model Checking of Software}, year = {2002}, url = {http://www.sosy-lab.org/~dbeyer/Blast/}, keyword = {Software Development Project,Software Model Checking}, role = {Contributor, conceptual extensions, implementation, and maintenance}, }
16. Rabbit: Verification of Real-Time Systems. 1998. Keyword(s): Software Development Project, Formal Verification of Real-Time Systems
    BibTeX Entry

    @misc{Rabbit, title = {{{\sc Rabbit}}: Verification of Real-Time Systems}, year = {1998}, keyword = {Software Development Project,Formal Verification of Real-Time Systems}, role = {Principal designer and implementer}, }