| 2026 |
— |
ed. |
On the Pursuit of Insight and Elegance
Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies
|
| 2026 |
— |
conf |
TACAS (2)
Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Körner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
|
| 2026 |
— |
conf |
TACAS (2)
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
|
| 2026 |
B |
conf |
FASE
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
|
| 2024 |
— |
conf |
TACAS (3)
Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
|
| 2024 |
B |
conf |
FASE
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
|
| 2023 |
— |
conf |
TACAS (2)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
|
| 2023 |
— |
conf |
TACAS (2)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
|
| 2022 |
— |
conf |
HICSS
Daniel Dietsch, Vincent Langenfeld
|
| 2022 |
— |
conf |
TACAS (2)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
|
| 2022 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
|
| 2021 |
— |
conf |
REFSQ Workshops
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
|
| 2021 |
B |
conf |
APLAS
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
|
| 2021 |
— |
conf |
NETYS
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
|
| 2021 |
J |
jnl |
CoRR
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
|
| 2021 |
B |
conf |
VMCAI
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
|
| 2020 |
— |
conf |
TACAS (2)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
|
| 2019 |
J |
jnl |
CoRR
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
|
| 2019 |
A |
conf |
RE
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
|
| 2019 |
— |
conf |
HCVS/PERR@ETAPS
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
|
| 2018 |
B |
conf |
SAS
Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann
|
| 2018 |
— |
conf |
VSTTE
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
|
| 2018 |
— |
conf |
TACAS (2)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
|
| 2018 |
— |
conf |
TACAS (2)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
|
| 2017 |
— |
conf |
ESEC/SIGSOFT FSE
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski
|
| 2017 |
C |
conf |
Software Engineering
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
|
| 2017 |
B |
conf |
SAS
Marius Greitschus, Daniel Dietsch, Andreas Podelski
|
| 2017 |
J |
jnl |
CoRR
Marius Greitschus, Daniel Dietsch, Andreas Podelski
|
| 2017 |
— |
conf |
TACAS (2)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
|
| 2017 |
— |
conf |
TACAS (2)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
|
| 2016 |
— |
— |
Daniel Dietsch
|
| 2016 |
— |
conf |
SIGSOFT FSE
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
|
| 2016 |
J |
jnl |
Formal Aspects Comput.
Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
|
| 2016 |
A |
conf |
TACAS
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
|
| 2016 |
C |
conf |
Software Engineering
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
|
| 2015 |
— |
conf |
CAV (1)
Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski
|
| 2015 |
A |
conf |
TACAS
Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski
|
| 2015 |
A |
conf |
TACAS
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski
|
| 2015 |
— |
conf |
ESEC/SIGSOFT FSE
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
|
| 2014 |
B |
conf |
FM
Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
|
| 2014 |
A |
conf |
TACAS
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
|
| 2014 |
A |
conf |
TACAS
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
|
| 2013 |
J |
jnl |
CoRR
Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf
|
| 2013 |
A |
conf |
TACAS
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
|
| 2012 |
— |
conf |
RELAW
Bernd Westphal, Daniel Dietsch, Sergio Feo-Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer
|
| 2011 |
A |
conf |
RE
Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski
|
| 2011 |
B |
conf |
FM
Daniel Dietsch, Bernd Westphal, Andreas Podelski
|