Wolfram Schulte - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Wolfram Schulte' as author, editor, or advisor:

Local Verification of Global Invariants in Concurrent ProgramsErnie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies. cav 2010: 480-494 [doi]
Reggae: Automated Test Generation for Programs Using Complex Regular ExpressionsNuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. ASE 2009: 515-519 [doi]
Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010Mark Harman, Henry Muccini, Wolfram Schulte, Tao Xie, editors, Volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
Fitness-guided path exploration in dynamic symbolic executionTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. dsn 2009: 359-368 [doi]
right language abstractions for parallel programming should be here soon: the multicore transformation (Ubiquity symposium)Todd Mytkowicz, Wolfram Schulte. ubiquity, 2014(June), 2014. [doi]
An Empirical Study of Testing File-System-Dependent Software with Mock ObjectsMadhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. ICSE 2009: 149-153 [doi]
Finding Models in Model-Based Development - (Abstract)Wolfram Schulte, Ethan K. Jackson. MoDELS 2011: 591 [doi]
Automated migration of build scripts using dynamic analysis and search-based refactoringMilos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits. OOPSLA 2014: 599-616 [doi]
Ten years of automated code analysis at Microsoft (Invited industrial talk)Wolfram Schulte. ICSE 2012: 1001 [doi]
SIMD parallelization of applications that traverse irregular data structuresBin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte. CGO 2013: 1-10 [doi]
Specification and verification: the Spec# experienceMike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter. CACM, 54(6):81-91, 2011. [doi]
The design of a task parallel libraryDaan Leijen, Wolfram Schulte, Sebastian Burckhardt. OOPSLA 2009: 227-242 [doi]
VC generation for functional behavior and non-interference of iteratorsBart Jacobs 0002, Frank Piessens, Wolfram Schulte. FSE 2006: 67-70 [doi]
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th BirthdayLev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, editors, Volume 9300 of Lecture Notes in Computer Science, Springer, 2015. [doi]
Cancer treatment planning: formal methods to the rescueJanos L. Mathe, Janos Sztipanovits, Mia Levy, Ethan K. Jackson, Wolfram Schulte. ICSE 2012: 19-25 [doi]
Canonical Regular TypesEthan K. Jackson, Nikolaj Bjørner, Wolfram Schulte. ICLP 2011: 73-83 [doi]
MSeqGen: object-oriented unit-test generation via mining source codeSuresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. FSE 2009: 193-202 [doi]
Thirteen Years of Automated Code Analysis at MicrosoftWolfram Schulte. sbmf 2012: 2 [doi]
Specifying and Composing Non-functional Requirements in Model-Based DevelopmentEthan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj BjÃ¸rner, Wolfram Schulte. SC 2009: 72-89 [doi]
Teaching and training developer-testing techniques and tool supportTao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte. OOPSLA 2010: 175-182 [doi]
Understanding Specification Languages through Their Model TheoryEthan K. Jackson, Wolfram Schulte. monterey 2012: 396-415 [doi]
Invariants, Modularity, and RightsErnie 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. ershov 2010: 43-55 [doi]
Effiziente und korrekte Übersetzung strikter und applikativer ProgrammiersprachenWolfram Schulte. PhD thesis, Technical University of Berlin, Germany, 1992. [doi]
Separation Logic Verification of C Programs with an SMT SolverMatko Botincan, Matthew Parkinson, Wolfram Schulte. ENTCS, 254:5-23, 2009. [doi]
CloudBuild: Microsoft's distributed and caching build serviceHamed Esfahani, Jonas Fietz, Qi Ke, Alexei Kolomiets, Erica Lan, Erik Mavrinac, Wolfram Schulte, Newton Sanches, Srikanth Kandula. ICSE 2016: 11-20 [doi]
Taking Control of Your Engineering ToolsChandra Prasad, Wolfram Schulte. Computer, 46(11):63-66, 2013. [doi]
Symbolic Bounded Model Checking of Abstract State MachinesMargus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte. ijsi, 3(2-3):149-170, 2009. [doi]
Guest Editors Introduction: Parallelism on the DesktopVictor Pankratius, Wolfram Schulte, Kurt Keutzer. IEEE Software, 28(1):14-16, 2011. [doi]
Detecting Specification Errors in Declarative Languages with ConstraintsEthan K. Jackson, Wolfram Schulte, Nikolaj Bjørner. MoDELS 2012: 399-414 [doi]
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based ApplicationsBenjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte. webapps 2011: [doi]
Formalizing and Verifying a Modern Build LanguageMaria Christakis, K. Rustan M. Leino, Wolfram Schulte. FM 2014: 643-657 [doi]
Fine-grained parallel traversals of irregular data structuresBin Ren, Gagan Agrawal, James R. Larus, Todd Mytkowicz, Tomi Poutanen, Wolfram Schulte. IEEEpact 2012: 461-462 [doi]
HOL-Boogie - An Interactive Prover-Backend for the Verifying C CompilerSascha BÃ¶hme, Michal Moskal, Wolfram Schulte, Burkhart Wolff. JAR, 44(1-2):111-144, 2010. [doi]
Challenges to Achieving High Availability at Scale (Invited Talk)Wolfram Schulte. ECOOP 2017: [doi]
SPUR: a trace-based JIT compiler for CILMichael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter. OOPSLA 2010: 708-725 [doi]
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!)Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte. FAST 2016: 249-262 [doi]
Reusing Model Transformations While Preserving PropertiesEthan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai. FASE 2010: 44-58 [doi]
10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human FactorsMark Harman, Henry Muccini, Wolfram Schulte, Tao Xie. Dagstuhl 2010: [doi]
FORMULA 2.0: A Language for Formal SpecificationsEthan K. Jackson, Wolfram Schulte. ictac 2013: 156-206 [doi]
A Static Analysis to Detect Re-Entrancy in Object Oriented ProgramsManuel Fähndrich, Diego Garbervetsky, Wolfram Schulte. jot, 7(5):5-23, 2008. [doi]
Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. ProceedingsJürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán, editors, Volume 8767 of Lecture Notes in Computer Science, Springer, 2014. [doi]
From dependable multi-user to dependable multi-application operating systems: invited talkWolfram Schulte. ccs 2009: 1-2 [doi]
Changing microsoft's build: revolution or evolutionWolfram Schulte. ASE 2016: 2 [doi]
Parameterized Unit Testing with Pex: TutorialNikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. psse 2010: 141-202 [doi]
Automatic verification of Java programs with dynamic framesJan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte. fac, 22(3-4):423-457, 2010. [doi]
Automatic parallelization of programming languages: past, present and futureWolfram Schulte, Nikolai Tillmann. ICSE 2010: 1 [doi]
10111 Executive Summary - Practical Software Testing: Tool Automation and Human FactorsMark Harman, Henry Muccini, Wolfram Schulte, Tao Xie. Dagstuhl 2010: [doi]
A Precise Yet Efficient Memory Model For CErnie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte. ENTCS, 254:85-103, 2009. [doi]
CODEMINE: Building a Software Development Data Analytics Platform at MicrosoftJacek Czerwonka, Nachiappan Nagappan, Wolfram Schulte, Brendan Murphy. IEEE Software, 30(4):64-71, 2013. [doi]
Future of developer testing: building quality in codeTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. FSE 2010: 415-420 [doi]
Mutation Analysis of Parameterized Unit TestsTao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. icst 2009: 177-181 [doi]
An Approach for Effective Design Space ExplorationEunsuk Kang, Ethan K. Jackson, Wolfram Schulte. monterey 2011: 33-54 [doi]
Runtime Verification of C Memory SafetyGrigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta. RV 2009: 132-151 [doi]
FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. ProceedingsMichael Butler, Wolfram Schulte, editors, Volume 6664 of Lecture Notes in Computer Science, Springer, 2011. [doi]
VCC: A Practical System for Verifying Concurrent CErnie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies. tphol 2009: 23-42 [doi]
Guest editorial for the special section on MODELS 2014Juergen Dingel, Wolfram Schulte. SoSyM, 17(1):9-10, 2018. [doi]
Matching Logic: An Alternative to Hoare/Floyd LogicGrigore Rosu, Chucky Ellison, Wolfram Schulte. amast 2011: 142-162 [doi]
The Spec# Programming System: An OverviewMike Barnett, K. Rustan M. Leino, Wolfram Schulte. cassis 2005: 49-69 [doi]
Data-parallel finite-state machinesTodd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte. asplos 2014: 529-542 [doi]

runs on WebDSL