by Xie, Tao, Marinov, Darko, Schulte, Wolfram, Notkin, David
Published in Lecture notes in computer science (2005)

by Godefroid, P., de Halleux, P., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.
Published in IEEE software (01.09.2008)

by Butler, Michael, Schulte, Wolfram
Year of Publication 2011

by Beklemishev, Lev D, Blass, Andreas, Dershowitz, Nachum, Finkbeiner, Bernd, Schulte, Wolfram
Year of Publication 2015

by Prasad, Chandra, Schulte, Wolfram
Published in Computer (Long Beach, Calif.) (01.11.2013)

by Dingel, Juergen, Schulte, Wolfram
Published in Software and systems modeling (01.02.2018)

by PRASAD, Chandra, SCHULTE, Wolfram
Published in Computer (Long Beach, Calif.) (2013)

by Barnett, Mike, Leino, K. Rustan M., Schulte, Wolfram
Published in Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (2005)

by Czerwonka, J., Nagappan, N., Schulte, W., Murphy, B.
Published in IEEE software (01.07.2013)

by Schulte, Wolfram
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)

by Kang, Eunsuk, Jackson, Ethan, Schulte, Wolfram
Published in Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

by Tao Xie, Tillmann, N., de Halleux, J., Schulte, W.
Published in 2009 IEEE/IFIP International Conference on Dependable Systems & Networks (01.06.2009)

by Pankratius, Victor, Schulte, Wolfram, Keutzer, Kurt
Published in IEEE software (01.01.2011)

by Roşu, Grigore, Ellison, Chucky, Schulte, Wolfram
Published in Algebraic Methodology and Software Technology

by Butler, Michael, Schulte, Wolfram
Year of Publication 2011

by Lämmel, Ralf, Schulte, Wolfram
Published in Lecture notes in computer science (2006)

by CZERWONKA, Jacek, NAGAPPAN, Nachiappan, SCHULTE, Wolfram, MURPHY, Brendan
Published in IEEE software (2013)

by Gurevich, Yuri, Rossman, Benjamin, Schulte, Wolfram
Published in Theoretical computer science (17.10.2005)

by Schulte, Wolfram, Jackson, Ethan
Published in Proceedings of the 14th international conference on Model driven engineering languages and systems (16.10.2011)

by Jackson, Ethan K., Schulte, Wolfram, Bjørner, Nikolaj
Published in Model Driven Engineering Languages and Systems (30.09.2012)