‪Philipp Berger‬ - ‪Google Scholar‬

Buat profil saya

Dikutip oleh

	Semua	Sejak 2019
Kutipan	45	44
indeks-h	4	4
indeks-i10	2	2

0

14

7

20182019202020212022202320241 2 8 9 13 8 4

Pengarang bersama

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail yang diverifikasi di cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityEmail yang diverifikasi di cs.rwth-aachen.de
Md Tawhid Bin WaezResearch Engineer, Ford Motor Company, MIEmail yang diverifikasi di ford.com

Philipp Berger

Philipp Berger

PhD Student at RWTH Aachen University

Email yang diverifikasi di cs.rwth-aachen.de - Beranda

formal verification software model checking


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Interpretation-based violation witness validation for C: NitWit J Švejda, P Berger, JP Katoen Tools and Algorithms for the Construction and Analysis of Systems 12078, 40, 2020	19	2020
Verifying Auto-generated C Code from Simulink P Berger, JP Katoen, E Ábrahám, MTB Waez, T Rambow International Symposium on Formal Methods, 312-328, 2018	13	2018
Benchmarking software model checkers on automotive code L Westhofen, P Berger, JP Katoen NASA Formal Methods Symposium, 133-150, 2020	8	2020
Multiple Analyses, Requirements Once P Berger, J Nellen, JP Katoen, E Ábrahám, MTB Waez, T Rambow International Workshop on Formal Methods for Industrial Critical Systems, 59-75, 2019	4	2019
Configurable Benchmarks for C Model Checkers X Fink, P Berger, JP Katoen NASA Formal Methods Symposium, 338-354, 2022	1	2022

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–5