C. Gladisch
发表
B. Meyer,
Wolfram Schulte,
Mario Ornaghi,
2008
.
C. Gladisch,
gladisch,
2007
.
C. Gladisch,
2012,
International Journal on Software Tools for Technology Transfer.
Rudolph Triebel,
M. Woehrle,
C. Gladisch,
2022,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Mattias Ulbrich,
Mana Taghdiri,
Shmuel S. Tyszberowicz,
2014,
NASA Formal Methods.
Christoph Gladisch,
C. Gladisch,
2010,
ICTSS.
Christoph Gladisch,
C. Gladisch,
2010,
FoVeOOS.
Vladimir Klebanov,
Philipp Rümmer,
Christoph Gladisch,
2008,
TAP.
Bernhard Beckert,
Christoph Gladisch,
Bernhard Beckert,
2007,
TAP.
Christian Heinzemann,
Christoph Gladisch,
Jens Oehlerking,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Bernhard Beckert,
Amiram Yehudai,
Shmuel S. Tyszberowicz,
2011,
Int. J. Syst. Assur. Eng. Manag..
Bernhard Beckert,
Amiram Yehudai,
Shmuel S. Tyszberowicz,
2010,
TAP@TOOLS.
Martin Herrmann,
Matthias Woehrle,
Christian Heinzemann,
2020,
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
Rudolph Triebel,
Matthias Woehrle,
Christian Heinzemann,
2021,
2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW).
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2014,
VSTTE.
Christoph Gladisch,
C. Gladisch,
2009,
TAP@TOOLS.
Christoph Gladisch,
C. Gladisch,
2008,
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Wolfgang Ahrendt,
Christoph Gladisch,
Mihai Herda,
2016,
Deductive Software Verification.
Shmuel S. Tyszberowicz,
Christoph Gladisch,
C. Gladisch,
2015,
Sci. Comput. Program..
Shmuel S. Tyszberowicz,
Ferruccio Damiani,
David Faitelson,
2017,
Software & Systems Modeling.
M. Woehrle,
C. Gladisch,
Christian Heinzemann,
2021,
2021 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW).
Lydia Gauerhof,
Matthias Woehrle,
Christian Heinzemann,
2021,
ACM Trans. Cyber Phys. Syst..