Wolfram Schulte

Publication Activity (10 Years)

Years Active: 1991-2018
Publications (10 Years): 5

Top Venues

Ubiquity

SEHC@ICSE

ICSE (Companion Volume)

MoDELS

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Juergen Dingel, Wolfram Schulte
Guest editorial for the special section on MODELS 2014. Softw. Syst. Model. 17 (1) (2018)
Wolfram Schulte
Challenges to Achieving High Availability at Scale (Invited Talk). ECOOP (2017)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST (2016)
Hamed Esfahani, Jonas Fietz, Qi Ke, Alexei Kolomiets, Erica Lan, Erik Mavrinac, Wolfram Schulte, Newton Sanches, Srikanth Kandula
CloudBuild: Microsoft's distributed and caching build service. ICSE (Companion Volume) (2016)
Wolfram Schulte
Changing microsoft's build: revolution or evolution. ASE (2016)
Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte
Data-parallel finite-state machines. ASPLOS (2014)
Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA (2014)
Todd Mytkowicz, Wolfram Schulte
language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium). Ubiquity 2014 (June) (2014)
Maria Christakis, K. Rustan M. Leino, Wolfram Schulte
Formalizing and Verifying a Modern Build Language. FM (2014)
Ethan K. Jackson, Wolfram Schulte
FORMULA 2.0: A Language for Formal Specifications. ICTAC Training School on Software Engineering (2013)
Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
SIMD parallelization of applications that traverse irregular data structures. CGO (2013)
Chandra Prasad, Wolfram Schulte
Taking Control of Your Engineering Tools. Computer 46 (11) (2013)
Jacek Czerwonka, Nachiappan Nagappan, Wolfram Schulte, Brendan Murphy
CODEMINE: Building a Software Development Data Analytics Platform at Microsoft. IEEE Softw. 30 (4) (2013)
Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
Fine-grained parallel traversals of irregular data structures. PACT (2012)
Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte
Cancer treatment planning: formal methods to the rescue. SEHC@ICSE (2012)
Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner
Detecting Specification Errors in Declarative Languages with Constraints. MoDELS (2012)
Wolfram Schulte
Thirteen Years of Automated Code Analysis at Microsoft. SBMF (2012)
Wolfram Schulte
Ten years of automated code analysis at Microsoft (Invited industrial talk). ICSE (2012)
Ethan K. Jackson, Wolfram Schulte
Understanding Specification Languages through Their Model Theory. Monterey Workshop (2012)
Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
Specification and verification: the Spec# experience. Commun. ACM 54 (6) (2011)
Victor Pankratius, Wolfram Schulte, Kurt Keutzer
Guest Editors' Introduction: Parallelism on the Desktop. IEEE Softw. 28 (1) (2011)
Wolfram Schulte, Ethan K. Jackson
Finding Models in Model-Based Development - (Abstract). MoDELS (2011)
Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. WebApps (2011)
Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte
Canonical Regular Types. ICLP (Technical Communications) (2011)
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Future of developer testing: building quality in code. FoSER (2010)
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors (2010)
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
Automatic verification of Java programs with dynamic frames. Formal Aspects Comput. 22 (3-4) (2010)
Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte
An Approach for Effective Design Space Exploration. Monterey Workshop (2010)
Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors (2010)
Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
SPUR: a trace-based JIT compiler for CIL. OOPSLA (2010)
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Local Verification of Global Invariants in Concurrent Programs. CAV (2010)
Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. 44 (1-2) (2010)
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
Reusing Model Transformations While Preserving Properties. FASE (2010)
Grigore Rosu, Chucky Ellison, Wolfram Schulte
Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST (2010)
Wolfram Schulte, Nikolai Tillmann
Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE (2010)
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion (2010)
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Mutation Analysis of Parameterized Unit Tests. ICST Workshops (2009)
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE (2009)
Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta
Runtime Verification of C Memory Safety. RV (2009)
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS (2009)
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Guided path exploration for regression test generation. ICSE Companion (2009)
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST (2009)
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
The design of a task parallel library. OOPSLA (2009)
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
VCC: A Practical System for Verifying Concurrent C. TPHOLs (2009)
Matko Botincan, Matthew J. Parkinson, Wolfram Schulte
Separation Logic Verification of C Programs with an SMT Solver. Electron. Notes Theor. Comput. Sci. 254 (2009)
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
VCC: Contract-based modular verification of concurrent C. ICSE Companion (2009)
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE (2009)
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
A Precise Yet Efficient Memory Model For C. Electron. Notes Theor. Comput. Sci. 254 (2009)
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics 3 (2-3) (2009)
Wolfram Schulte
From dependable multi-user to dependable multi-application operating systems: invited talk. SecuCode@CCS (2009)
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Fitness-guided path exploration in dynamic symbolic execution. DSN (2009)
Stefan Maus, Michal Moskal, Wolfram Schulte
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST (2008)
Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN (2008)
Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. 7 (5) (2008)
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE (2008)
Ethan K. Jackson, Wolfram Schulte
Model Generation for Horn Logic with Stratified Negation. FORTE (2008)
Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Ethan K. Jackson, Wolfram Schulte
Compositional Modeling for Data-Centric Business Applications. SC@ETAPS (2008)
Margus Veanes, Wolfram Schulte
Protocol Modeling with Model Program Composition. FORTE (2008)
Darko Marinov, Wolfram Schulte
Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA (2008)
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
Automating Software Testing Using Program Analysis. IEEE Softw. 25 (5) (2008)
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing (2008)
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Margus Veanes, Colin Campbell, Wolfram Schulte
Composition of Model Programs. FORTE (2007)
Wolfram Schulte
Experiments in Verifying Low Level Concurrent C Code. ICECCS (2007)
Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Parameterized Unit Testing with Pex: Tutorial. PSSE (2007)
K. Rustan M. Leino, Wolfram Schulte
Using History Invariants to Verify Observers. ESOP (2007)
Wolfram Schulte
Pex - An Intelligent Assistant for Rigorous Developer Testing. ICECCS (2007)
Bart Jacobs, Frank Piessens, Wolfram Schulte
VC generation for functional behavior and non-interference of iterators. SAVCBS@FSE (2006)
Nikolai Tillmann, Wolfram Schulte
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. 23 (4) (2006)
Nikolai Tillmann, Wolfram Schulte
Mock-object generation with behavior. ASE (2006)
Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun
Allowing State Changes in Specifications. ETRICS (2006)
Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
XRT- Exploring Runtime for .NET Architecture and Applications. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Nikolai Tillmann, Feng Chen, Wolfram Schulte
Discovering Likely Method Specifications. ICFEM (2006)
Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM (2006)
Wolfram Schulte
Challenge problems in software testing. SOQUA (2006)
Ralf Lämmel, Wolfram Schulte
Controllable Combinatorial Coverage in Grammar-Based Testing. TestCom (2006)
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Semantic essence of AsmL. Theor. Comput. Sci. 343 (3) (2005)
Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
Safe Concurrency for Aggregate Objects with Invariants. SEFM (2005)
Nikolai Tillmann, Wolfram Schulte
Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE (2005)
Dean Rosenzweig, Davor Runje, Wolfram Schulte
Model-Based Testing of Cryptographic Protocols. TGC (2005)
Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC (2005)
Nikolai Tillmann, Wolfram Schulte
Parameterized unit tests. ESEC/SIGSOFT FSE (2005)
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
Online testing with model programs. ESEC/SIGSOFT FSE (2005)
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM (2005)
Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
The Spec# Programming System: Challenges and Directions. VSTTE (2005)
Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS (2005)
Gavin M. Bierman, Erik Meijer, Wolfram Schulte
. ECOOP (2005)
K. Rustan M. Leino, Wolfram Schulte
Exception Safety for C#. SEFM (2004)
Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
Verification of Object-Oriented Programs with Invariants. J. Object Technol. 3 (6) (2004)
Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
The Spec# Programming System: An Overview. CASSIS (2004)
Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
Optimal strategies for testing nondeterministic systems. ISSTA (2004)
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. Univers. Comput. Sci. 9 (2) (2003)
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
Semantic Essence of AsmL. FMCO (2003)
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Towards a Tool Environment for Model-Based Testing with AsmL. FATES (2003)
Michael Barnett, Wolfram Schulte, Nikolai Tillmann
Using AsmL for Runtime Verification. Abstract State Machines (2003)
Michael Barnett, Wolfram Schulte
Runtime verification of .NET contracts. J. Syst. Softw. 65 (3) (2003)
Wolfram Schulte
Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Abstract State Machines (2003)
Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Validating Use-Cases with the AsmL Test Tool. QSIC (2003)

Wolfram Schulte.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfram Schulte