Concepedia

Denis Kuperberg

DK

6

Publications

119

Citations

6

H-Index

2011

Active since

Affiliations

Université Paris Cité(Current)

École Normale Supérieure de Lyon

Centre National de la Recherche Scientifique

Laboratoire de l'Informatique du Parallélisme

University of Oxford

Denis Kuperberg is an author at Université Paris Cité specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationVerificationComputer ScienceSoftware DesignSystem SoftwareProgram AnalysisSoftware Testing

Publications per year

2011–2022

6

Publications

6

Lightweight specification and analysis of dynamic systems with rich configurations

Nuno Macedo, Julien Brunel, David Chemouil et al. · 2016 · 56 citations · Full text

Engineering, Verification, Computer Architecture +23

Bouncing Threads for Circular and Non-Wellfounded Proofs

David Baelde, Amina Doumane, Denis Kuperberg et al. · 2022 · 16 citations

Inductive Types, Engineering, Fixed Points +14

Büchi Good-for-Games Automata Are Efficiently Recognizable

Marc Bagnol, Denis Kuperberg · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 15 citations · Full text

Two-way cost automata and cost logics over infinite trees

Achim Blumensath, Thomas Colcombet, Denis Kuperberg et al. · 2014 · 12 citations · Full text

Engineering, Computational Complexity, Formal Verification +17

Quasi-Weak Cost Automata: A New Variant of Weakness

Denis Kuperberg, Michael Vanden Boom · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 10 citations · Full text

Rows per page

1–5 of 6