Mattias Ulbrich
发表
Mattias Ulbrich,
Wolfgang Ahrendt,
Eva Darulova,
2021,
TACAS.
Jonas Schiffl,
Eva Darulova,
Mattias Ulbrich,
2021
.
Mattias Ulbrich,
P. Schmitt,
Michael Walter,
2009
.
J. Filliâtre,
Wojciech Mostowski,
Radu Grigore,
2011
.
Jonas Schiffl,
Mattias Ulbrich,
Bernhard Beckert,
2019
.
Wojciech Mostowski,
Mattias Ulbrich,
2015,
LNCS Trans. Modul. Compos..
Eva Darulova,
Mattias Ulbrich,
Lionel Blatter,
2022,
TACAS.
Jan Ole Johanssen,
Mattias Ulbrich,
Barbara Paech,
2019,
Managed Software Evolution.
Bernhard Beckert,
Vladimir Klebanov,
Mattias Ulbrich,
2015,
FTfJP@ECOOP.
Mattias Ulbrich,
Wojciech Mostowski,
Wojciech Mostowski,
2015,
LNCS Trans. Modul. Compos..
Mattias Ulbrich,
Mana Taghdiri,
Shmuel S. Tyszberowicz,
2014,
NASA Formal Methods.
Mattias Ulbrich,
Mattias Ulbrich,
2010,
FoVeOOS.
Peter H. Schmitt,
Mattias Ulbrich,
Benjamin Weiß,
2010,
FoVeOOS.
Mattias Ulbrich,
Ingo Wagner,
Bernhard Standl,
2020,
ISSEP.
Bernhard Beckert,
Mattias Ulbrich,
Thorsten Bormer,
2016
.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2015,
ICFEM.
Bernhard Beckert,
Peter H. Schmitt,
Mattias Ulbrich,
2016,
Lecture Notes in Computer Science.
Bernhard Beckert,
Mattias Ulbrich,
Thorsten Bormer,
2017,
IFM.
Jonas Schiffl,
Eva Darulova,
Mattias Ulbrich,
2023,
International Journal on Software Tools for Technology Transfer.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2014,
VSTTE.
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Bernhard Beckert,
Mattias Ulbrich,
Reiner Hähnle,
2020,
20 Years of KeY.
Mattias Ulbrich,
Sarah Grebing,
Mattias Ulbrich,
2020,
20 Years of KeY.
Bernhard Beckert,
Mattias Ulbrich,
Michael Selzer,
2018,
ArXiv.
Mattias Ulbrich,
Daniel Grahl,
Wojciech Mostowski,
2015,
International Journal on Software Tools for Technology Transfer.
Gidon Ernst,
Radu Grigore,
Vladimir Klebanov,
2011,
FoVeOOS.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Bernhard Beckert,
Mattias Ulbrich,
Mattias Ulbrich,
2018,
Principled Software Development.
Bernhard Beckert,
Mattias Ulbrich,
Peter Sanders,
2018,
VSTTE.
Vladimir Klebanov,
Mattias Ulbrich,
Moritz Kiefer,
2017
.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2015,
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).
Stijn de Gouw,
Mattias Ulbrich,
Christian Jung,
2023,
IFM.
Bernhard Beckert,
Peter H. Schmitt,
Mattias Ulbrich,
2017,
VSTTE.
Bernhard Beckert,
Mattias Ulbrich,
Michael Kirsten,
2020,
ISoLA.
Gidon Ernst,
Mattias Ulbrich,
Marieke Huisman,
2019,
TACAS.
Bernhard Beckert,
Mattias Ulbrich,
Sarah Grebing,
2017,
Haifa Verification Conference.
Vladimir Klebanov,
Mattias Ulbrich,
Philipp Rümmer,
2014,
Software Engineering & Management.
Bernhard Beckert,
Mattias Ulbrich,
Birgit Vogel-Heuser,
2019,
2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE).
Vladimir Klebanov,
Mattias Ulbrich,
Philipp Rümmer,
2018,
Formal Methods Syst. Des..
Mattias Ulbrich,
Philipp Rümmer,
V. Klebanov,
2017,
Formal Methods in System Design.
Bernhard Beckert,
Vladimir Klebanov,
Christoph Scheben,
2013,
LOPSTR.
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2017,
2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Bernhard Beckert,
Mattias Ulbrich,
Sebastian Ulewicz,
2017,
2017 IEEE 15th International Conference on Industrial Informatics (INDIN).
Jonas Schiffl,
Mattias Ulbrich,
Wolfram Pfeifer,
2021,
FTfJP@ECOOP.
Peter H. Schmitt,
Mattias Ulbrich,
Mattias Ulbrich,
2015,
FM.