Dirk Beyer

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

FRed: Conditional Model Checking via Reducers and Folders.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Cooperative Test-Case Generation with Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2020, 2020

Software Verification Tools (Track Introduction).

[BibT_eX]

[DOI]

Irena Bojanova

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

An Interface Theory for Program Verification.

[BibT_eX]

[DOI]

Sudeep Kanav

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Violation Witnesses and Result Validation for Multi-Threaded Programs - Implementation and Evaluation with CPAchecker.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Second Competition on Software Testing: Test-Comp 2020.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

MetaVal: Witness Validation via Verification.

[BibT_eX]

[DOI]

Martin Spiessl

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

sosy-lab/benchexec: Release 2.5.1.

[BibT_eX]

[DOI]

Dataset, December, 2019

sosy-lab/benchexec: Release 2.5.

[BibT_eX]

[DOI]

Dataset, November, 2019

sosy-lab/benchexec: Release 2.3.

[BibT_eX]

[DOI]

Dataset, November, 2019

Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'.

[BibT_eX]

[DOI]

Dataset, October, 2019

Replication Artifact for Article 'Software Verification with PDR: An Implementation of the State of the Art'.

[BibT_eX]

[DOI]

Dataset, October, 2019

sosy-lab/benchexec: Release 2.1.

[BibT_eX]

[DOI]

Aditya Arora

Dataset, September, 2019

sosy-lab/benchexec: Release 2.2.

[BibT_eX]

[DOI]

Dataset, September, 2019

Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'.

[BibT_eX]

[DOI]

Dataset, September, 2019

Reproduction Package for TACAS 2020 Article 'Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'.

[BibT_eX]

[DOI]

Dataset, August, 2019

sosy-lab/benchexec: Release 2.0.

[BibT_eX]

[DOI]

Dataset, July, 2019

sosy-lab/benchexec: Release 1.22.

[BibT_eX]

[DOI]

Dataset, July, 2019

sosy-lab/benchexec: Release 1.21.

[BibT_eX]

[DOI]

Dataset, June, 2019

sosy-lab/benchexec: Release 1.20.

[BibT_eX]

[DOI]

Dataset, June, 2019

sosy-lab/benchexec: Release 1.19.

[BibT_eX]

[DOI]

Dataset, June, 2019

Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators".

[BibT_eX]

[DOI]

Dataset, June, 2019

SV-Benchmarks: Benchmark Set of 8th Intl. Competition on Software Verification (SV-COMP 2019).

[BibT_eX]

[DOI]

Dataset, March, 2019

sosy-lab/benchexec: Release 1.18.

[BibT_eX]

[DOI]

Dataset, February, 2019

Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19.

[BibT_eX]

[DOI]

Dataset, February, 2019

Verification Witnesses from Verification Tools (SV-COMP 2019).

[BibT_eX]

[DOI]

Dataset, February, 2019

Reliable benchmarking: requirements and solutions.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.

[BibT_eX]

[DOI]

CoRR, 2019

International Competition on Software Testing (Test-Comp).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Automatic Verification of C and Java Programs: SV-COMP 2019.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Combining Verifiers in Conditional Model Checking via Reducers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Software Management, 2019

A data set of program invariants and error paths.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

TestCov: Robust Test-Suite Execution and Coverage Measurement.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

CoVeriTest: Cooperative Verifier-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

Conditional Testing - Off-the-Shelf Combination of Test-Case Generators.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

sosy-lab/benchexec: Release 1.17.

[BibT_eX]

[DOI]

Dataset, November, 2018

Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'.

[BibT_eX]

[DOI]

Dataset, July, 2018

Reproduction Package for ASE 2018 Article 'Domain-Independent Multi-threaded Software Model Checking'.

[BibT_eX]

[DOI]

Dataset, July, 2018

Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker".

[BibT_eX]

[DOI]

Dataset, May, 2018

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'.

[BibT_eX]

[DOI]

Dataset, February, 2018

sosy-lab/benchexec: Release 1.16.

[BibT_eX]

[DOI]

Dataset, January, 2018

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS).

[BibT_eX]

[DOI]

Dataset, January, 2018

SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS).

[BibT_eX]

[DOI]

Dataset, January, 2018

SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16).

[BibT_eX]

[DOI]

Dataset, January, 2018

Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'.

[BibT_eX]

[DOI]

Dataset, January, 2018

Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17.

[BibT_eX]

[DOI]

Dataset, January, 2018

Combining Model Checking and Data-Flow Analysis.

[BibT_eX]

[DOI]

Sumit Gulwani

David A. Schmidt

Proceedings of the Handbook of Model Checking., 2018

A Unifying View on SMT-Based Software Verification.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

Tests from Witnesses - Execution-Based Validation of Verification Results.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 12th International Conference, 2018

Domain-independent multi-threaded software model checking.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

CPA-SymExec: efficient symbolic execution in CPAchecker.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Evaluating Tools for Software Verification (Track Introduction).

[BibT_eX]

[DOI]

Stephen F. Siegel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Reducer-based construction of conditional verifiers.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Software Verification with Validation of Results - (Report on SV-COMP 2017).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Exchanging Verification Witnesses between Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

Software-Verifikation.

[BibT_eX]

[DOI]

Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017

2016

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".

[BibT_eX]

[DOI]

Dataset, July, 2016

Data Set for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.

[BibT_eX]

[DOI]

Dataset, July, 2016

Replication Package (Virtual Machine) for Article "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses", Proc. CAV'16.

[BibT_eX]

[DOI]

Dataset, July, 2016

A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

JavaSMT: A Unified Interface for SMT Solvers in Java.

[BibT_eX]

[DOI]

Egor George Karpenkov

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On-the-fly decomposition of specifications in software model checking.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Correctness witnesses: exchanging verification results between verifiers.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

On facilitating reuse in multi-goal test-suite generation for software product lines.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Witness validation and stepwise testification across software verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).

[BibT_eX]

[DOI]

Jonas Lundberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Symbolic Execution with CEGAR.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Reproduction Package (Virtual Machine) for CAV 2015 Article 'Boosting k‑Induction with Continuously‑Refined Invariants'.

[BibT_eX]

[DOI]

Dataset, June, 2015

Domain-Type-Guided Refinement Selection Based on Sliced Path Prefixes.

[BibT_eX]

[DOI]

CoRR, 2015

Combining k-Induction with Continuously-Refined Invariants.

[BibT_eX]

[DOI]

CoRR, 2015

Software Verification and Verifiable Witnesses - (Report on SV-COMP 2015).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Benchmarking and Resource Measurement.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Refinement Selection.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Interpolation for Value Analysis.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Presence-Condition Simplification in Highly Configurable Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Boosting k-Induction with Continuously-Refined Invariants.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2014

BDD-based software verification - Applications to event-condition-action systems.

[BibT_eX]

[DOI]

Andreas Stahlbauer

Int. J. Softw. Tools Technol. Transf., 2014

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Status Report on Software Verification - (Competition Summary SV-COMP 2014).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Precision Reuse in CPAchecker.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Reusing Information in Multi-Goal Reachability Analyses.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

A formal evaluation of DepDegree based on weyuker's properties.

[BibT_eX]

[DOI]

Peter Häring

Proceedings of the 22nd International Conference on Program Comprehension, 2014

Evaluation and Reproducibility of Program Analysis (Track Introduction).

[BibT_eX]

[DOI]

Welf Löwe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Software Verification in the Google App-Engine Cloud.

[BibT_eX]

[DOI]

Georg Dresler

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Reusing Precisions for Efficient Regression Verification

[BibT_eX]

[DOI]

CoRR, 2013

Domain Types: Selecting Abstractions Based on Variable Usage

[BibT_eX]

[DOI]

Sven Apel

Franco Raimondi

Alexander von Rhein

CoRR, 2013

Second Competition on Software Verification - (Summary of SV-COMP 2013).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Precision reuse for efficient regression verification.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Strategies for product-line verification: case studies and experiments.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Domain Types: Abstract-Domain Selection Based on Variable Usage.

[BibT_eX]

[DOI]

Sven Apel

Franco Raimondi

Alexander von Rhein

Proceedings of the Hardware and Software: Verification and Testing, 2013

Explicit-State Software Model Checking Based on CEGAR and Interpolation.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Information Reuse for Multi-goal Reachability Analyses.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

2012

Explicit-Value Analysis Based on CEGAR and Interpolation

[BibT_eX]

[DOI]

CoRR, 2012

Competition on Software Verification - (SV-COMP).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Conditional model checking: a technique to pass information between verifiers.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

BDD-Based Software Model Checking with CPAchecker.

[BibT_eX]

[DOI]

Andreas Stahlbauer

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Linux Driver Verification - (Position Paper).

[BibT_eX]

[DOI]

Alexander K. Petrenko

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Algorithms for software model checking: Predicate abstraction vs. Impact.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Feature-Aware Verification

[BibT_eX]

[DOI]

CoRR, 2011

Conditional Model Checking

[BibT_eX]

[DOI]

CoRR, 2011

Detection of feature interactions using feature-aware verification.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Feature cohesion in software product lines: an exploratory study.

[BibT_eX]

[DOI]

Sven Apel

Proceedings of the 33rd International Conference on Software Engineering, 2011

CPAchecker: A Tool for Configurable Software Verification.

[BibT_eX]

[DOI]

M. Erkan Keremoglu

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

A Simple and Effective Measure for Complex Low-Level Dependencies.

[BibT_eX]

[DOI]

Ashgan Fararooy

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

CheckDep: A Tool for Tracking Software Dependencies.

[BibT_eX]

[DOI]

Ashgan Fararooy

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

DepDigger: A Tool for Detecting Complex Low-Level Dependencies.

[BibT_eX]

[DOI]

Ashgan Fararooy

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

Predicate abstraction with adjustable-block encoding.

[BibT_eX]

[DOI]

M. Erkan Keremoglu

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Shape Refinement through Explicit Heap Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Software model checking via large-block encoding.

[BibT_eX]

[DOI]

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Program Analysis with Dynamic Precision Adjustment.

[BibT_eX]

[DOI]

Grégory Théoduloz

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

CCVisu: automatic visual software decomposition.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

CSIsat: Interpolation for LA+EUF.

[BibT_eX]

[DOI]

Damien Zufferey

Rupak Majumdar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

The software model checker Blast.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2007

Invariant Synthesis for Combined Theories.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

Path invariants.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

An Application ofWeb-Service Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.

[BibT_eX]

[DOI]

Grégory Théoduloz

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Algorithms for Interface Synthesis.

[BibT_eX]

[DOI]

Vasu Singh

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Animated Visualization of Software History using Evolution Storyboards.

[BibT_eX]

[DOI]

Ahmed E. Hassan

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Co-change visualization applied to PostgreSQL and ArgoUML: (MSR challenge report).

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

Evolution Storyboards: Visualization of Software Structure Dynamics.

[BibT_eX]

[DOI]

Ahmed E. Hassan

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

Relational programming with CrocoPat.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Symbolic invariant verification for systems with dynamic structural adaptation.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Lazy Shape Analysis.

[BibT_eX]

[DOI]

Grégory Théoduloz

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Efficient Relational Calculation for Software Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Web service interfaces.

[BibT_eX]

[DOI]

Arindam Chakrabarti

Proceedings of the 14th international conference on World Wide Web, 2005

Clustering Software Artifacts Based on Frequent Common Changes.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

Co-Change Visualization.

[BibT_eX]

Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005

Checking Memory Safety with Blast.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

CrocoPat 2.1 Introduction and Reference Manual

[BibT_eX]

[DOI]

CoRR, 2004

The Blast Query Language for Software Verification..

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 11th International Symposium, 2004

Invited talk: the blast query language for software verification.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

An Eclipse Plug-in for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Generating Tests from Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Simple and Efficient Relational Querying of Software Structures.

[BibT_eX]

[DOI]

Proceedings of the 10th Working Conference on Reverse Engineering, 2003

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Program Comprehension (IWPC 2003), 2003

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Rabbit: A Tool for BDD-Based Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata.

[BibT_eX]

[DOI]