by Gleirscher, Mario, Marmsoler, Diego
Published in Empirical software engineering : an international journal (01.11.2020)

by Marmsoler, Diego, Petrovska, Ana
Published in Electronic proceedings in theoretical computer science (12.09.2019)

by Marmsoler, Diego, Degenhardt, Silvio
Published in Electronic proceedings in theoretical computer science (20.03.2017)

by Marmsoler, Diego, Malkis, Alexander, Eckhardt, Jonas
Published in Electronic proceedings in theoretical computer science (17.03.2015)

by Marmsoler, Diego, Brucker, Achim D.
Published in Formal aspects of computing (15.10.2024)

by Marmsoler, Diego
Published in Science of computer programming (01.08.2019)

by Marmsoler, Diego, Eichhorn, Leo
Published in Knowledge engineering review (2020)

by Marmsoler, Diego, Petrovska, Ana
Published in Journal of logical and algebraic methods in programming (01.01.2021)

by Marmsoler, Diego, Gidey, Habtom Kashay
Published in Formal aspects of computing (01.11.2019)

by Kurpiewski, Damian, Marmsoler, Diego
Published in Software-intensive cyber-physical systems (01.12.2019)

by Marmsoler, Diego
Published in Formal Techniques for Distributed Objects, Components, and Systems (2019)

by Marmsoler, Diego
Published in Formal Methods and Software Engineering (2018)

by Marmsoler, Diego, Brucker, Achim D.
Published in Tests and Proofs (2022)

by Marmsoler, Diego, Brucker, Achim D.
Published in Software Engineering and Formal Methods (2021)

by Marmsoler, Diego, Gleirscher, Mario
Published in Scientific annals of computer science (01.01.2016)

by Marmsoler, Diego, Gidey, Habtom Kahsay
Published in Formal Aspects of Component Software (2018)

by Marmsoler, Diego
Published in 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.07.2019)

by Marmsoler, Diego
Published in 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.09.2017)

by Marmsoler, Diego
Published in 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.08.2018)

by Gleirscher, Mario, Marmsoler, Diego
Published in arXiv.org (22.09.2020)