Sudeep Kanav

Dataset, April, 2023

Reproduction Package for STTT Submission 'Cooperative Verification: A Literature Review'.

[BibT_eX]

[DOI]

Dataset, March, 2023

CoVeriTeam Release 1.0.

[BibT_eX]

[DOI]

Dataset, February, 2023

CoVeriTeam Service Release 1.1.

[BibT_eX]

[DOI]

Dataset, February, 2023

Reproduction Package for the ICSE 2023 Article 'CoVeriTeam Service: Verification as a Service'.

[BibT_eX]

[DOI]

Dataset, February, 2023

CoVeriTeam Service Release 1.0.

[BibT_eX]

[DOI]

Dataset, February, 2023

CoVeriTeam Service: Verification as a Service.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023).

[BibT_eX]

[DOI]

Dataset, December, 2022

Reproduction Package for the ICSE 2023 Submission 'CoVeriTeam Service: Verification as a Service'.

[BibT_eX]

[DOI]

Dataset, November, 2022

CoVeriTeam Release c-cegar-icse2022.

[BibT_eX]

[DOI]

Dataset, February, 2022

Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'.

[BibT_eX]

[DOI]

Cedric Richter

Dataset, January, 2022

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'.

[BibT_eX]

[DOI]

Dataset, January, 2022

CoVeriTeam Release 0.9.

[BibT_eX]

[DOI]

Dataset, January, 2022

CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.

[BibT_eX]

[DOI]

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

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.

[BibT_eX]

[DOI]

Cedric Richter

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

Reproduction Package for Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'.

[BibT_eX]

[DOI]

Dataset, November, 2021

CoVeriTeam Release svcomp22 and testcomp22.

[BibT_eX]

[DOI]

Dataset, October, 2021

CoVeriTeam Release 0.6.

[BibT_eX]

[DOI]

Dataset, August, 2021

2020

CoVeriTeam Release svcomp21 and testcomp21.

[BibT_eX]

[DOI]

Dataset, December, 2020

Reproduction Package for TACAS 2022 Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'.

[BibT_eX]

[DOI]

Dataset, October, 2020

Reproduction Package for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'.

[BibT_eX]

[DOI]

Dataset, October, 2020

CoVeriTeam Release 0.5.

[BibT_eX]

[DOI]

Dataset, October, 2020

CoVeriTeam Release 0.4.

[BibT_eX]

[DOI]

Dataset, August, 2020

CoVeriTeam Release 0.3.

[BibT_eX]

[DOI]

Dataset, July, 2020

CoVeriTeam Release 0.2.

[BibT_eX]

[DOI]

Dataset, June, 2020

CoVeriTeam Release 0.1.

[BibT_eX]

[DOI]

Dataset, May, 2020

Replication Package (Virtual Machine) for Article 'CoVeriTeam: On-Demand Composition of Cooperative Verification Systems'.

[BibT_eX]

[DOI]

Dataset, May, 2020

CoVeriTeam Release 0.1 - ASE20-submission.

[BibT_eX]

[DOI]

Dataset, May, 2020

An Interface Theory for Program Verification.

[BibT_eX]

[DOI]

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

2019

Design and Runtime Verification Side-by-Side in eTrice.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Controlling a virtual rover using AutoFOCUS3.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

A modular approach to integrate verification tools in model based development.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

2017

Modular Transformation from AF3 to nuXmv.

[BibT_eX]

[DOI]

Vincent Aravantinos

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Tool Support for Live Formal Verification.

[BibT_eX]

[DOI]

Vincent Aravantinos

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2014

A Conference Management System with Verified Document Confidentiality.

[BibT_eX]

[DOI]

Peter Lammich

Andrei Popescu

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

2011

Adaptability of Conservative Staircase Scheme for Live Videos.

[BibT_eX]

[DOI]