‪Philipp Berger‬ - ‪Google Académico‬

Obter o meu próprio perfil

Citado por

	Todos	Desde 2019
Citações	45	44
Índice h	4	4
Índice i10	2	2

0

14

7

20182019202020212022202320241 2 8 9 13 8 4

Coautores

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

Philipp Berger

Philipp Berger

PhD Student at RWTH Aachen University

Email confirmado em cs.rwth-aachen.de - Página inicial

formal verification software model checking


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–5