Wolfram Schulte

Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte: SIMD parallelization of applications that traverse irregular data structures. CGO 2013: 1-10

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

Wolfram Schulte: Ten years of automated code analysis at Microsoft (Invited industrial talk). ICSE 2012: 1001

Ethan K. Jackson, Wolfram Schulte, Nikolaj Bjørner: Detecting Specification Errors in Declarative Languages with Constraints. MoDELS 2012: 399-414

Ethan K. Jackson, Wolfram Schulte: Understanding Specification Languages through Their Model Theory. Monterey Workshop 2012: 396-415

Wolfram Schulte: Thirteen Years of Automated Code Analysis at Microsoft. SBMF 2012: 2

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)

Victor Pankratius, Wolfram Schulte, Kurt Keutzer: Guest Editors' Introduction: Parallelism on the Desktop. IEEE Software 28(1): 14-16 (2011)

Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte: Canonical Regular Types. ICLP (Technical Communications) 2011: 73-83

Wolfram Schulte, Ethan K. Jackson: Finding Models in Model-Based Development - (Abstract). MoDELS 2011: 591

Michael Butler, Wolfram Schulte (Eds.): 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

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: Automatic verification of Java programs with dynamic frames. Formal Asp. Comput. 22(3-4): 423-457 (2010)

Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff: HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reasoning 44(1-2): 111-144 (2010)

Grigore Rosu, Chucky Ellison, Wolfram Schulte: Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST 2010: 142-162

Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies: Local Verification of Global Invariants in Concurrent Programs. CAV 2010: 480-494

Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58

Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte: An Approach for Effective Design Space Exploration. Monterey Workshop 2010: 33-54

Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte: Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182

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

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Future of developer testing: building quality in code. FoSER 2010: 415-420

Matko Botincan, Matthew J. Parkinson, Wolfram Schulte: Separation Logic Verification of C Programs with an SMT Solver. Electr. Notes Theor. Comput. Sci. 254: 5-23 (2009)

Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte: A Precise Yet Efficient Memory Model For C. Electr. Notes Theor. Comput. Sci. 254: 85-103 (2009)

Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte: Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Software and Informatics 3(2-3): 149-170 (2009)

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368

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

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

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Guided path exploration for regression test generation. ICSE Companion 2009: 311-314

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181

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

Daan Leijen, Wolfram Schulte, Sebastian Burckhardt: The design of a task parallel library. OOPSLA 2009: 227-242

Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta: Runtime Verification of C Memory Safety. RV 2009: 132-151

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

Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89

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

Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte: A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. Journal of Object Technology 7(5): 5-23 (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 Software 25(5): 30-37 (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)

Stefan Maus, Michal Moskal, Wolfram Schulte: Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298

Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE 2008: 261-275

Ethan K. Jackson, Wolfram Schulte: Model Generation for Horn Logic with Stratified Negation. FORTE 2008: 1-20

Margus Veanes, Wolfram Schulte: Protocol Modeling with Model Program Composition. FORTE 2008: 324-339

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

Darko Marinov, Wolfram Schulte: Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA 2008: 315-316

Ethan K. Jackson, Wolfram Schulte: Compositional Modeling for Data-Centric Business Applications. Software Composition 2008: 190-205

Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Electr. Notes Theor. Comput. Sci. 174(9): 23-47 (2007)

K. Rustan M. Leino, Wolfram Schulte: Using History Invariants to Verify Observers. ESOP 2007: 80-94

Margus Veanes, Colin Campbell, Wolfram Schulte: Composition of Model Programs. FORTE 2007: 128-142

Wolfram Schulte: Pex - An Intelligent Assistant for Rigorous Developer Testing. ICECCS 2007: 161

Wolfram Schulte: Experiments in Verifying Low Level Concurrent C Code. ICECCS 2007: 299

Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202

Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte: XRT- Exploring Runtime for .NET Architecture and Applications. Electr. Notes Theor. Comput. Sci. 144(3): 3-26 (2006)

Nikolai Tillmann, Wolfram Schulte: Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Software 23(4): 38-47 (2006)

Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun: Allowing State Changes in Specifications. ETRICS 2006: 321-336

Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte: A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM 2006: 420-439

Nikolai Tillmann, Feng Chen, Wolfram Schulte: Discovering Likely Method Specifications. ICFEM 2006: 717-736

Nikolai Tillmann, Wolfram Schulte: Mock-object generation with behavior. ASE 2006: 365-368

Ralf Lämmel, Wolfram Schulte: Controllable Combinatorial Coverage in Grammar-Based Testing. TestCom 2006: 19-38

Wolfram Schulte: Challenge problems in software testing. SOQUA 2006: 1

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte: Semantic essence of AsmL. Theor. Comput. Sci. 343(3): 370-412 (2005)

Gavin M. Bierman, Erik Meijer, Wolfram Schulte: The Essence of Data Access in Comega. ECOOP 2005: 287-311

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547

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

Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte: Safe Concurrency for Aggregate Objects with Invariants. SEFM 2005: 137-147

Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244

Nikolai Tillmann, Wolfram Schulte: Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann: Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282

Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin: Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS 2005: 365-381

Dean Rosenzweig, Davor Runje, Wolfram Schulte: Model-Based Testing of Cryptographic Protocols. TGC 2005: 33-60

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

Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte: Verification of Object-Oriented Programs with Invariants. Journal of Object Technology 3(6): 27-56 (2004)

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64

K. Rustan M. Leino, Wolfram Schulte: Exception Safety for C#. SEFM 2004: 218-227

Jim Davies, Wolfram Schulte, Michael Barnett (Eds.): 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

Michael Barnett, Wolfram Schulte: Runtime verification of .NET contracts. Journal of Systems and Software 65(3): 199-208 (2003)

Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs: Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. UCS 9(2): 173- (2003)

Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407

Wolfram Schulte: Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Abstract State Machines 2003: 425

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

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte: Semantic Essence of AsmL. FMCO 2003: 240-259

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122

Michael Barnett, Wolfram Schulte: The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) 25(4) (2001)

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172

Egon Börger, Wolfram Schulte: Initialization problems for Java. Software - Concepts and Tools 19(4): 175-178 (2000)

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)

Yuri Gurevich, Wolfram Schulte, Charles Wallace: Investigating Java Concurrency Using Abstract State Machines. Abstract State Machines 2000: 151-176

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

Wolfram Schulte: Translating Theory into Practice - Abstract State Machines within Microsoft. CSL 2000: 71

Wolfram Schulte: Why Doesn't Anyone Use Formal Methods? IFM 2000: 297-298

Egon Börger, Wolfram Schulte: A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java 1999: 353-404

Egon Börger, Wolfram Schulte: Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS 1998: 17-35

Klaus Achatz, Wolfram Schulte: Formale objektorientierte Softwareentwicklung mit Fox. Inform., Forsch. Entwickl. 12(4): 174-185 (1997)

Wolfram Schulte, Klaus Achatz: Functional Object-Oriented Programming with Object-Gofer. GI Jahrestagung 1997: 552-561

Klaus Achatz, Wolfram Schulte: A Formal OO Method Inspired by Fusion and Object-Z. ZUM 1997: 92-111

Klaus Achatz, Wolfram Schulte: Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. Sci. Comput. Program. 26(1-3): 59-78 (1996)

Wolfram Schulte, Thilo Schwinn, Ton Vullinghs: TkGofer: A Functional GUI Library. AMAST 1996: 621-624

Ton Vullinghs, Wolfram Schulte, Thilo Schwinn: The Design of a Functional GUI Library Using Constructor Classes. Ershov Memorial Conference 1996: 398-408

Klaus Achatz, Wolfram Schulte: Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. MPC 1995: 97-127

Ton Vullinghs, Daniel Tuinman, Wolfram Schulte: Lightweight GUIs for Functional Programming. PLILP 1995: 341-356

Wolfram Schulte: Erfahrungen bei der Gestaltung eines Software-Grundpraktikums. SEUH 1995: 100-108

Wolfram Schulte: Deriving Residual Reference Count Garbage Collectors. PLILP 1994: 102-116

Wolfram Schulte, Wolfgang Grieskamp: Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming 1991: 239-252