Wolfram Schulte - Publications By Kind
Books
- Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, Model-Based Software Testing and Analysis with C#, Cambridge University Press, January 2008
- Editors, Jim Davies, Wolfram Schulte, and Mike Barnett, Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Springer Verlag, 2004
Book chapters
- Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Lev Nachmanson, Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, in Formal Methods and Testing, vol. 4949, pp. 39-76, Springer Verlag, 2008
- K. Rustan M. Leino and Wolfram Schulte, A verifying compiler for a multi-threaded object-oriented language, in Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security , IOS Press, 2007
- Mike Barnett, Wolfram Schulte, and Nikolai Tillmann, .NET Contracts: Attaching Specifications to Components, in Practical Foundations of Business System Specifications, pp. 83–98, Springer Verlag, 2003
Journal Publications
- Mike Barnett, Manuel Fahndrich, K. Rustan M. Leino, Peter Mueller, Wolfram Schulte, and Herman Venter, Specification and Verification: The Spec# Experience, in Communications of the ACM, vol. 54, no. 6, pp. 81--91, Association for Computing Machinery, Inc., June 2011
- Sascha Böhme, Michał Moskal, Wolfram Schulte, and Burkhart Wolff, HOL-Boogie — An Interactive Prover-Backend for the Verifying C Compiler, in Journal of Automated Reasoning, Springer Verlag, February 2010
- Margus Veanes, Nikolaj Bjorner, Yuri Gurevich, and Wolfram Schulte, Symbolic Bounded Model Checking of Abstract State Machines, in Int J Software Informatics, vol. 3, no. (2-3), pp. 149-170, June 2009
- Matko Botincan, Matthew J. Parkinson, and Wolfram Schulte, Separation Logic Verification of C Programs with an SMT Solver, in Electr. Notes Theor. Comput. Sci., vol. 254, pp. 5-23, 2009
- Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, and Nikolai Tillmann, Automated Software Testing Using Program Analysis, in IEEE Software, IEEE Computer Society, October 2008
- Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, and Wolfram Schulte, A programming model for concurrent object-oriented programs, in ACM Trans. Program. Lang. Syst., vol. 31, no. 1, Association for Computing Machinery, Inc., 2008
- Nikolai Tillmann and Wolfram Schulte, Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution, in IEEE Software, vol. 23, no. 4, pp. 38-47, IEEE, July 2006
- Wolfgang Grieskamp, Nikolai Tillmann, and Wolfram Schulte, XRT- Exploring Runtime for .NET Architecture and Applications, in Electr. Notes Theor. Comput. Sci., vol. 144, no. 3, pp. 3-26, 2006
- Yuri Gurevich, Benjamin Rossman, and Wolfram Schulte, Semantic essence of AsmL, in Theor. Comput. Sci., vol. 343, no. 3, pp. 370-412, 2005
- Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte, Verification of object-oriented programs with invariants, in Journal of Object Technology, vol. 3, no. 6, pp. 27-56, Technical report 408, Department of Computer Science, ETH Zurich, June 2004
- Mike Barnett and Wolfram Schulte, Runtime Verification of .NET Contracts, in The Journal of Systems and Software, no. 3, pp. 199–208, Elsevier, 2003
- Mike Barnett and Wolfram Schulte, The ABCs of Specification: AsmL, Behavior, and Components, in Informatica, vol. 25, no. 4, pp. 517–526, November 2001
Conference Publications
- Tim Menzies, Christian Bird, Thomas Zimmermann, Wolfram Schulte, and Ekrem Kocaganeli, The Inductive Software Engineering Manifesto: Principles for Industrial Data Mining, in Proceedings of the International Workshop on Machine Learning Technologies in Sofware Engineering, ACM, November 2011
- Benjamin S. Lerner, Brian Burg, Wolfram Schulte, and H Venter, C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications, in 2nd USENIX Conference on Web Application Development, USENIX, 15 June 2011
- Leo A. Meyerovich, Todd Mytkowicz, and Wolfram Schulte, Data Parallel Programming for Irregular Tree Computations, in HotPAR, USENIX, May 2011
- Ethan Jackson, Nikolaj Bjorner, and Wolfram Schulte, Canonical Regular Types, in ICLP, 2011
- Wolfram Schulte and Nikolai Tillmann, Automatic Parallelization of Programming Languages: Past, Present and Future, in International Workshop on Multicore Software Engineering, May 2010
- Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, and Gabor Karsai, Reusing Model Transformations While Preserving Properties, in Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, Springer Verlag, 2010
- Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: a trace-based JIT compiler for CIL, in Proceedings of the ACM international conference on Object oriented programming systems languages and applications, ACM, New York, NY, USA, 2010
- Daan Leijen, Wolfram Schulte, and Sebastian Burkhardt, The Design of a Task Parallel Library, in Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09), ACM SIGPLAN, Atlanta, FL, September 2009
- Ernie Cohen, Michał Moskal, Wolfram Schulte, and Stephan Tobies, A Precise Yet Efficient Memory Model For C, Elsevier , May 2009
- Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, and Gabor Karsai, Reusing Model Transformations While Preserving Properties, in Under Review, 2009
- Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, and Stephan Tobies, VCC: A Practical System for Verifying Concurrent C, in Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Springer, 2009
- Ethan K. Jackson, Dirk Seifert, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte, and Markus Dahlweid, Specifying and Composing Non-functional Requirements in Model-Based Development, in Proceedings of the 8th International Conference on Software Composition, Springer Verlag, 2009
- Margus Veanes and Wolfram Schulte, Protocol Modeling with Model Program Composition, in FORTE'08, Springer Verlag, June 2008
- Ethan K. Jackson and Wolfram Schulte, Compositional Modeling for Data-Centric Business Applications, in Software Composition, Springer, 2008
- Stefan Maus, Michal Moskal, and Wolfram Schulte, Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving, in AMAST, Springer, 2008
- Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, and Nikolai Tillmann, Using Dynamic Symbolic Execution to Improve Deductive Verification, in Proc. 15th International SPIN Workshop, Springer Verlag, 2008
- Matko Botincan, Matthew Parkinson, and Wolfram Schulte, Separation Logic Verification of C Programs with an SMT Solver, in Electronic Notes in Theoretical Computer Science (ENTCS), Association for Computing Machinery, Inc., 2008
- Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, and Wolfram Schulte, VCC: Contract-based Modular Verification of Concurrent C, in 31st International Conference on Software Engineering, ICSE 2009, IEEE Computer Society, 2008
- Ethan K. Jackson and Wolfram Schulte, Model Generation for Horn Logic with Stratified Negation, in Formal Techniques for Networked and Distributed Systems – FORTE 2008, Springer Verlag, 2008
- Jan Smans, Bart Jacobs 0002, Frank Piessens, and Wolfram Schulte, An Automatic Verifier for Java-Like Programs Based on Dynamic Frames, in FASE, Springer, 2008
- Margus Veanes, Colin Campbell, and Wolfram Schulte, Composition of Model Programs, in FORTE, Springer Verlag, June 2007
- K. Rustan M. Leino and Wolfram Schulte, Using History Invariants to Verify Observers, in ESOP, Springer, 2007
- Michael Barnett, David A. Naumann, Wolfram Schulte, and Qi Sun, Allowing State Changes in Specifications, in ETRICS, Springer, 2006
- Nikolai Tillmann, Feng Chen, and Wolfram Schulte, Discovering Likely Method Specifications, in Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM’06), LNCS , Springer Verlag, 2006
- Nikolai Tillmann and Wolfram Schulte, Mock-object generation with behavior, in Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on, IEEE Computer Society, 2006
Non peer reviewed publications
- Ethan Jackson, Nikolaj Bjorner, and Wolfram Schulte, Open-World Logic Programs: A New Foundation for Formal Specifications, no. MSR-TR-2013-55, May 2013
- Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, and Brendan Murphy, CODEMINE: Building a Software Analytics Platform for Collecting and Analyzing Engineering Process Data at Microsoft, no. MSR-TR-2013-7, 21 January 2013
- Todd Mytkowicz and Wolfram Schulte, Maine: A Library for Data Parallel Finite Automata, no. MSR-TR-2012-62, July 2012
- Todd Mytkowicz and Wolfram Schulte, Waiting for Godot: The Right Language Abstractions for Parallel Programming Should be Here Soon, no. MSR-TR-2012-63, July 2012
- Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: A Trace-Based JIT Compiler for CIL, no. MSR-TR-2010-27, 25 March 2010
- Ernie Cohen, Michal Moskal, Wolfram Schulte, and Stephan Tobies, Local Verification of Global Invariants in Concurrent Programs, no. MSR-TR-2010-9, 26 January 2010
- Ernie Cohen, Michal Moskal, Wolfram Schulte, and Stephan Tobies, A Practical Verification Methodology for Concurrent Programs, no. MSR-TR-2009-2019, February 2009
- Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Fitness-Guided Path Exploration in Dynamic Symbolic Execution, no. MSR-TR-2008-123, September 2008
- Ethan K. Jackson and Wolfram Schulte, Synthesis of Cloud Applications using Logic Programming: BAM!, Microsoft Research, September 2008
- Ethan K. Jackson, Wolfram Schulte, and Janos Sztipanovits, The Power of Rich Syntax for Model-based Development, Microsoft Research, 2008
- K. Rustan M. Leino, Michal Moskal, and Wolfram Schulte, Verification Condition Splitting, Microsoft Research, 2008
- Margus Veanes, Colin Campbell, and Wolfram Schulte, Parallel and Serial Composition of Model Programs, no. MSR-TR-2007-22, 2007
- K. Rustan M. Leino and Wolfram Schulte, Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings, no. MSR-TR-2006-117, August 2006
- Nikolai Tillmann, Feng Chen, and Wolfram Schulte, Discovering Likely Method Specifications, no. MSR-TR-2005-146, March 2006
- Bart Jacobs, K. Rustan M. Leino, Frank Piessens, and Wolfram Schulte, Safe Concurrency for Aggregate Objects with Invariants: Soundness Proof, no. MSR-TR-2005-85, June 2005
- Margus Veanes, Colin Campbell, Wolfram Schulte, and Pushmeet Kohli, On-The-Fly Testing of Reactive Systems, no. MSR-TR-2005-05, January 2005
- Yuri Gurevich, Wolfram Schulte, and Margus Veanes, Toward Industrial Strength Abstract State Machines, no. MSR-TR-2001-98, October 2001
