by Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin
Published in Formal methods in system design (2021)

by Schwenger, Maximilian
Published in Runtime Verification (2020)

by Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian
Published in International journal on software tools for technology transfer (01.04.2023)

by Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A, Schnitzer, Yannik, Schwenger, Maximilian
Published in International journal on software tools for technology transfer (01.04.2023)

by Schwenger, Maximilian
Published in arXiv.org (15.12.2020)

by Finkbeiner, Bernd, Oswald, Stefan, Passing, Noemi, Schwenger, Maximilian
Published in Runtime Verification (2020)

by Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian
Published in Runtime Verification (2020)

by Metzger, Niklas, Schmitt, Sanny, Schwenger, Maximilian
Year of Publication 10.11.2021

by Finkbeiner, Bernd, Oswald, Stefan, Passing, Noemi, Schwenger, Maximilian
Published in arXiv.org (15.12.2020)

by Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian
Published in arXiv.org (26.11.2020)

by Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph
Year of Publication 27.03.2020

by Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Year of Publication 18.03.2020

by Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A, Schnitzer, Yannik, Schwenger, Maximilian
Published in arXiv.org (09.11.2021)

by Metzger, Niklas, Schmitt, Sanny, Schwenger, Maximilian
Published in arXiv.org (21.01.2022)

by Faymonville, Peter, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Year of Publication 10.11.2017

by Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin
Published in arXiv.org (12.09.2022)

by Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin
Year of Publication 21.07.2018

by Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph
Published in arXiv.org (29.07.2020)

by Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Published in arXiv.org (18.03.2020)

by Faymonville, Peter, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Published in arXiv.org (12.06.2019)