Tim Tegeler

16 papers C 3Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2025 conf
The Combined Power of Research, Education, and Dissemination
Steven Smyth, Tim Tegeler, Daniel Busch, Steve Boßelmann
2024 conf
ISoLA (1)
Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen
2024 J jnl
CoRR
Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
2024 J jnl
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sebastian Teumert, Tim Tegeler
2024 conf
IESS
Barbara Steffen, Estelle Duparc, Tim Tegeler
2023
Tim Tegeler
2022 conf
ISoLA (2)
Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
2022 conf
ISoLA (2)
Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen
2022 conf
ISoLA (2)
Sebastian Teumert, Tim Tegeler, Jonas Schürmann, Daniel Busch, Dominic Wirkner
2022 conf
ISoLA (2)
Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen
2021 C conf
ISoLA
Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen
2021 C conf
ISoLA
Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen
2021 C conf
ISoLA
Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
2020 conf
ISoLA (2)
Jonas Schürmann, Tim Tegeler, Bernhard Steffen
2019 conf
From Software Engineering to Formal Methods and Tools, and Back
Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
2018 J jnl
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tim Tegeler, Jonas Schürmann