@inproceedings{Schulte00,
  title = {Why Doesn t Anyone Use Formal Methods?},
  author = {Wolfram Schulte},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1945/19450297.htm},
  researchr = {https://researchr.org/publication/Schulte00},
  cites = {0},
  citedby = {0},
  pages = {297-298},
  booktitle = {IFM},
}

@inproceedings{VullinghsSS96,
  title = {The Design of a Functional GUI Library Using Constructor Classes},
  author = {Ton Vullinghs and Wolfram Schulte and Thilo Schwinn},
  year = {1996},
  tags = {design},
  researchr = {https://researchr.org/publication/VullinghsSS96},
  cites = {0},
  citedby = {0},
  pages = {398-408},
  booktitle = {ershov},
}

@inproceedings{Schulte95,
  title = {Erfahrungen bei der Gestaltung eines Software-Grundpraktikums},
  author = {Wolfram Schulte},
  year = {1995},
  researchr = {https://researchr.org/publication/Schulte95},
  cites = {0},
  citedby = {0},
  pages = {100-108},
  booktitle = {seuh},
}

@article{BarnettDFLS04,
  title = {Verification of Object-Oriented Programs with Invariants},
  author = {Michael Barnett and Robert DeLine and Manuel Fähndrich and K. Rustan M. Leino and Wolfram Schulte},
  year = {2004},
  url = {http://www.jot.fm/issues/issue_2004_06/article2/article2.pdf},
  tags = {object-oriented programming, meta programming, program verification, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/BarnettDFLS04},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {3},
  number = {6},
  pages = {27-56},
}

@article{BorgerS00:1,
  title = {Initialization problems for Java},
  author = {Egon Börger and Wolfram Schulte},
  year = {2000},
  url = {http://link.springer.de/link/service/journals/00378/bibs/0019004/00190175.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/BorgerS00%3A1},
  cites = {0},
  citedby = {0},
  journal = {stp},
  volume = {19},
  number = {4},
  pages = {175-178},
}

@inproceedings{BarnettBGSV00,
  title = {Using Abstract State Machines at Microsoft: A Case Study},
  author = {Michael Barnett and Egon Börger and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120367.htm},
  tags = {case study, state machines, abstract machine},
  researchr = {https://researchr.org/publication/BarnettBGSV00},
  cites = {0},
  citedby = {0},
  pages = {367-379},
  booktitle = {asmta},
}

@inproceedings{VeanesCST05,
  title = {Online testing with model programs},
  author = {Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann},
  year = {2005},
  doi = {10.1145/1081706.1081751},
  url = {http://doi.acm.org/10.1145/1081706.1081751},
  tags = {meta programming, meta-model, testing, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesCST05},
  cites = {0},
  citedby = {0},
  pages = {273-282},
  booktitle = {ESEC/FSE},
}

@inproceedings{GrieskampLST01,
  title = {Testable Use Cases in the Abstract State Machine Language},
  author = {Wolfgang Grieskamp and Markus Lepper and Wolfram Schulte and Nikolai Tillmann},
  year = {2001},
  doi = {10.1109/APAQS.2001.990016},
  url = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990016},
  tags = {testing, state machines, abstract machine},
  researchr = {https://researchr.org/publication/GrieskampLST01},
  cites = {0},
  citedby = {0},
  pages = {167-172},
  booktitle = {apaqs},
}

@inproceedings{GrieskampTCSV05,
  title = {Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation},
  author = {Wolfgang Grieskamp and Nikolai Tillmann and Colin Campbell and Wolfram Schulte and Margus Veanes},
  year = {2005},
  doi = {10.1109/QSIC.2005.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.10},
  tags = {rule-based, composition, testing},
  researchr = {https://researchr.org/publication/GrieskampTCSV05},
  cites = {0},
  citedby = {0},
  pages = {72-82},
  booktitle = {ehci},
}

@inproceedings{DahlweidMSTS09,
  title = {VCC: Contract-based modular verification of concurrent C},
  author = {Markus Dahlweid and Michal Moskal and Thomas Santen and Stephan Tobies and Wolfram Schulte},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5071046},
  url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071046},
  tags = {rule-based, contracts, C++},
  researchr = {https://researchr.org/publication/DahlweidMSTS09},
  cites = {0},
  citedby = {0},
  pages = {429-430},
  booktitle = {ICSE},
}

@inproceedings{VeanesCGSTN08,
  title = {Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer},
  author = {Margus Veanes and Colin Campbell and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Lev Nachmanson},
  year = {2008},
  doi = {10.1007/978-3-540-78917-8_2},
  url = {http://dx.doi.org/10.1007/978-3-540-78917-8_2},
  tags = {rule-based, testing, object-role modeling},
  researchr = {https://researchr.org/publication/VeanesCGSTN08},
  cites = {0},
  citedby = {0},
  pages = {39-76},
  booktitle = {fortest},
}

@inproceedings{AchatzS97:0,
  title = {A Formal OO Method Inspired by Fusion and Object-Z},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1997},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AchatzS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {92-111},
  booktitle = {zum},
}

@inproceedings{Schulte07a,
  title = {Experiments in Verifying Low Level Concurrent C Code},
  author = {Wolfram Schulte},
  year = {2007},
  doi = {10.1109/ICECCS.2007.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.22},
  tags = {C++},
  researchr = {https://researchr.org/publication/Schulte07a},
  cites = {0},
  citedby = {0},
  pages = {299},
  booktitle = {ICECCS},
}

@inproceedings{TanejaXTHS09,
  title = {Guided path exploration for regression test generation},
  author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5071009},
  url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071009},
  tags = {testing},
  researchr = {https://researchr.org/publication/TanejaXTHS09},
  cites = {0},
  citedby = {0},
  pages = {311-314},
  booktitle = {ICSE},
}

@article{BarnettS01,
  title = {The ABCs of specification: asml, behavior, and components},
  author = {Michael Barnett and Wolfram Schulte},
  year = {2001},
  researchr = {https://researchr.org/publication/BarnettS01},
  cites = {0},
  citedby = {0},
  journal = {informaticaSI},
  volume = {25},
  number = {4},
}

@inproceedings{XieMSN05,
  title = {Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution},
  author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=365},
  tags = {testing},
  researchr = {https://researchr.org/publication/XieMSN05},
  cites = {0},
  citedby = {0},
  pages = {365-381},
  booktitle = {TACAS},
}

@inproceedings{JacobsSPS06,
  title = {A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs},
  author = {Bart Jacobs 0002 and Jan Smans and Frank Piessens and Wolfram Schulte},
  year = {2006},
  doi = {10.1007/11901433_23},
  url = {http://dx.doi.org/10.1007/11901433_23},
  tags = {object-oriented programming, object-role modeling, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/JacobsSPS06},
  cites = {0},
  citedby = {0},
  pages = {420-439},
  booktitle = {icfem},
}

@inproceedings{SchulteG91,
  title = {Generating Efficient Portable Code for a Strict Applicative Language},
  author = {Wolfram Schulte and Wolfgang Grieskamp},
  year = {1991},
  researchr = {https://researchr.org/publication/SchulteG91},
  cites = {0},
  citedby = {0},
  pages = {239-252},
  booktitle = {phoenix},
}

@inproceedings{CampbellGNSTV05,
  title = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
  author = {Colin Campbell and Wolfgang Grieskamp and Lev Nachmanson and Wolfram Schulte and Nikolai Tillmann and Margus Veanes},
  year = {2005},
  doi = {10.1007/11526841_38},
  url = {http://dx.doi.org/10.1007/11526841_38},
  tags = {meta-model, testing, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CampbellGNSTV05},
  cites = {0},
  citedby = {0},
  pages = {542-547},
  booktitle = {FM},
}

@inproceedings{GrieskampGSV02,
  title = {Generating finite state machines from abstract state machines},
  author = {Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  year = {2002},
  doi = {10.1145/566172.566190},
  url = {http://doi.acm.org/10.1145/566172.566190},
  tags = {state machines, abstract machine},
  researchr = {https://researchr.org/publication/GrieskampGSV02},
  cites = {0},
  citedby = {0},
  pages = {112-122},
  booktitle = {ISSTA},
}

@inproceedings{BarnettST03,
  title = {Using AsmL for Runtime Verification},
  author = {Michael Barnett and Wolfram Schulte and Nikolai Tillmann},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890407.htm},
  researchr = {https://researchr.org/publication/BarnettST03},
  cites = {0},
  citedby = {0},
  pages = {407},
  booktitle = {asmta},
}

@inproceedings{SchulteA97,
  title = {Functional Object-Oriented Programming with Object-Gofer},
  author = {Wolfram Schulte and Klaus Achatz},
  year = {1997},
  tags = {object-oriented programming, meta programming, functional programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/SchulteA97},
  cites = {0},
  citedby = {0},
  pages = {552-561},
  booktitle = {gi},
}

@inproceedings{VeanesS08:0,
  title = {Protocol Modeling with Model Program Composition},
  author = {Margus Veanes and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-68855-6_21},
  url = {http://dx.doi.org/10.1007/978-3-540-68855-6_21},
  tags = {meta programming, meta-model, modeling, protocol, composition, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesS08%3A0},
  cites = {0},
  citedby = {0},
  pages = {324-339},
  booktitle = {forte},
}

@inproceedings{GurevichRS03,
  title = {Semantic Essence of AsmL},
  author = {Yuri Gurevich and Benjamin Rossman and Wolfram Schulte},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=240},
  researchr = {https://researchr.org/publication/GurevichRS03},
  cites = {0},
  citedby = {0},
  pages = {240-259},
  booktitle = {FMCO},
}

@inproceedings{Schulte03,
  title = {Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines},
  author = {Wolfram Schulte},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890425.htm},
  tags = {semantics, state machines, abstract machine},
  researchr = {https://researchr.org/publication/Schulte03},
  cites = {0},
  citedby = {0},
  pages = {425},
  booktitle = {asmta},
}

@article{AchatzS97,
  title = {Formale objektorientierte Softwareentwicklung mit Fox},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1997},
  researchr = {https://researchr.org/publication/AchatzS97},
  cites = {0},
  citedby = {0},
  journal = {ife},
  volume = {12},
  number = {4},
  pages = {174-185},
}

@inproceedings{BarnettGSTV03,
  title = {Validating Use-Cases with the AsmL Test Tool},
  author = {Michael Barnett and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Margus Veanes},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150238abs.htm},
  tags = {testing},
  researchr = {https://researchr.org/publication/BarnettGSTV03},
  cites = {0},
  citedby = {0},
  pages = {238-246},
  booktitle = {qsic},
}

@inproceedings{JacksonS08:0,
  title = {Compositional Modeling for Data-Centric Business Applications},
  author = {Ethan K. Jackson and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-78789-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-78789-1_15},
  tags = {modeling, composition, data-flow},
  researchr = {https://researchr.org/publication/JacksonS08%3A0},
  cites = {0},
  citedby = {0},
  pages = {190-205},
  booktitle = {SC},
}

@article{GodefroidHNRSTL08,
  title = {Automating Software Testing Using Program Analysis},
  author = {Patrice Godefroid and Jonathan de Halleux and Aditya V. Nori and Sriram K. Rajamani and Wolfram Schulte and Nikolai Tillmann and Michael Y. Levin},
  year = {2008},
  doi = {10.1109/MS.2008.109},
  url = {http://dx.doi.org/10.1109/MS.2008.109},
  tags = {program analysis, testing, analysis},
  researchr = {https://researchr.org/publication/GodefroidHNRSTL08},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {25},
  number = {5},
  pages = {30-37},
}

@inproceedings{JacobsPLS05,
  title = {Safe Concurrency for Aggregate Objects with Invariants},
  author = {Bart Jacobs 0002 and Frank Piessens and K. Rustan M. Leino and Wolfram Schulte},
  year = {2005},
  doi = {10.1109/SEFM.2005.39},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.39},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JacobsPLS05},
  cites = {0},
  citedby = {0},
  pages = {137-147},
  booktitle = {SEFM},
}

@article{BorgerS00,
  title = {A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study},
  author = {Egon Börger and Wolfram Schulte},
  year = {2000},
  url = {http://www.computer.org:80/tse/ts2000/e0872abs.htm},
  tags = {Java, case study, exceptions, analysis},
  researchr = {https://researchr.org/publication/BorgerS00},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {26},
  number = {9},
  pages = {872-887},
}

@inproceedings{GurevichSW00,
  title = {Investigating Java Concurrency Using Abstract State Machines},
  author = {Yuri Gurevich and Wolfram Schulte and Charles Wallace},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120151.htm},
  tags = {Java, state machines, abstract machine},
  researchr = {https://researchr.org/publication/GurevichSW00},
  cites = {0},
  citedby = {0},
  pages = {151-176},
  booktitle = {asmta},
}

@inproceedings{TillmannS05,
  title = {Parameterized unit tests with unit meister},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2005},
  doi = {10.1145/1081706.1081745},
  url = {http://doi.acm.org/10.1145/1081706.1081745},
  tags = {testing},
  researchr = {https://researchr.org/publication/TillmannS05},
  cites = {0},
  citedby = {0},
  pages = {241-244},
  booktitle = {ESEC/FSE},
}

@inproceedings{MarinovS08,
  title = {Workshop on state-space exploration for automated testing (SSEAT 2008)},
  author = {Darko Marinov and Wolfram Schulte},
  year = {2008},
  doi = {10.1145/1390630.1390672},
  url = {http://doi.acm.org/10.1145/1390630.1390672},
  tags = {testing},
  researchr = {https://researchr.org/publication/MarinovS08},
  cites = {0},
  citedby = {0},
  pages = {315-316},
  booktitle = {ISSTA},
}

@article{GuttmannPSV03,
  title = {Tool Support for the Interactive Derivation of Formally Correct Functional Programs},
  author = {Walter Guttmann and Helmuth Partsch and Wolfram Schulte and Ton Vullinghs},
  year = {2003},
  url = {http://www.jucs.org/jucs_9_2/tool_support_for_the},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/GuttmannPSV03},
  cites = {0},
  citedby = {0},
  journal = {jucs},
  volume = {9},
  number = {2},
  pages = {173},
}

@inproceedings{LammelS06,
  title = {Controllable Combinatorial Coverage in Grammar-Based Testing},
  author = {Ralf Lämmel and Wolfram Schulte},
  year = {2006},
  doi = {10.1007/11754008_2},
  url = {http://dx.doi.org/10.1007/11754008_2},
  tags = {rule-based, test coverage, meta-model, testing, data-flow, C++, Meta-Environment, coverage, systematic-approach, meta-objects, grammar},
  researchr = {https://researchr.org/publication/LammelS06},
  cites = {0},
  citedby = {0},
  pages = {19-38},
  booktitle = {pts},
}

@inproceedings{VullinghsTS95,
  title = {Lightweight GUIs for Functional Programming},
  author = {Ton Vullinghs and Daniel Tuinman and Wolfram Schulte},
  year = {1995},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/VullinghsTS95},
  cites = {0},
  citedby = {0},
  pages = {341-356},
  booktitle = {plilp},
}

@inproceedings{TillmannS06,
  title = {Mock-object generation with behavior},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2006},
  doi = {10.1109/ASE.2006.51},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.51},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/TillmannS06},
  cites = {0},
  citedby = {0},
  pages = {365-368},
  booktitle = {ASE},
}

@inproceedings{Schulte06:0,
  title = {Challenge problems in software testing},
  author = {Wolfram Schulte},
  year = {2006},
  doi = {10.1145/1188895.1188897},
  url = {http://doi.acm.org/10.1145/1188895.1188897},
  tags = {testing},
  researchr = {https://researchr.org/publication/Schulte06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {soqua},
}

@inproceedings{SchulteSV96,
  title = {TkGofer: A Functional GUI Library},
  author = {Wolfram Schulte and Thilo Schwinn and Ton Vullinghs},
  year = {1996},
  researchr = {https://researchr.org/publication/SchulteSV96},
  cites = {0},
  citedby = {0},
  pages = {621-624},
  booktitle = {amast},
}

@inproceedings{SmansJPS08,
  title = {An Automatic Verifier for Java-Like Programs Based on Dynamic Frames},
  author = {Jan Smans and Bart Jacobs 0002 and Frank Piessens and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_19},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_19},
  tags = {rule-based, Java, program verification},
  researchr = {https://researchr.org/publication/SmansJPS08},
  cites = {0},
  citedby = {0},
  pages = {261-275},
  booktitle = {FASE},
}

@inproceedings{AchatzS95,
  title = {Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1995},
  tags = {architecture},
  researchr = {https://researchr.org/publication/AchatzS95},
  cites = {0},
  citedby = {0},
  pages = {97-127},
  booktitle = {mpc},
}

@inproceedings{VanoverbergheBHST08,
  title = {Using Dynamic Symbolic Execution to Improve Deductive Verification},
  author = {Dries Vanoverberghe and Nikolaj Bjørner and Jonathan de Halleux and Wolfram Schulte and Nikolai Tillmann},
  year = {2008},
  doi = {10.1007/978-3-540-85114-1_4},
  url = {http://dx.doi.org/10.1007/978-3-540-85114-1_4},
  researchr = {https://researchr.org/publication/VanoverbergheBHST08},
  cites = {0},
  citedby = {0},
  pages = {9-25},
  booktitle = {spin},
}

@inproceedings{TillmannCS06,
  title = {Discovering Likely Method Specifications},
  author = {Nikolai Tillmann and Feng Chen and Wolfram Schulte},
  year = {2006},
  doi = {10.1007/11901433_39},
  url = {http://dx.doi.org/10.1007/11901433_39},
  researchr = {https://researchr.org/publication/TillmannCS06},
  cites = {0},
  citedby = {0},
  pages = {717-736},
  booktitle = {icfem},
}

@inproceedings{Meijer2003,
  title = {Programming with rectangles, triangles, and circles},
  author = {Erik Meijer and Wolfram Schulte},
  year = {2003},
  month = {December},
  tags = {programming languages, object-oriented programming, rule-based, Java, XQuery, translation, meta programming, data-flow language, meta-model, XML, modeling language, XML Schema, graph query, SQL, language modeling, XPath, type system, data-flow programming, data-flow, graph-rewriting, C++, object-role modeling, programming, subject-oriented programming, Meta-Environment, rewriting, systematic-approach, feature-oriented programming, meta-objects, query language},
  researchr = {https://researchr.org/publication/Meijer2003},
  cites = {23},
  citedby = {1},
  booktitle = {Proceedings of XML Conference & Exposition 2003 (XML 2003)},
}

@article{JacobsSPS07,
  title = {A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs},
  author = {Bart Jacobs 0002 and Jan Smans and Frank Piessens and Wolfram Schulte},
  year = {2007},
  doi = {10.1016/j.entcs.2007.04.005},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.04.005},
  tags = {program verification, systematic-approach},
  researchr = {https://researchr.org/publication/JacobsSPS07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {174},
  number = {9},
  pages = {23-47},
}

@inproceedings{Schulte94,
  title = {Deriving Residual Reference Count Garbage Collectors},
  author = {Wolfram Schulte},
  year = {1994},
  researchr = {https://researchr.org/publication/Schulte94},
  cites = {0},
  citedby = {0},
  pages = {102-116},
  booktitle = {plilp},
}

@inproceedings{TillmannS05a,
  title = {Parameterized unit tests},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2005},
  doi = {10.1145/1081706.1081749},
  url = {http://doi.acm.org/10.1145/1081706.1081749},
  tags = {testing},
  researchr = {https://researchr.org/publication/TillmannS05a},
  cites = {0},
  citedby = {0},
  pages = {253-262},
  booktitle = {ESEC/FSE},
}

@inproceedings{Schulte00:0,
  title = {Translating Theory into Practice - Abstract State Machines within Microsoft},
  author = {Wolfram Schulte},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1862/18620071.htm},
  tags = {translation, state machines, abstract machine},
  researchr = {https://researchr.org/publication/Schulte00%3A0},
  cites = {0},
  citedby = {0},
  pages = {71},
  booktitle = {csl},
}

@article{BarnettS03,
  title = {Runtime verification of .NET contracts},
  author = {Michael Barnett and Wolfram Schulte},
  year = {2003},
  doi = {10.1016/S0164-1212(02)00041-9},
  url = {http://dx.doi.org/10.1016/S0164-1212(02)00041-9},
  tags = {contracts},
  researchr = {https://researchr.org/publication/BarnettS03},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {65},
  number = {3},
  pages = {199-208},
}

@inproceedings{BarnettDFJLSV05,
  title = {The Spec# Programming System: Challenges and Directions},
  author = {Michael Barnett and Robert DeLine and Manuel Fähndrich and Bart Jacobs 0002 and K. Rustan M. Leino and Wolfram Schulte and Herman Venter},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_16},
  url = {http://dx.doi.org/10.1007/978-3-540-69149-5_16},
  tags = {programming},
  researchr = {https://researchr.org/publication/BarnettDFJLSV05},
  cites = {0},
  citedby = {0},
  pages = {144-152},
  booktitle = {vstte},
}

@inproceedings{LeinoS07,
  title = {Using History Invariants to Verify Observers},
  author = {K. Rustan M. Leino and Wolfram Schulte},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_7},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_7},
  tags = {history},
  researchr = {https://researchr.org/publication/LeinoS07},
  cites = {0},
  citedby = {0},
  pages = {80-94},
  booktitle = {ESOP},
}

@inproceedings{NachmansonVSTG04,
  title = {Optimal strategies for testing nondeterministic systems},
  author = {Lev Nachmanson and Margus Veanes and Wolfram Schulte and Nikolai Tillmann and Wolfgang Grieskamp},
  year = {2004},
  doi = {10.1145/1007512.1007520},
  url = {http://doi.acm.org/10.1145/1007512.1007520},
  tags = {testing},
  researchr = {https://researchr.org/publication/NachmansonVSTG04},
  cites = {0},
  citedby = {0},
  pages = {55-64},
  booktitle = {ISSTA},
}

@inproceedings{BiermanMS05,
  title = {The Essence of Data Access in C::::omega::::},
  author = {Gavin M. Bierman and Erik Meijer and Wolfram Schulte},
  year = {2005},
  doi = {10.1007/11531142_13},
  url = {http://dx.doi.org/10.1007/11531142_13},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/BiermanMS05},
  cites = {0},
  citedby = {1},
  pages = {287-311},
  booktitle = {ECOOP},
}

@inproceedings{BorgerS99,
  title = {A Programmer Friendly Modular Definition of the Semantics of Java},
  author = {Egon Börger and Wolfram Schulte},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1523/15230353.htm},
  tags = {semantics, Java},
  researchr = {https://researchr.org/publication/BorgerS99},
  cites = {0},
  citedby = {0},
  pages = {353-404},
  booktitle = {java},
}

@article{AchatzS96,
  title = {Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1996},
  researchr = {https://researchr.org/publication/AchatzS96},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {26},
  number = {1-3},
  pages = {59-78},
}

@article{TillmannS06:0,
  title = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2006},
  doi = {10.1109/MS.2006.117},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2006.117},
  tags = {testing},
  researchr = {https://researchr.org/publication/TillmannS06%3A0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {23},
  number = {4},
  pages = {38-47},
}

@inproceedings{JacksonS08,
  title = {Model Generation for Horn Logic with Stratified Negation},
  author = {Ethan K. Jackson and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-68855-6_1},
  url = {http://dx.doi.org/10.1007/978-3-540-68855-6_1},
  tags = {logic},
  researchr = {https://researchr.org/publication/JacksonS08},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {forte},
}

@inproceedings{LeinoS04,
  title = {Exception Safety for C#},
  author = {K. Rustan M. Leino and Wolfram Schulte},
  year = {2004},
  doi = {10.1109/SEFM.2004.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.14},
  tags = {exceptions, C++},
  researchr = {https://researchr.org/publication/LeinoS04},
  cites = {0},
  citedby = {0},
  pages = {218-227},
  booktitle = {SEFM},
}

@inproceedings{BarnettNSS06,
  title = {Allowing State Changes in Specifications},
  author = {Michael Barnett and David A. Naumann and Wolfram Schulte and Qi Sun},
  year = {2006},
  doi = {10.1007/11766155_23},
  url = {http://dx.doi.org/10.1007/11766155_23},
  researchr = {https://researchr.org/publication/BarnettNSS06},
  cites = {0},
  citedby = {0},
  pages = {321-336},
  booktitle = {etrics},
}

@inproceedings{BarnettGNSTV03,
  title = {Towards a Tool Environment for Model-Based Testing with AsmL},
  author = {Michael Barnett and Wolfgang Grieskamp and Lev Nachmanson and Wolfram Schulte and Nikolai Tillmann and Margus Veanes},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=252},
  tags = {rule-based, meta-model, testing, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BarnettGNSTV03},
  cites = {0},
  citedby = {0},
  pages = {252-266},
  booktitle = {fates},
}

@inproceedings{BorgerS98,
  title = {Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation},
  author = {Egon Börger and Wolfram Schulte},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1450/14500017.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/BorgerS98},
  cites = {0},
  citedby = {0},
  pages = {17-35},
  booktitle = {mfcs},
}

@inproceedings{RosenzweigRS05,
  title = {Model-Based Testing of Cryptographic Protocols},
  author = {Dean Rosenzweig and Davor Runje and Wolfram Schulte},
  year = {2005},
  doi = {10.1007/11580850_4},
  url = {http://dx.doi.org/10.1007/11580850_4},
  tags = {rule-based, protocol, testing},
  researchr = {https://researchr.org/publication/RosenzweigRS05},
  cites = {0},
  citedby = {0},
  pages = {33-60},
  booktitle = {tgc},
}

@inproceedings{MausMS08,
  title = {Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving},
  author = {Stefan Maus and Michal Moskal and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-79980-1_22},
  url = {http://dx.doi.org/10.1007/978-3-540-79980-1_22},
  tags = {C++},
  researchr = {https://researchr.org/publication/MausMS08},
  cites = {0},
  citedby = {0},
  pages = {284-298},
  booktitle = {amast},
}

@article{GrieskampTS06,
  title = {XRT- Exploring Runtime for .NET Architecture and Applications},
  author = {Wolfgang Grieskamp and Nikolai Tillmann and Wolfram Schulte},
  year = {2006},
  doi = {10.1016/j.entcs.2006.01.002},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.01.002},
  tags = {architecture},
  researchr = {https://researchr.org/publication/GrieskampTS06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {144},
  number = {3},
  pages = {3-26},
}

@article{GurevichRS05,
  title = {Semantic essence of AsmL},
  author = {Yuri Gurevich and Benjamin Rossman and Wolfram Schulte},
  year = {2005},
  doi = {10.1016/j.tcs.2005.06.017},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.06.017},
  researchr = {https://researchr.org/publication/GurevichRS05},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {343},
  number = {3},
  pages = {370-412},
}

@article{JacobsPSLS08,
  title = {A programming model for concurrent object-oriented programs},
  author = {Bart Jacobs 0002 and Frank Piessens and Jan Smans and K. Rustan M. Leino and Wolfram Schulte},
  year = {2008},
  doi = {10.1145/1452044.1452045},
  url = {http://doi.acm.org/10.1145/1452044.1452045},
  tags = {object-oriented programming, meta programming, meta-model, object-role modeling, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/JacobsPSLS08},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {31},
  number = {1},
}

@inproceedings{VeanesCS07,
  title = {Composition of Model Programs},
  author = {Margus Veanes and Colin Campbell and Wolfram Schulte},
  year = {2007},
  doi = {10.1007/978-3-540-73196-2_9},
  url = {http://dx.doi.org/10.1007/978-3-540-73196-2_9},
  tags = {meta programming, meta-model, composition, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesCS07},
  cites = {0},
  citedby = {0},
  pages = {128-142},
  booktitle = {forte},
}

@inproceedings{Schulte07:0,
  title = {Pex - An Intelligent Assistant for Rigorous Developer Testing},
  author = {Wolfram Schulte},
  year = {2007},
  doi = {10.1109/ICECCS.2007.35},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.35},
  tags = {testing},
  researchr = {https://researchr.org/publication/Schulte07%3A0},
  cites = {0},
  citedby = {0},
  pages = {161},
  booktitle = {ICECCS},
}
@proceedings{icfem:2004,
  title = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},
  year = {2004},
  tags = {software engineering},
  researchr = {https://researchr.org/publication/icfem%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},
  conference = {icfem},
  editor = {Jim Davies and Wolfram Schulte and Michael Barnett},
  volume = {3308},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23841-7},
}