Christian Dehnert

19 papers A 1B 5Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
CoRR
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 conf
From Reactive Systems to Cyber-Physical Systems
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2017 conf
CAV (2)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 J jnl
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2017 conf
TACAS (2)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
2016 B conf
ATVA
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 J jnl
CoRR
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 B conf
ATVA
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
CoRR
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 conf
MBMV
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016 A conf
TACAS
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2016 J jnl
CoRR
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
2015 B conf
FM
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015 conf
CAV (1)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015 J jnl
CoRR
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2014 conf
SFM
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014 B conf
ATVA
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
2013 B conf
VMCAI
Christian Dehnert, Joost-Pieter Katoen, David Parker
2012 conf
ROCKS
Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen