UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 618

Sortiert nach

CPAchecker: A Tool for Configurable Software Verification

Computer Aided Verification, p.184-190

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

1, 2024

Volltextzugriff (PDF)

A Unifying View on SMT-Based Software Verification

Journal of automated reasoning, 2018-03, Vol.60 (3), p.299-335

2018

Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

1st Edition 2020, 2020

Volltextzugriff (PDF)

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

1st Edition 2018, 2018

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

1, 2018

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: Part I : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2018

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2018

Volltextzugriff (PDF)

First international competition on software testing

International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.833-846

Beyer, Dirk

2021

Volltextzugriff (PDF)

Markovian Demand Inventory Models

1, 2009

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

1, 2018

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

1, 2019

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2018

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

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

Electronic proceedings in theoretical computer science, 2016-12, Vol.233 (Proc. MEMICS 2016), p.61-71

2016

Volltextzugriff (PDF)

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

Tools and Algorithms for the Construction and Analysis of Systems, p.887-904

Volltextzugriff (PDF)

TOOLympics I: Competition on software testing

International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.829-832

2021

Volltextzugriff (PDF)

TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019

International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.829-832

2021

Volltextzugriff (PDF)

LIV: Loop-Invariant Validation Using Straight-Line Programs

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.2074-2077

2023

Volltextzugriff (PDF)

Tools for the construction and analysis of systems: A special issue for TACAS 2018

International journal on software tools for technology transfer, 2020-12, Vol.22 (6), p.685-687

2020

Volltextzugriff (PDF)

Selected and Extended Papers from TACAS 2018: Preface

Journal of automated reasoning, 2020-10, Vol.64 (7), p.1331-1332

2020

Volltextzugriff (PDF)

Reliable benchmarking: requirements and solutions

International journal on software tools for technology transfer, 2019-02, Vol.21 (1), p.1-29

2019

Volltextzugriff (PDF)

A matrix approach to valuation and performance measurement based on accounting information considering different financing policies

Journal of management control, 2018-03, Vol.29 (1), p.37-61

Beyer, Dirk

2018

Volltextzugriff (PDF)

TestCov: robust test-suite execution and coverage measurement

2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.1074-1077

2019

Volltextzugriff (PDF)

1 – 25 von 618

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(309)
Mit Volltextzugriff
(595)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(591)
Japanisch
(28)
Deutsch
(26)

Erscheinungsjahr

n.n

Thema

Science & Technology
(259)
Technology
(184)
Computer Science
(160)
Computer Science, Theory & Methods
(106)
Computer Science, Software Engineering
(91)
Life Sciences & Biomedicine
(66)
Software Engineering
(52)
Humans
(51)
Exact Sciences And Technology
(43)
Applied Sciences
(37)
Software
(35)
Science & Technology - Other Topics
(33)
Engineering
(29)
Computer Science; Control Theory; Systems
(27)
Male
(27)
Physical Sciences
(26)
Logic
(24)
Program Analysis
(24)
Software Verification
(23)
Middle Aged
(19)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(7)

Menü

Weitere Dienste

Einstellungen

CPAchecker: A Tool for Configurable Software Verification

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

A Unifying View on SMT-Based Software Verification

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: Part I : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

First international competition on software testing

Markovian Demand Inventory Models

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

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

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

TOOLympics I: Competition on software testing

TOOLympics I: Competition on software testing: A special issue for Test-Comp 2019

LIV: Loop-Invariant Validation Using Straight-Line Programs

Tools for the construction and analysis of systems: A special issue for TACAS 2018

Selected and Extended Papers from TACAS 2018: Preface

Reliable benchmarking: requirements and solutions

A matrix approach to valuation and performance measurement based on accounting information considering different financing policies

TestCov: robust test-suite execution and coverage measurement

Suchergebnisse filtern