Wolfram Schulte

128 papers A* 6A 18B 15C 6Journal 22Unranked 58

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Guest editorial for the special section on MODELS 2014. Softw. Syst. Model. Juergen Dingel, Wolfram Schulte
2017	A	`conf`	Challenges to Achieving High Availability at Scale (Invited Talk). ECOOP Wolfram Schulte
2016	A*	`conf`	Changing microsoft's build: revolution or evolution. ASE Wolfram Schulte
2016	—	`conf`	CloudBuild: Microsoft's distributed and caching build service. ICSE (Companion Volume) Hamed Esfahani, Jonas Fietz, Qi Ke, Alexei Kolomiets, Erica Lan, Erik Mavrinac, Wolfram Schulte, Newton Sanches, Srikanth Kandula
2016	A	`conf`	Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!). FAST Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
2015	—	`ed.`	Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday Fields of Logic and Computation II Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
2014	A	`conf`	Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
2014	A*	`conf`	Data-parallel finite-state machines. ASPLOS Todd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte
2014	B	`conf`	Formalizing and Verifying a Modern Build Language. FM Maria Christakis, K. Rustan M. Leino, Wolfram Schulte
2014	A	`ed.`	Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings MoDELS Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán
2014	J	`jnl`	Waiting for Godot? the Ubiquity Todd Mytkowicz, Wolfram Schulte
2013	J	`jnl`	CODEMINE: Building a Software Development Data Analytics Platform at Microsoft. IEEE Softw. Jacek Czerwonka, Nachiappan Nagappan, Wolfram Schulte, Brendan Murphy
2013	—	`conf`	FORMULA 2.0: A Language for Formal Specifications. ICTAC Training School on Software Engineering Ethan K. Jackson, Wolfram Schulte
2013	A	`conf`	SIMD parallelization of applications that traverse irregular data structures. CGO Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
2013	J	`jnl`	Taking Control of Your Engineering Tools. Computer Chandra Prasad, Wolfram Schulte
2012	—	`conf`	Cancer treatment planning: formal methods to the rescue. SEHC@ICSE Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte
2012	A	`conf`	Detecting Specification Errors in Declarative Languages with Constraints. MoDELS Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjørner
2012	B	`conf`	Fine-grained parallel traversals of irregular data structures. PACT Bin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte
2012	A*	`conf`	Ten years of automated code analysis at Microsoft (Invited industrial talk). ICSE Wolfram Schulte
2012	—	`conf`	Thirteen Years of Automated Code Analysis at Microsoft. SBMF Wolfram Schulte
2012	—	`conf`	Understanding Specification Languages through Their Model Theory. Monterey Workshop Ethan K. Jackson, Wolfram Schulte
2011	—	`conf`	C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. WebApps Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte
2011	—	`conf`	Canonical Regular Types. ICLP (Technical Communications) Ethan K. Jackson, Nikolaj S. Bjørner, Wolfram Schulte
2011	B	`ed.`	FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings FM Michael J. Butler, Wolfram Schulte
2011	A	`conf`	Finding Models in Model-Based Development - (Abstract). MoDELS Wolfram Schulte, Ethan K. Jackson
2011	J	`jnl`	Guest Editors' Introduction: Parallelism on the Desktop. IEEE Softw. Victor Pankratius, Wolfram Schulte, Kurt Keutzer
2011	J	`jnl`	Specification and verification: the Spec# experience. Commun. ACM Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
2010	—	`conf`	10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010	—	`conf`	10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors. Practical Software Testing: Tool Automation and Human Factors Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010	—	`conf`	An Approach for Effective Design Space Exploration. Monterey Workshop Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte
2010	—	`conf`	Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE Wolfram Schulte, Nikolai Tillmann
2010	J	`jnl`	Automatic verification of Java programs with dynamic frames. Formal Aspects Comput. Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
2010	—	`conf`	Future of developer testing: building quality in code. FoSER Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2010	J	`jnl`	HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
2010	A*	`conf`	Local Verification of Global Invariants in Concurrent Programs. CAV Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
2010	—	`conf`	Matching Logic: An Alternative to Hoare/Floyd Logic. AMAST Grigore Rosu, Chucky Ellison, Wolfram Schulte
2010	—	`ed.`	Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010 Practical Software Testing: Tool Automation and Human Factors Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie
2010	B	`conf`	Reusing Model Transformations While Preserving Properties. FASE Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
2010	A	`conf`	SPUR: a trace-based JIT compiler for CIL. OOPSLA Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
2010	—	`conf`	Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte
2009	—	`conf`	A Precise Yet Efficient Memory Model For C. SSV Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
2009	—	`conf`	An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST@ICSE Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	A	`conf`	Fitness-guided path exploration in dynamic symbolic execution. DSN Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	From dependable multi-user to dependable multi-application operating systems: invited talk. SecuCode@CCS Wolfram Schulte
2009	—	`conf`	Guided path exploration for regression test generation. ICSE Companion Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Invariants, Modularity, and Rights. Ershov Memorial Conference 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
2009	—	`conf`	MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Mutation Analysis of Parameterized Unit Tests. ICST Workshops Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	A*	`conf`	Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	B	`conf`	Runtime Verification of C Memory Safety. RV Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta
2009	—	`conf`	Separation Logic Verification of C Programs with an SMT Solver. SSV Matko Botincan, Matthew J. Parkinson, Wolfram Schulte
2009	A	`conf`	Specifying and Composing Non-functional Requirements in Model-Based Development. SC Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj S. Bjørner, Wolfram Schulte
2009	J	`jnl`	Symbolic Bounded Model Checking of Abstract State Machines. Int. J. Softw. Informatics Margus Veanes, Nikolaj S. Bjørner, Yuri Gurevich, Wolfram Schulte
2009	A	`conf`	The design of a task parallel library. OOPSLA Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
2009	—	`conf`	VCC: A Practical System for Verifying Concurrent C. TPHOLs Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
2009	—	`conf`	VCC: Contract-based modular verification of concurrent C. ICSE Companion Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
2008	J	`jnl`	A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte
2008	J	`jnl`	A programming model for concurrent object-oriented programs. ACM Trans. Program. Lang. Syst. Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
2008	B	`conf`	An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. FASE Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
2008	J	`jnl`	Automating Software Testing Using Program Analysis. IEEE Softw. Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008	A	`conf`	Compositional Modeling for Data-Centric Business Applications. SC Ethan K. Jackson, Wolfram Schulte
2008	C	`conf`	Model Generation for Horn Logic with Stratified Negation. FORTE Ethan K. Jackson, Wolfram Schulte
2008	—	`conf`	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
2008	C	`conf`	Protocol Modeling with Model Program Composition. FORTE Margus Veanes, Wolfram Schulte
2008	—	`conf`	Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
2008	—	`conf`	Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST Stefan Maus, Michal Moskal, Wolfram Schulte
2008	A	`conf`	Workshop on state-space exploration for automated testing (SSEAT 2008). ISSTA Darko Marinov, Wolfram Schulte
2007	C	`conf`	Composition of Model Programs. FORTE Margus Veanes, Colin Campbell, Wolfram Schulte
2007	B	`conf`	Experiments in Verifying Low Level Concurrent C Code. ICECCS Wolfram Schulte
2007	—	`conf`	Parameterized Unit Testing with Pex: Tutorial. PSSE Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2007	B	`conf`	Pex - An Intelligent Assistant for Rigorous Developer Testing. ICECCS Wolfram Schulte
2007	A	`conf`	Using History Invariants to Verify Observers. ESOP K. Rustan M. Leino, Wolfram Schulte
2006	—	`conf`	A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. TV@FLoC Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006	C	`conf`	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. ICFEM Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte
2006	—	`conf`	Allowing State Changes in Specifications. ETRICS Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun
2006	—	`conf`	Challenge problems in software testing. SOQUA Wolfram Schulte
2006	—	`conf`	Controllable Combinatorial Coverage in Grammar-Based Testing. TestCom Ralf Lämmel, Wolfram Schulte
2006	C	`conf`	Discovering Likely Method Specifications. ICFEM Nikolai Tillmann, Feng Chen, Wolfram Schulte
2006	A*	`conf`	Mock-object generation with behavior. ASE Nikolai Tillmann, Wolfram Schulte
2006	J	`jnl`	Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. Nikolai Tillmann, Wolfram Schulte
2006	—	`conf`	VC generation for functional behavior and non-interference of iterators. SAVCBS@FSE Bart Jacobs, Frank Piessens, Wolfram Schulte
2005	—	`conf`	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
2005	—	`conf`	Model-Based Testing of Cryptographic Protocols. TGC Dean Rosenzweig, Davor Runje, Wolfram Schulte
2005	—	`conf`	Online testing with model programs. ESEC/SIGSOFT FSE Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
2005	—	`conf`	Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE Nikolai Tillmann, Wolfram Schulte
2005	—	`conf`	Parameterized unit tests. ESEC/SIGSOFT FSE Nikolai Tillmann, Wolfram Schulte
2005	B	`conf`	Safe Concurrency for Aggregate Objects with Invariants. SEFM Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte
2005	J	`jnl`	Semantic essence of AsmL. Theor. Comput. Sci. Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
2005	A	`conf`	Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. TACAS Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
2005	B	`conf`	Testing Concurrent Object-Oriented Systems with Spec Explorer. FM Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2005	A	`conf`	The Essence of Data Access in C ECOOP Gavin M. Bierman, Erik Meijer, Wolfram Schulte
2005	—	`conf`	The Spec# Programming System: Challenges and Directions. VSTTE Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
2005	—	`conf`	XRT- Exploring Runtime for .NET Architecture and Applications. SoftMC@CAV Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
2004	B	`conf`	Exception Safety for C#. SEFM K. Rustan M. Leino, Wolfram Schulte
2004	C	`ed.`	Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings ICFEM Jim Davies, Wolfram Schulte, Michael Barnett
2004	A	`conf`	Optimal strategies for testing nondeterministic systems. ISSTA Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
2004	—	`conf`	The Spec# Programming System: An Overview. CASSIS Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
2004	J	`jnl`	Verification of Object-Oriented Programs with Invariants. J. Object Technol. Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
2003	—	`conf`	Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Abstract State Machines Wolfram Schulte
2003	J	`jnl`	Runtime verification of .NET contracts. J. Syst. Softw. Michael Barnett, Wolfram Schulte
2003	—	`conf`	Semantic Essence of AsmL. FMCO Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
2003	J	`jnl`	Tool Support for the Interactive Derivation of Formally Correct Functional Programs. J. Univers. Comput. Sci. Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
2003	—	`conf`	Towards a Tool Environment for Model-Based Testing with AsmL. FATES Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2003	—	`conf`	Using AsmL for Runtime Verification. Abstract State Machines Michael Barnett, Wolfram Schulte, Nikolai Tillmann
2003	—	`conf`	Validating Use-Cases with the AsmL Test Tool. QSIC Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2002	A	`conf`	Generating finite state machines from abstract state machines. ISSTA Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
2001	—	`conf`	Testable Use Cases in the Abstract State Machine Language. APAQS Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
2001	J	`jnl`	The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) Michael Barnett, Wolfram Schulte
2000	J	`jnl`	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng. Egon Börger, Wolfram Schulte
2000	J	`jnl`	Initialization problems for Java. Softw. Concepts Tools Egon Börger, Wolfram Schulte
2000	—	`conf`	Investigating Java Concurrency Using Abstract State Machines. Abstract State Machines Yuri Gurevich, Wolfram Schulte, Charles Wallace
2000	B	`conf`	Translating Theory into Practice - Abstract State Machines within Microsoft. CSL Wolfram Schulte
2000	—	`conf`	Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
2000	B	`conf`	Why Doesn't Anyone Use Formal Methods? IFM Wolfram Schulte
1999	—	`conf`	A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java Egon Börger, Wolfram Schulte
1998	B	`conf`	Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS Egon Börger, Wolfram Schulte
1997	—	`conf`	A Formal OO Method Inspired by Fusion and Object-Z. ZUM Klaus Achatz, Wolfram Schulte
1997	J	`jnl`	Formale objektorientierte Softwareentwicklung mit Fox. Inform. Forsch. Entwickl. Klaus Achatz, Wolfram Schulte
1997	—	`conf`	Functional Object-Oriented Programming with Object-Gofer. GI Jahrestagung Wolfram Schulte, Klaus Achatz
1996	J	`jnl`	Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. Sci. Comput. Program. Klaus Achatz, Wolfram Schulte
1996	—	`conf`	The Design of a Functional GUI Library Using Constructor Classes. Ershov Memorial Conference Ton Vullinghs, Wolfram Schulte, Thilo Schwinn
1996	—	`conf`	TkGofer: A Functional GUI Library. AMAST Wolfram Schulte, Thilo Schwinn, Ton Vullinghs
1995	B	`conf`	Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. MPC Klaus Achatz, Wolfram Schulte
1995	—	`conf`	Erfahrungen bei der Gestaltung eines Software-Grundpraktikums. SEUH Wolfram Schulte
1995	—	`conf`	Lightweight GUIs for Functional Programming PLILP Ton Vullinghs, Daniel Tuinman, Wolfram Schulte
1994	—	`conf`	Deriving Residual Reference Count Garbage Collectors. PLILP Wolfram Schulte
1992	—	`—`	Effiziente und korrekte Übersetzung strikter und applikativer Programmiersprachen. Wolfram Schulte
1991	—	`conf`	Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming Wolfram Schulte, Wolfgang Grieskamp