by Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino, Bienmüller, Tom
Published in Formal aspects of computing (01.09.2017)

by Brain, Martin, Tinelli, Cesare, Ruemmer, Philipp, Wahl, Thomas
Published in 2015 IEEE 22nd Symposium on Computer Arithmetic (01.06.2015)

by Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel
Published in Formal methods in system design (01.10.2014)

by Brain, Martin
Published in Lecture notes in computer science (2006)

by Brain, Martin, Schanda, Florian
Published in Verified Software: Theories, Tools, Experiments

by Brain, Martin, Joshi, Saurabh, Kroening, Daniel, Schrammel, Peter
Published in Static Analysis (2015)

by Yamaguchi, Tomoya, Brain, Martin, Ryder, Chirs, Imai, Yosikazu, Kawamura, Yoshiumi
Published in Verification, Model Checking, and Abstract Interpretation (2019)

by BOENN, GEORG, BRAIN, MARTIN, DE VOS, MARINA, FFITCH, JOHN
Published in Theory and practice of logic programming (01.03.2011)

by Brain, Martin, Hadarean, Liana, Kroening, Daniel, Martins, Ruben
Published in Verification, Model Checking, and Abstract Interpretation

by Wang, Q., McIntosh, R., Brain, M.
Published in International journal of computer integrated manufacturing (01.01.2010)

by Seghir, Mohamed Nassim, Brain, Martin
Published in Logic-Based Program Synthesis and Transformation

by Brain, Martin, Crick, Tom, De Vos, Marina, Fitch, John
Published in Lecture notes in computer science (2006)

by Cliffe, Owen, De Vos, Marina, Brain, Martin, Padget, Julian
Published in Logic Programming

by Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino, Bienmüller, Tom
Published in Formal Methods for Industrial Critical Systems

by Boenn, Georg, Brain, Martin, De Vos, Marina, Ffitch, John
Published in Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (30.06.2021)

by DE VOS, Marina, CRICK, Tom, PADGET, Julian, BRAIN, Martin, CLIFFE, Owen, NEEDHAM, Jonathan
Published in Lecture notes in computer science (2006)

by Brain, Martin, D’Silva, Vijay, Griggio, Alberto, Haller, Leopold, Kroening, Daniel
Published in Static Analysis

by Brain, Martin, David, Cristina, Kroening, Daniel, Schrammel, Peter
Published in Programming Languages and Systems

by Martin, Brain
Published in Social alternatives (01.01.2007)

by Polgreen, Elizabeth, Brain, Martin, Fraenzle, Martin, Abate, Alessandro
Published in arXiv.org (19.09.2019)