Wolfram Schulte
发表
Ton Vullinghs,
Wolfram Schulte,
Helmuth Partsch,
1999
.
Wolfram Schulte,
2000,
CSL.
Wolfram Schulte,
Mike Barnett,
Lev Nachmanson,
2001
.
Brendan Murphy,
Nachiappan Nagappan,
Wolfram Schulte,
2013,
IEEE Software.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003
.
Leo A. Meyerovich,
Wolfram Schulte,
Todd Mytkowicz,
2011
.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2003
.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2009,
Electron. Notes Theor. Comput. Sci..
Wolfram Schulte,
Ethan K. Jackson,
Wolfram Schulte,
2012,
Monterey Workshop.
K. Rustan M. Leino,
Wolfram Schulte,
2008
.
Egon Börger,
Wolfram Schulte,
2000,
IEEE Trans. Software Eng..
Darko Marinov,
Wolfram Schulte,
2008,
ISSTA '08.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2001
.
Nikolai Tillmann,
Wolfram Schulte,
Wolfram Schulte,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Wolfram Schulte,
Mike Barnett,
Lev Borisovich Nachmanson,
2001
.
Henry Muccini,
Mark Harman,
Tao Xie,
2010,
Practical Software Testing: Tool Automation and Human Factors.
K. Rustan M. Leino,
Wolfram Schulte,
K. Leino,
2007,
ESOP.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2010,
CAV.
Wolfram Schulte,
Michael Barnett,
2003,
J. Syst. Softw..
Wolfram Schulte,
Michal Moskal,
Stefan Maus,
2008,
AMAST.
Wolfram Schulte,
2000,
IFM.
Wolfram Schulte,
Ethan K. Jackson,
2008,
FORTE.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2009,
ESEC/SIGSOFT FSE.
Wolfram Schulte,
Piero Baglioni,
René Demets,
2004
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Nikolai Tillmann,
Wolfram Schulte,
Feng Chen,
2006,
ICFEM.
Nikolaj Bjørner,
Wolfram Schulte,
Ethan K. Jackson,
2012,
MODELS'12.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2006,
ICFEM.
K. Rustan M. Leino,
Wolfram Schulte,
K. Leino,
2006
.
James R. Larus,
Wolfram Schulte,
Gagan Agrawal,
2012,
2012 21st International Conference on Parallel Architectures and Compilation Techniques (PACT).
Margus Veanes,
Wolfram Schulte,
Wolfram Schulte,
2008,
FORTE.
Frank Piessens,
K. Rustan M. Leino,
Wolfram Schulte,
2005
.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2005,
ESEC/FSE-13.
Wolfram Schulte,
Chandra Prasad,
2013,
Computer.
Chucky Ellison,
Grigore Rosu,
Wolfram Schulte,
2010,
AMAST.
Wolfram Schulte,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Wolfram Schulte,
2016,
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Nikolai Tillmann,
Wolfram Schulte,
Wolfram Schulte,
2006,
IEEE Software.
Wolfram Schulte,
2012,
SBMF.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2010,
SPLASH/OOPSLA Companion.
Wolfram Schulte,
Todd Mytkowicz,
Wolfram Schulte,
2012,
UBIQ.
Wolfram Schulte,
Ethan K. Jackson,
2011,
MoDELS.
Grigore Rosu,
Wolfram Schulte,
Traian-Florin Serbanuta,
2009,
RV.
K. Rustan M. Leino,
Wolfram Schulte,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Wolfram Schulte,
Ethan K. Jackson,
2013,
ICTAC Training School on Software Engineering.
Sebastian Burckhardt,
Daan Leijen,
Wolfram Schulte,
2009,
OOPSLA 2009.
Wolfram Schulte,
Michael Butler,
2011
.
Wolfram Schulte,
Erik Meijer,
Gavin Bierman,
2005
.
Nikolai Tillmann,
Jonathan de Halleux,
Wolfram Schulte,
2008,
IEEE Software.
Margus Veanes,
Pushmeet Kohli,
Wolfram Schulte,
2005
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2008,
FASE.
Grigore Rosu,
Wolfram Schulte,
2009
.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
Third International Conference on Quality Software, 2003. Proceedings..
Charles Wallace,
Wolfram Schulte,
Yuri Gurevich,
2000,
Abstract State Machines.
Wolfram Schulte,
Bart Jacobs,
K. Rustan,
2004
.
K. Rustan M. Leino,
Peter Müller,
Wolfram Schulte,
2011,
Commun. ACM.
Wolfram Schulte,
Stephan Tobies,
Ernie Cohen,
2010
.
Nikolaj Bjørner,
Margus Veanes,
Wolfram Schulte,
2009,
Int. J. Softw. Informatics.
Nikolai Tillmann,
Jonathan de Halleux,
Wolfram Schulte,
2007,
PSSE.
Jürgen Dingel,
Wolfram Schulte,
2016,
Software & Systems Modeling.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2009,
2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
Wolfram Schulte,
Wolfram Schulte,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2009,
2009 International Conference on Software Testing, Verification, and Validation Workshops.
Wolfram Schulte,
Janos Sztipanovits,
Ethan K. Jackson,
2012,
2012 4th International Workshop on Software Engineering in Health Care (SEHC).
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Nikolai Tillmann,
Wolfram Schulte,
Markus Lepper,
2001,
Proceedings Second Asia-Pacific Conference on Quality Software.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Wolfram Schulte,
Michael Barnett,
Mike Barnett,
2001,
Informatica.
Mark A. Hillebrand,
Wolfgang J. Paul,
Alexandra Tsyban,
2009,
Ershov Memorial Conference.
Wolfram Schulte,
1995,
SEUH.
Gavin M. Bierman,
Wolfram Schulte,
Erik Meijer,
2005,
European Conference on Object-Oriented Programming.
Mark A. Hillebrand,
Wolfram Schulte,
Michal Moskal,
2009,
TPHOLs.
Ralf Lämmel,
Wolfram Schulte,
Wolfram Schulte,
2006,
TestCom.
Wolfram Schulte,
Ethan K. Jackson,
Eunsuk Kang,
2010,
Monterey Workshop.
Wolfram Schulte,
Michael Butler,
Wolfram Schulte,
2011,
FM.
James R. Larus,
Wolfram Schulte,
Gagan Agrawal,
2013,
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Frank Piessens,
Jan Smans,
K. Rustan M. Leino,
2008,
TOPL.
Nikolai Tillmann,
Wolfram Schulte,
Mike Barnett,
2003
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2007
.
Nikolai Tillmann,
Wolfram Schulte,
2010,
IWMSE '10.
Ton Vullinghs,
Wolfram Schulte,
Wolfram Schulte,
2012
.
Wolfram Schulte,
Matthew J. Parkinson,
Matko Botincan,
2009,
Electron. Notes Theor. Comput. Sci..
Wolfram Schulte,
Jim Davies,
Mike Barnett,
2004,
Lecture Notes in Computer Science.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2006
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2010,
Formal Aspects of Computing.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2003,
J. Object Technol..
Wolfram Schulte,
1992
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Egon Börger,
Wolfram Schulte,
Wolfram Schulte,
1999,
Formal Syntax and Semantics of Java.
Wolfram Schulte,
Klaus Achatz,
1997,
Inform. Forsch. Entwickl..
Frank Piessens,
Wolfram Schulte,
Bart Jacobs,
2006,
SAVCBS '06.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2005,
VSTTE.
Nikolai Tillmann,
Wolfram Schulte,
Michael Barnett,
2003,
Abstract State Machines.
Burkhart Wolff,
Wolfram Schulte,
Michal Moskal,
2009,
Journal of Automated Reasoning.
Ton Vullinghs,
Wolfram Schulte,
Daniel Tuinman,
1995,
PLILP.
Wolfram Schulte,
Ethan K. Jackson,
Wolfram Schulte,
2008
.
Nikolai Tillmann,
Wolfram Schulte,
Wolfram Schulte,
2005,
ESEC/FSE-13.
Jim Davies,
Wolfram Schulte,
Mike Barnett,
2004
.
Nikolai Tillmann,
Wolfram Schulte,
Manuel Fähndrich,
2010,
OOPSLA.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2010,
FoSER '10.
Wolfram Schulte,
Klaus Achatz,
1997,
Informatik Forschung und Entwicklung.
Emilio Insfran,
Wolfram Schulte,
Isidro Ramos,
2014,
Lecture Notes in Computer Science.
Wolfram Schulte,
2006,
SOQUA '06.
Nikolaj Bjørner,
Nikolai Tillmann,
Jonathan de Halleux,
2008,
SPIN.
Qi Sun,
Wolfram Schulte,
Mike Barnett,
2006
.
Nikolaj Bjørner,
Wolfram Schulte,
Ethan K. Jackson,
2009,
SC@TOOLS.
Nikolai Tillmann,
Wolfram Schulte,
Michal Moskal,
2010
.
Cheng Huang,
Wolfram Schulte,
Alastair F. Donaldson,
2016,
FAST.
Srikanth Kandula,
Wolfram Schulte,
Qi Ke,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C).
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Thilo Schwinn,
Ton Vullinghs,
Wolfram Schulte,
2010
.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2008,
Formal Methods and Testing.
Margus Veanes,
Wolfram Schulte,
Colin Campbell,
2007
.
Wolfram Schulte,
Mike Barnett,
2004
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2002,
ISSTA '02.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Wolfram Schulte,
Egon Börger,
Wolfram Schulte,
2000
.
Nikolai Tillmann,
Wolfram Schulte,
2006
.
Wolfram Schulte,
Ethan K. Jackson,
Wolfram Schulte,
2008,
SC@ETAPS.
Wolfram Schulte,
2003,
Abstract State Machines.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2004,
ISSTA '04.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Qi Sun,
Wolfram Schulte,
Michael Barnett,
2006,
ETRICS.
K. Rustan M. Leino,
Wolfram Schulte,
K. Leino,
2007
.
Wolfram Schulte,
Yuri Gurevich,
Benjamin Rossman,
2003,
Theor. Comput. Sci..
Egon Börger,
Wolfram Schulte,
1998,
MFCS.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2017
.
Wolfram Schulte,
Ernie Cohen,
Stephan Tobies,
2009
.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2005,
FM.
Nikolaj Bjørner,
Nikolai Tillmann,
Jonathan de Halleux,
2008,
SPIN.
Frank Piessens,
Wolfram Schulte,
Bart Jacobs,
2005
.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2000
.
Margus Veanes,
Wolfram Schulte,
Yuri Gurevich,
2001
.
Nikolaj Bjørner,
Wolfram Schulte,
Ethan K. Jackson,
2011,
ICLP.
Bernd Finkbeiner,
Nachum Dershowitz,
Andreas Blass,
2015,
Lecture Notes in Computer Science.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Thilo Schwinn,
Ton Vullinghs,
Wolfram Schulte,
1996,
Ershov Memorial Conference.
Thilo Schwinn,
Ton Vullinghs,
Wolfram Schulte,
1996,
AMAST.
Wolfram Schulte,
Dean Rosenzweig,
Davor Runje,
2005,
TGC.
Ton Vullinghs,
Wolfram Schulte,
Helmuth Partsch,
2003,
J. Univers. Comput. Sci..
Wolfram Schulte,
Diego Garbervetsky,
Manuel Fähndrich,
2008,
J. Object Technol..
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Kurt Keutzer,
Victor Pankratius,
Wolfram Schulte,
2011,
IEEE Software.
Wolfram Schulte,
Yuri Gurevich,
Benjamin Rossman,
2005,
Theor. Comput. Sci..
Wolfram Schulte,
Klaus Achatz,
1995,
MPC.
Wolfram Schulte,
Klaus Achatz,
1997,
GI Jahrestagung.
Wolfram Schulte,
Wolfram Schulte,
1994,
PLILP.
Margus Veanes,
Nikolai Tillmann,
Colin Campbell,
2005,
Fifth International Conference on Quality Software (QSIC'05).
Margus Veanes,
Colin Campbell,
Wolfram Schulte,
2007,
FORTE.
Wolfram Schulte,
Todd Mytkowicz,
2012
.
Frank Piessens,
K. Rustan M. Leino,
Wolfram Schulte,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Henry Muccini,
Mark Harman,
Tao Xie,
2010
.
Jonathan Jacky,
Margus Veanes,
Colin Campbell,
2007
.
Wolfram Schulte,
2017,
ECOOP.
Wolfram Schulte,
Klaus Achatz,
1996,
Sci. Comput. Program..
Bernd Finkbeiner,
Nachum Dershowitz,
Andreas Blass,
2011
.
Wolfram Schulte,
2009,
SecuCode '09.
Wolfram Schulte,
Diego Garbervetsky,
Manuel Fähndrich,
2007
.
Wolfram Schulte,
Yuri Gurevich,
Benjamin Rossman,
2004
.
Frank Piessens,
Wolfram Schulte,
Bart Jacobs,
2006
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Wolfram Schulte,
Michal Moskal,
Stephan Tobies,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Wolfram Schulte,
Jim Davies,
Mike Barnett,
2004
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
David Notkin,
Tao Xie,
Darko Marinov,
2005,
TACAS.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2009,
2009 ICSE Workshop on Automation of Software Test.
Benjamin Livshits,
Wolfram Schulte,
Iman Narasamdya,
2014,
OOPSLA.
Wolfram Schulte,
Ethan K. Jackson,
Daniel Lucrdio,
2008
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2007,
TV@FLoC.
Nikolaj Bjørner,
Wolfram Schulte,
Ethan K. Jackson,
2013
.
Christian Bird,
Thomas Zimmermann,
Wolfram Schulte,
2011,
MALETS '11.
Wolfram Schulte,
2012,
ICSE '12.
Brendan Murphy,
Wolfram Schulte,
Jacek Czerwonka,
2013
.
Nikolai Tillmann,
Wolfram Schulte,
Wolfram Schulte,
2005,
ESEC/FSE-13.
Nikolai Tillmann,
Wolfram Schulte,
Wolfgang Grieskamp,
2006,
Electron. Notes Theor. Comput. Sci..
Nikolai Tillmann,
Wolfram Schulte,
Mike Barnett,
2003
.
Gabor Karsai,
Wolfram Schulte,
Daniel Balasubramanian,
2010,
FASE.
Margus Veanes,
Egon Börger,
Wolfram Schulte,
2000,
Abstract State Machines.
K. Rustan M. Leino,
Wolfram Schulte,
Maria Christakis,
2014,
FM.
Wolfram Schulte,
Mike Barnett,
Redmond Wa,
2002
.
Nikolai Tillmann,
Jonathan de Halleux,
Tao Xie,
2009,
2009 IEEE/ACM International Conference on Automated Software Engineering.
Wolfram Schulte,
Wolfgang Grieskamp,
Wolfram Schulte,
1991,
Declarative Programming.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2017
.
Wolfram Schulte,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Wolfram Schulte,
Benjamin S. Lerner,
Brian Burg,
2011,
WebApps.
Sebastian Burckhardt,
Daan Leijen,
Wolfram Schulte,
2009,
OOPSLA.
Wolfram Schulte,
Mike Barnett,
Mike Barnett,
2001
.
Jonathan Jacky,
Margus Veanes,
Wolfram Schulte,
2007
.
Wolfram Schulte,
Wolfram Schulte,
2003
.
Wolfram Schulte,
Todd Mytkowicz,
Madan Musuvathi,
2014,
ASPLOS.
K. Rustan M. Leino,
Wolfram Schulte,
Mike Barnett,
2004,
CASSIS.
Margus Veanes,
Nikolai Tillmann,
Wolfram Schulte,
2003,
FATES.
Egon Börger,
Wolfram Schulte,
2000,
Softw. Concepts Tools.
Wolfram Schulte,
Klaus Achatz,
Wolfram Schulte,
1997,
ZUM.
Henry Muccini,
Mark Harman,
Tao Xie,
2010,
Practical Software Testing: Tool Automation and Human Factors.
Augusto Sampaio,
David Garlan,
Jim Davies,
2004
.
Daniel Lucrédio,
Wolfram Schulte,
Ethan K. Jackson,
2008
.
Mark A. Hillebrand,
Wolfram Schulte,
Stephan Tobies,
2011
.
Wolfram Schulte,
Mike Barnett,
David A. Naumann,
2006
.
Wolfram Schulte,
Mike Barnett,
David A. Naumann,
2004
.