by Wong, Peter Y. H., Bubel, Richard, de Boer, Frank S., Gómez-Zamalloa, Miguel, de Gouw, Stijn, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam
Published in International journal on software tools for technology transfer (01.02.2015)

by Beckert, Bernhard, Hahnle, Reiner
Published in IEEE intelligent systems (01.01.2014)

by Clarke, Dave, Diakov, Nikolay, Hähnle, Reiner, Johnsen, Einar Broch, Schaefer, Ina, Schäfer, Jan, Schlatte, Rudolf, Wong, Peter Y. H.
Published in Formal Methods for Eternal Networked Software Systems (2011)

by Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hahnle, Reiner, Ulbrich, Mattias
Year of Publication 2020

by Schaefer, I, Hahnle, R
Published in Computer (Long Beach, Calif.) (01.02.2011)

by Hähnle, Reiner, van der Aalst, Wil
Published in International journal on software tools for technology transfer (01.06.2021)

by Hähnle, Reiner, van der Aalst, Wil
Year of Publication 2019

by Kamburjan, Eduard, Hähnle, Reiner
Published in Electronic proceedings in theoretical computer science (04.10.2018)

by ter Beek, Maurice H., Hähnle, Reiner, Schaefer, Ina
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

by Damiani, Ferruccio, Hähnle, Reiner, Kamburjan, Eduard, Lienhardt, Michael
Published in Fundamental Approaches to Software Engineering

by Bennaceur, Amel, Hahnle, Reiner, Meinke, Karl
Year of Publication 2018

by Darvas, Ádám, Hähnle, Reiner, Sands, David
Published in Lecture notes in computer science (2005)

by Hahnle, Reiner, Johnsen, Einar Broch
Published in Computer (Long Beach, Calif.) (01.06.2015)

by Hähnle, Reiner, Knoop, Jens, Margaria, Tiziana, Schreiner, Dietmar, Steffen, Bernhard
Year of Publication 2012

by Hähnle, Reiner
Published in Leveraging Applications of Formal Methods, Verification, and Validation

by Wasser, Nathan, Heydari Tabar, Asmae, Hähnle, Reiner
Published in Fundamentals of Software Engineering

by Beckert, Bernhard, Hähnle, Reiner
Published in Journal of automated reasoning (01.12.2010)

by Bernardo, Marco, Damiani, Ferruccio, Haehnle, Reiner, Johnsen, Einar Broch, Schaefer, Ina
Year of Publication 2014

by Hähnle, Reiner
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)

by de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Published in Electronic proceedings in theoretical computer science (27.08.2019)