default search action
Wolfram Schulte
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
- [j22]Juergen Dingel, Wolfram Schulte:
Guest editorial for the special section on MODELS 2014. Softw. Syst. Model. 17(1): 9-10 (2018) - 2017
- [c98]Wolfram Schulte:
Challenges to Achieving High Availability at Scale (Invited Talk). ECOOP 2017: 1:1-1:1 - 2016
- [c97]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: 249-262 - [c96]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: 11-20 - [c95]Wolfram Schulte:
Changing microsoft's build: revolution or evolution. ASE 2016: 2 - 2015
- [e5]Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte:
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 9300, Springer 2015, ISBN 978-3-319-23533-2 [contents] - 2014
- [j21]Todd Mytkowicz, Wolfram Schulte:
Waiting for Godot? the right language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium). Ubiquity 2014(June): 4:1-4:12 (2014) - [c94]Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte:
Data-parallel finite-state machines. ASPLOS 2014: 529-542 - [c93]Maria Christakis, K. Rustan M. Leino, Wolfram Schulte:
Formalizing and Verifying a Modern Build Language. FM 2014: 643-657 - [c92]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: 599-616 - [e4]Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán:
Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Lecture Notes in Computer Science 8767, Springer 2014, ISBN 978-3-319-11652-5 [contents] - 2013
- [j20]Chandra Prasad, Wolfram Schulte:
Taking Control of Your Engineering Tools. Computer 46(11): 63-66 (2013) - [j19]Jacek Czerwonka, Nachiappan Nagappan, Wolfram Schulte, Brendan Murphy:
CODEMINE: Building a Software Development Data Analytics Platform at Microsoft. IEEE Softw. 30(4): 64-71 (2013) - [c91]Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte:
SIMD parallelization of applications that traverse irregular data structures. CGO 2013: 20:1-20:10 - [c90]Ethan K. Jackson, Wolfram Schulte:
FORMULA 2.0: A Language for Formal Specifications. ICTAC Training School on Software Engineering 2013: 156-206 - 2012
- [c89]Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte:
Fine-grained parallel traversals of irregular data structures. PACT 2012: 461-462 - [c88]Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte:
Cancer treatment planning: formal methods to the rescue. SEHC@ICSE 2012: 19-25 - [c87]Wolfram Schulte:
Ten years of automated code analysis at Microsoft (Invited industrial talk). ICSE 2012: 1001 - [c86]Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjørner:
Detecting Specification Errors in Declarative Languages with Constraints. MoDELS 2012: 399-414 - [c85]Ethan K. Jackson, Wolfram Schulte:
Understanding Specification Languages through Their Model Theory. Monterey Workshop 2012: 396-415 - [c84]Wolfram Schulte:
Thirteen Years of Automated Code Analysis at Microsoft. SBMF 2012: 2 - 2011
- [j18]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): 81-91 (2011) - [j17]Victor Pankratius, Wolfram Schulte, Kurt Keutzer:
Guest Editors' Introduction: Parallelism on the Desktop. IEEE Softw. 28(1): 14-16 (2011) - [c83]Ethan K. Jackson, Nikolaj S. Bjørner, Wolfram Schulte:
Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83 - [c82]Wolfram Schulte, Ethan K. Jackson:
Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591 - [c81]Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte:
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. WebApps 2011 - [e3]Michael J. Butler, Wolfram Schulte:
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6664, Springer 2011, ISBN 978-3-642-21436-3 [contents] - 2010
- [j16]Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte:
Automatic verification of Java programs with dynamic frames. Formal Aspects Comput. 22(3-4): 423-457 (2010) - [j15]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): 111-144 (2010) - [c80]Grigore Rosu, Chucky Ellison, Wolfram Schulte:
Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162 - [c79]Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies:
Local Verification of Global Invariants in Concurrent Programs. CAV 2010: 480-494 - [c78]Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai:
Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58 - [c77]Wolfram Schulte, Nikolai Tillmann:
Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE 2010: 1 - [c76]Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte:
An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54 - [c75]Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte:
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182 - [c74]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: 708-725 - [c73]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. FoSER 2010: 415-420 - [e2]Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie:
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010. Dagstuhl Seminar Proceedings 10111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i2]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 - [i1]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
2000 – 2009
- 2009
- [j14]Margus Veanes, Nikolaj S. Bjørner, Yuri Gurevich, Wolfram Schulte:
Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics 3(2-3): 149-170 (2009) - [c72]Wolfram Schulte:
From dependable multi-user to dependable multi-application operating systems: invited talk. SecuCode@CCS 2009: 1-2 - [c71]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368 - [c70]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: 43-55 - [c69]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: 149-153 - [c68]Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. ICSE Companion 2009: 311-314 - [c67]Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte:
VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430 - [c66]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181 - [c65]Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519 - [c64]Daan Leijen, Wolfram Schulte, Sebastian Burckhardt:
The design of a task parallel library. OOPSLA 2009: 227-242 - [c63]Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta:
Runtime Verification of C Memory Safety. RV 2009: 132-151 - [c62]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: 193-202 - [c61]Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte:
Specifying and Composing Non-functional Requirements in Model-Based Development. SC@TOOLS 2009: 72-89 - [c60]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: 23-42 - [c59]Matko Botincan, Matthew J. Parkinson, Wolfram Schulte:
Separation Logic Verification of C Programs with an SMT Solver. SSV 2009: 5-23 - [c58]Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte:
A Precise Yet Efficient Memory Model For C. SSV 2009: 85-103 - 2008
- [j13]Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte:
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. 7(5): 5-23 (2008) - [j12]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): 30-37 (2008) - [j11]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): 1:1-1:48 (2008) - [c57]Stefan Maus, Michal Moskal, Wolfram Schulte:
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298 - [c56]Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte:
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE 2008: 261-275 - [c55]Ethan K. Jackson, Wolfram Schulte:
Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20 - [c54]Margus Veanes, Wolfram Schulte:
Protocol Modeling with Model Program Composition. FORTE 2008: 324-339 - [c53]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: 39-76 - [c52]Darko Marinov, Wolfram Schulte:
Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316 - [c51]Ethan K. Jackson, Wolfram Schulte:
Compositional Modeling for Data-Centric Business Applications. SC@ETAPS 2008: 190-205 - [c50]Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25 - 2007
- [c49]K. Rustan M. Leino, Wolfram Schulte:
Using History Invariants to Verify Observers. ESOP 2007: 80-94 - [c48]Margus Veanes, Colin Campbell, Wolfram Schulte:
Composition of Model Programs. FORTE 2007: 128-142 - [c47]Wolfram Schulte:
Pex - An Intelligent Assistant for Rigorous Developer Testing. ICECCS 2007: 161 - [c46]Wolfram Schulte:
Experiments in Verifying Low Level Concurrent C Code. ICECCS 2007: 299 - [c45]Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202 - 2006
- [j10]Nikolai Tillmann, Wolfram Schulte:
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. 23(4): 38-47 (2006) - [c44]Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun:
Allowing State Changes in Specifications. ETRICS 2006: 321-336 - [c43]Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte:
A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439 - [c42]Nikolai Tillmann, Feng Chen, Wolfram Schulte:
Discovering Likely Method Specifications. ICFEM 2006: 717-736 - [c41]Nikolai Tillmann, Wolfram Schulte:
Mock-object generation with behavior. ASE 2006: 365-368 - [c40]Ralf Lämmel, Wolfram Schulte:
Controllable Combinatorial Coverage in Grammar-Based Testing. TestCom 2006: 19-38 - [c39]Bart Jacobs, Frank Piessens, Wolfram Schulte:
VC generation for functional behavior and non-interference of iterators. SAVCBS@FSE 2006: 67-70 - [c38]Wolfram Schulte:
Challenge problems in software testing. SOQUA 2006: 1 - [c37]Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte:
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. TV@FLoC 2006: 23-47 - 2005
- [j9]Yuri Gurevich, Benjamin Rossman, Wolfram Schulte:
Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005) - [c36]Gavin M. Bierman, Erik Meijer, Wolfram Schulte:
The Essence of Data Access in Comega. ECOOP 2005: 287-311 - [c35]Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547 - [c34]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: 72-82 - [c33]Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte:
Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147 - [c32]Nikolai Tillmann, Wolfram Schulte:
Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244 - [c31]Nikolai Tillmann, Wolfram Schulte:
Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262 - [c30]Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann:
Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282 - [c29]Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin:
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381 - [c28]Dean Rosenzweig, Davor Runje, Wolfram Schulte:
Model-Based Testing of Cryptographic Protocols. TGC 2005: 33-60 - [c27]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: 144-152 - [c26]Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications. SoftMC@CAV 2005: 3-26 - 2004
- [j8]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): 27-56 (2004) - [c25]Mike Barnett, K. Rustan M. Leino, Wolfram Schulte:
The Spec# Programming System: An Overview. CASSIS 2004: 49-69 - [c24]Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64 - [c23]K. Rustan M. Leino, Wolfram Schulte:
Exception Safety for C#. SEFM 2004: 218-227 - [e1]Jim Davies, Wolfram Schulte, Michael Barnett:
Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Lecture Notes in Computer Science 3308, Springer 2004, ISBN 3-540-23841-7 [contents] - 2003
- [j7]Michael Barnett, Wolfram Schulte:
Runtime verification of .NET contracts. J. Syst. Softw. 65(3): 199-208 (2003) - [j6]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): 173- (2003) - [c22]Michael Barnett, Wolfram Schulte, Nikolai Tillmann:
Using AsmL for Runtime Verification. Abstract State Machines 2003: 407 - [c21]Wolfram Schulte:
Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Abstract State Machines 2003: 425 - [c20]Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266 - [c19]Yuri Gurevich, Benjamin Rossman, Wolfram Schulte:
Semantic Essence of AsmL. FMCO 2003: 240-259 - [c18]Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246 - 2002
- [c17]Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Generating finite state machines from abstract state machines. ISSTA 2002: 112-122 - 2001
- [j5]Michael Barnett, Wolfram Schulte:
The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) 25(4) (2001) - [c16]Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann:
Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172 - 2000
- [j4]Egon Börger, Wolfram Schulte:
Initialization problems for Java. Softw. Concepts Tools 19(4): 175-178 (2000) - [j3]Egon Börger, Wolfram Schulte:
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng. 26(9): 872-887 (2000) - [c15]Yuri Gurevich, Wolfram Schulte, Charles Wallace:
Investigating Java Concurrency Using Abstract State Machines. Abstract State Machines 2000: 151-176 - [c14]Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines 2000: 367-379 - [c13]Wolfram Schulte:
Translating Theory into Practice - Abstract State Machines within Microsoft. CSL 2000: 71 - [c12]Wolfram Schulte:
Why Doesn't Anyone Use Formal Methods? IFM 2000: 297-298
1990 – 1999
- 1999
- [c11]Egon Börger, Wolfram Schulte:
A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java 1999: 353-404 - 1998
- [c10]Egon Börger, Wolfram Schulte:
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS 1998: 17-35 - 1997
- [j2]Klaus Achatz, Wolfram Schulte:
Formale objektorientierte Softwareentwicklung mit Fox. Inform. Forsch. Entwickl. 12(4): 174-185 (1997) - [c9]