default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wolfram Schulte
@article{DBLP:journals/sosym/DingelS18,
author = {Juergen Dingel and
Wolfram Schulte},
title = {Guest editorial for the special section on {MODELS} 2014},
journal = {Softw. Syst. Model.},
volume = {17},
number = {1},
pages = {9--10},
year = {2018},
url = {https://doi.org/10.1007/s10270-016-0561-x},
doi = {10.1007/S10270-016-0561-X},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/DingelS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Schulte17,
author = {Wolfram Schulte},
editor = {Peter M{\"{u}}ller},
title = {Challenges to Achieving High Availability at Scale (Invited Talk)},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {1:1--1:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.1},
doi = {10.4230/LIPICS.ECOOP.2017.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Schulte17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/DeligiannisMTCD16,
author = {Pantazis Deligiannis and
Matt McCutchen and
Paul Thomson and
Shuo Chen and
Alastair F. Donaldson and
John Erickson and
Cheng Huang and
Akash Lal and
Rashmi Mudduluru and
Shaz Qadeer and
Wolfram Schulte},
editor = {Angela Demke Brown and
Florentina I. Popovici},
title = {Uncovering Bugs in Distributed Storage Systems during Testing (Not
in Production!)},
booktitle = {14th {USENIX} Conference on File and Storage Technologies, {FAST}
2016, Santa Clara, CA, USA, February 22-25, 2016},
pages = {249--262},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis},
timestamp = {Tue, 02 Feb 2021 08:06:35 +0100},
biburl = {https://dblp.org/rec/conf/fast/DeligiannisMTCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EsfahaniFKKLMSS16,
author = {Hamed Esfahani and
Jonas Fietz and
Qi Ke and
Alexei Kolomiets and
Erica Lan and
Erik Mavrinac and
Wolfram Schulte and
Newton Sanches and
Srikanth Kandula},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {CloudBuild: Microsoft's distributed and caching build service},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {11--20},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889222},
doi = {10.1145/2889160.2889222},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/EsfahaniFKKLMSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Schulte16,
author = {Wolfram Schulte},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Changing microsoft's build: revolution or evolution},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {2},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2985779},
doi = {10.1145/2970276.2985779},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/Schulte16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015gurevich,
editor = {Lev D. Beklemishev and
Andreas Blass and
Nachum Dershowitz and
Bernd Finkbeiner and
Wolfram Schulte},
title = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9300},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23534-9},
doi = {10.1007/978-3-319-23534-9},
isbn = {978-3-319-23533-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2015gurevich.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ubiquity/MytkowiczS14,
author = {Todd Mytkowicz and
Wolfram Schulte},
title = {Waiting for Godot? the \emph{right} language abstractions for parallel
programming should be here soon: the multicore transformation (Ubiquity
symposium)},
journal = {Ubiquity},
volume = {2014},
number = {June},
pages = {4:1--4:12},
year = {2014},
url = {https://doi.org/10.1145/2618395},
doi = {10.1145/2618395},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ubiquity/MytkowiczS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MytkowiczMS14,
author = {Todd Mytkowicz and
Madanlal Musuvathi and
Wolfram Schulte},
editor = {Rajeev Balasubramonian and
Al Davis and
Sarita V. Adve},
title = {Data-parallel finite-state machines},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2014, Salt Lake City, UT, USA, March 1-5, 2014},
pages = {529--542},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2541940.2541988},
doi = {10.1145/2541940.2541988},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/MytkowiczMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChristakisLS14,
author = {Maria Christakis and
K. Rustan M. Leino and
Wolfram Schulte},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formalizing and Verifying a Modern Build Language},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {643--657},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_43},
doi = {10.1007/978-3-319-06410-9\_43},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChristakisLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GligoricSPVNL14,
author = {Milos Gligoric and
Wolfram Schulte and
Chandra Prasad and
Danny van Velzen and
Iman Narasamdya and
Benjamin Livshits},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Automated migration of build scripts using dynamic analysis and search-based
refactoring},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {599--616},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660239},
doi = {10.1145/2660193.2660239},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GligoricSPVNL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014,
editor = {J{\"{u}}rgen Dingel and
Wolfram Schulte and
Isidro Ramos and
Silvia Abrah{\~{a}}o and
Emilio Insfr{\'{a}}n},
title = {Model-Driven Engineering Languages and Systems - 17th International
Conference, {MODELS} 2014, Valencia, Spain, September 28 - October
3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8767},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11653-2},
doi = {10.1007/978-3-319-11653-2},
isbn = {978-3-319-11652-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/PrasadS13,
author = {Chandra Prasad and
Wolfram Schulte},
title = {Taking Control of Your Engineering Tools},
journal = {Computer},
volume = {46},
number = {11},
pages = {63--66},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.337},
doi = {10.1109/MC.2013.337},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/PrasadS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/CzerwonkaNSM13,
author = {Jacek Czerwonka and
Nachiappan Nagappan and
Wolfram Schulte and
Brendan Murphy},
title = {{CODEMINE:} Building a Software Development Data Analytics Platform
at Microsoft},
journal = {{IEEE} Softw.},
volume = {30},
number = {4},
pages = {64--71},
year = {2013},
url = {https://doi.org/10.1109/MS.2013.68},
doi = {10.1109/MS.2013.68},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/CzerwonkaNSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/RenALMPS13,
author = {Bin Ren and
Gagan Agrawal and
James R. Larus and
Todd Mytkowicz and
Tomi Poutanen and
Wolfram Schulte},
title = {{SIMD} parallelization of applications that traverse irregular data
structures},
booktitle = {Proceedings of the 2013 {IEEE/ACM} International Symposium on Code
Generation and Optimization, {CGO} 2013, Shenzhen, China, February
23-27, 2013},
pages = {20:1--20:10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CGO.2013.6494989},
doi = {10.1109/CGO.2013.6494989},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cgo/RenALMPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/JacksonS13,
author = {Ethan K. Jackson and
Wolfram Schulte},
editor = {Zhiming Liu and
Jim Woodcock and
Huibiao Zhu},
title = {{FORMULA} 2.0: {A} Language for Formal Specifications},
booktitle = {Unifying Theories of Programming and Formal Engineering Methods -
International Training School on Software Engineering, Held at {ICTAC}
2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {8050},
pages = {156--206},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39721-9\_4},
doi = {10.1007/978-3-642-39721-9\_4},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/JacksonS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/RenALMPS12,
author = {Bin Ren and
Gagan Agrawal and
James R. Larus and
Todd Mytkowicz and
Tomi Poutanen and
Wolfram Schulte},
editor = {Pen{-}Chung Yew and
Sangyeun Cho and
Luiz DeRose and
David J. Lilja},
title = {Fine-grained parallel traversals of irregular data structures},
booktitle = {International Conference on Parallel Architectures and Compilation
Techniques, {PACT} '12, Minneapolis, MN, {USA} - September 19 - 23,
2012},
pages = {461--462},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2370816.2370896},
doi = {10.1145/2370816.2370896},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEpact/RenALMPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MatheSLJS12,
author = {Janos L. Mathe and
Janos Sztipanovits and
Mia A. Levy and
Ethan K. Jackson and
Wolfram Schulte},
editor = {Ruth Breu and
John Hatcliff},
title = {Cancer treatment planning: formal methods to the rescue},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
in Health Care, {SEHC} 2012, Zurich, Switzerland, June 4-5, 2012},
pages = {19--25},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEHC.2012.6227014},
doi = {10.1109/SEHC.2012.6227014},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MatheSLJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Schulte12,
author = {Wolfram Schulte},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Ten years of automated code analysis at Microsoft (Invited industrial
talk)},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1001},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227248},
doi = {10.1109/ICSE.2012.6227248},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Schulte12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JacksonSB12,
author = {Ethan K. Jackson and
Wolfram Schulte and
Nikolaj S. Bj{\o}rner},
editor = {Robert B. France and
J{\"{u}}rgen Kazmeier and
Ruth Breu and
Colin Atkinson},
title = {Detecting Specification Errors in Declarative Languages with Constraints},
booktitle = {Model Driven Engineering Languages and Systems - 15th International
Conference, {MODELS} 2012, Innsbruck, Austria, September 30-October
5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7590},
pages = {399--414},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33666-9\_26},
doi = {10.1007/978-3-642-33666-9\_26},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/JacksonSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/JacksonS12,
author = {Ethan K. Jackson and
Wolfram Schulte},
editor = {Radu Calinescu and
David Garlan},
title = {Understanding Specification Languages through Their Model Theory},
booktitle = {Large-Scale Complex {IT} Systems. Development, Operation and Management
- 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7539},
pages = {396--415},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34059-8\_21},
doi = {10.1007/978-3-642-34059-8\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/JacksonS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/Schulte12,
author = {Wolfram Schulte},
editor = {Rohit Gheyi and
David A. Naumann},
title = {Thirteen Years of Automated Code Analysis at Microsoft},
booktitle = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
{SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7498},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33296-8\_2},
doi = {10.1007/978-3-642-33296-8\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/Schulte12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BarnettFLMSV11,
author = {Mike Barnett and
Manuel F{\"{a}}hndrich and
K. Rustan M. Leino and
Peter M{\"{u}}ller and
Wolfram Schulte and
Herman Venter},
title = {Specification and verification: the Spec{\#} experience},
journal = {Commun. {ACM}},
volume = {54},
number = {6},
pages = {81--91},
year = {2011},
url = {https://doi.org/10.1145/1953122.1953145},
doi = {10.1145/1953122.1953145},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/BarnettFLMSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/PankratiusSK11,
author = {Victor Pankratius and
Wolfram Schulte and
Kurt Keutzer},
title = {Guest Editors' Introduction: Parallelism on the Desktop},
journal = {{IEEE} Softw.},
volume = {28},
number = {1},
pages = {14--16},
year = {2011},
url = {https://doi.org/10.1109/MS.2011.8},
doi = {10.1109/MS.2011.8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/PankratiusSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JacksonBS11,
author = {Ethan K. Jackson and
Nikolaj S. Bj{\o}rner and
Wolfram Schulte},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Canonical Regular Types},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {73--83},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.73},
doi = {10.4230/LIPICS.ICLP.2011.73},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JacksonBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SchulteJ11,
author = {Wolfram Schulte and
Ethan K. Jackson},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Finding Models in Model-Based Development - (Abstract)},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {591},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_43},
doi = {10.1007/978-3-642-24485-8\_43},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/SchulteJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webapps/LernerBVS11,
author = {Benjamin S. Lerner and
Brian Burg and
Herman Venter and
Wolfram Schulte},
editor = {Armando Fox},
title = {{C3:} An Experimental, Extensible, Reconfigurable Platform for HTML-based
Applications},
booktitle = {2nd {USENIX} Conference on Web Application Development, WebApps'11,
Portland, Oregon, USA, June 15-16, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/webapps11/c3-experimental-extensible-reconfigurable-platform-html-based-applications},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/webapps/LernerBVS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2011,
editor = {Michael J. Butler and
Wolfram Schulte},
title = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0},
doi = {10.1007/978-3-642-21437-0},
isbn = {978-3-642-21436-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SmansJPS10,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
title = {Automatic verification of Java programs with dynamic frames},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {423--457},
year = {2010},
url = {https://doi.org/10.1007/s00165-010-0148-1},
doi = {10.1007/S00165-010-0148-1},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SmansJPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BohmeMSW10,
author = {Sascha B{\"{o}}hme and
Michal Moskal and
Wolfram Schulte and
Burkhart Wolff},
title = {HOL-Boogie - An Interactive Prover-Backend for the Verifying {C} Compiler},
journal = {J. Autom. Reason.},
volume = {44},
number = {1-2},
pages = {111--144},
year = {2010},
url = {https://doi.org/10.1007/s10817-009-9142-9},
doi = {10.1007/S10817-009-9142-9},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BohmeMSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/RosuES10,
author = {Grigore Rosu and
Chucky Ellison and
Wolfram Schulte},
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Matching Logic: An Alternative to Hoare/Floyd Logic},
booktitle = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
pages = {142--162},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17796-5\_9},
doi = {10.1007/978-3-642-17796-5\_9},
timestamp = {Sun, 25 Oct 2020 23:16:25 +0100},
biburl = {https://dblp.org/rec/conf/amast/RosuES10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CohenMST10,
author = {Ernie Cohen and
Michal Moskal and
Wolfram Schulte and
Stephan Tobies},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Local Verification of Global Invariants in Concurrent Programs},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {480--494},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_42},
doi = {10.1007/978-3-642-14295-6\_42},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CohenMST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/JacksonSBK10,
author = {Ethan K. Jackson and
Wolfram Schulte and
Daniel Balasubramanian and
Gabor Karsai},
editor = {David S. Rosenblum and
Gabriele Taentzer},
title = {Reusing Model Transformations While Preserving Properties},
booktitle = {Fundamental Approaches to Software Engineering, 13th International
Conference, {FASE} 2010, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus,
March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6013},
pages = {44--58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12029-9\_4},
doi = {10.1007/978-3-642-12029-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/JacksonSBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchulteT10,
author = {Wolfram Schulte and
Nikolai Tillmann},
editor = {Victor Pankratius and
Michael Philippsen},
title = {Automatic parallelization of programming languages: past, present
and future},
booktitle = {Proceedings of the 3rd International Workshop on Multicore Software
Engineering, {IWMSE} '10, Cape Town, South Africa, May 1, 2010},
pages = {1},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808954.1808956},
doi = {10.1145/1808954.1808956},
timestamp = {Thu, 27 Jan 2022 11:00:59 +0100},
biburl = {https://dblp.org/rec/conf/icse/SchulteT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/KangJS10,
author = {Eunsuk Kang and
Ethan K. Jackson and
Wolfram Schulte},
editor = {Radu Calinescu and
Ethan K. Jackson},
title = {An Approach for Effective Design Space Exploration},
booktitle = {Foundations of Computer Software. Modeling, Development, and Verification
of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
March 31- April 2, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6662},
pages = {33--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21292-5\_3},
doi = {10.1007/978-3-642-21292-5\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/KangJS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/XieHTS10,
author = {Tao Xie and
Jonathan de Halleux and
Nikolai Tillmann and
Wolfram Schulte},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Teaching and training developer-testing techniques and tool support},
booktitle = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
part of {SPLASH} 2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {175--182},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869542.1869570},
doi = {10.1145/1869542.1869570},
timestamp = {Fri, 11 Feb 2022 14:04:22 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/XieHTS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BebenitaBFLSTV10,
author = {Michael Bebenita and
Florian Brandner and
Manuel F{\"{a}}hndrich and
Francesco Logozzo and
Wolfram Schulte and
Nikolai Tillmann and
Herman Venter},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {{SPUR:} a trace-based {JIT} compiler for {CIL}},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {708--725},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869517},
doi = {10.1145/1869459.1869517},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BebenitaBFLSTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XieTHS10,
author = {Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Future of developer testing: building quality in code},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {415--420},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882447},
doi = {10.1145/1882362.1882447},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/XieTHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10111,
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/portals/10111/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2010P10111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HarmanMSX10,
author = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {10111 Abstracts Collection - Practical Software Testing : Tool Automation
and Human Factors},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2626/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HarmanMSX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HarmanMSX10a,
author = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {10111 Executive Summary - Practical Software Testing: Tool Automation
and Human Factors},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2623/},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HarmanMSX10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/VeanesBGS09,
author = {Margus Veanes and
Nikolaj S. Bj{\o}rner and
Yuri Gurevich and
Wolfram Schulte},
title = {Symbolic Bounded Model Checking of Abstract State Machines},
journal = {Int. J. Softw. Informatics},
volume = {3},
number = {2-3},
pages = {149--170},
year = {2009},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=149\&\#38;flag=1},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/VeanesBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Schulte09,
author = {Wolfram Schulte},
editor = {Sven Lachmund and
Christian Schaefer},
title = {From dependable multi-user to dependable multi-application operating
systems: invited talk},
booktitle = {Proceedings of the First {ACM} Workshop on Secure Execution of Untrusted
Code, SecuCode '09, Chicago, Illinois, USA, November 9, 2009},
pages = {1--2},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1655077.1655079},
doi = {10.1145/1655077.1655079},
timestamp = {Tue, 08 Feb 2022 12:06:58 +0100},
biburl = {https://dblp.org/rec/conf/ccs/Schulte09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/XieTHS09,
author = {Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
title = {Fitness-guided path exploration in dynamic symbolic execution},
booktitle = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
29 - July 2, 2009},
pages = {359--368},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DSN.2009.5270315},
doi = {10.1109/DSN.2009.5270315},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/XieTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09,
author = {Ernie Cohen and
Eyad Alkassar and
Vladimir Boyarinov and
Markus Dahlweid and
Ulan Degenbaev and
Mark A. Hillebrand and
Bruno Langenstein and
Dirk Leinenbach and
Michal Moskal and
Steven Obua and
Wolfgang J. Paul and
Hristo Pentchev and
Elena Petrova and
Thomas Santen and
Norbert Schirmer and
Sabine Schmaltz and
Wolfram Schulte and
Andrey Shadrin and
Stephan Tobies and
Alexandra Tsyban and
Sergey Tverdyshev},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Invariants, Modularity, and Rights},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {43--55},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_4},
doi = {10.1007/978-3-642-11486-1\_4},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/CohenABDDHLLMOPPPSSSSSTTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarriXTHS09,
author = {Madhuri R. Marri and
Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
editor = {Dimitris Dranidis and
Stephen P. Masticola and
Paul A. Strooper},
title = {An Empirical Study of Testing File-System-Dependent Software with
Mock Objects},
booktitle = {Proceedings of the 4th International Workshop on Automation of Software
Test, {AST} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {149--153},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/IWAST.2009.5069054},
doi = {10.1109/IWAST.2009.5069054},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/MarriXTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanejaXTHS09,
author = {Kunal Taneja and
Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
title = {Guided path exploration for regression test generation},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {311--314},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071009},
doi = {10.1109/ICSE-COMPANION.2009.5071009},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TanejaXTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DahlweidMSTS09,
author = {Markus Dahlweid and
Michal Moskal and
Thomas Santen and
Stephan Tobies and
Wolfram Schulte},
title = {{VCC:} Contract-based modular verification of concurrent {C}},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {429--430},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071046},
doi = {10.1109/ICSE-COMPANION.2009.5071046},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DahlweidMSTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/XieTHS09,
author = {Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
title = {Mutation Analysis of Parameterized Unit Tests},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
Proceedings},
pages = {177--181},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICSTW.2009.43},
doi = {10.1109/ICSTW.2009.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/XieTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiXTHS09,
author = {Nuo Li and
Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
title = {Reggae: Automated Test Generation for Programs Using Complex Regular
Expressions},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {515--519},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.67},
doi = {10.1109/ASE.2009.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiXTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LeijenSB09,
author = {Daan Leijen and
Wolfram Schulte and
Sebastian Burckhardt},
editor = {Shail Arora and
Gary T. Leavens},
title = {The design of a task parallel library},
booktitle = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
October 25-29, 2009, Orlando, Florida, {USA}},
pages = {227--242},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1640089.1640106},
doi = {10.1145/1640089.1640106},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LeijenSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RosuSS09,
author = {Grigore Rosu and
Wolfram Schulte and
Traian{-}Florin Serbanuta},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {Runtime Verification of {C} Memory Safety},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {132--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_10},
doi = {10.1007/978-3-642-04694-0\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/RosuSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ThummalapentaXTHS09,
author = {Suresh Thummalapenta and
Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {MSeqGen: object-oriented unit-test generation via mining source code},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {193--202},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595725},
doi = {10.1145/1595696.1595725},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ThummalapentaXTHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/JacksonSDSBS09,
author = {Ethan K. Jackson and
Dirk Seifert and
Markus Dahlweid and
Thomas Santen and
Nikolaj S. Bj{\o}rner and
Wolfram Schulte},
editor = {Alexandre Bergel and
Johan Fabry},
title = {Specifying and Composing Non-functional Requirements in Model-Based
Development},
booktitle = {Software Composition - 8th International Conference, SC@TOOLS 2009,
Zurich, Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5634},
pages = {72--89},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02655-3\_7},
doi = {10.1007/978-3-642-02655-3\_7},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soco/JacksonSDSBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/CohenDHLMSST09,
author = {Ernie Cohen and
Markus Dahlweid and
Mark A. Hillebrand and
Dirk Leinenbach and
Michal Moskal and
Thomas Santen and
Wolfram Schulte and
Stephan Tobies},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {{VCC:} {A} Practical System for Verifying Concurrent {C}},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {23--42},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_2},
doi = {10.1007/978-3-642-03359-9\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/CohenDHLMSST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BotincanPS09,
author = {Matko Botincan and
Matthew J. Parkinson and
Wolfram Schulte},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Separation Logic Verification of {C} Programs with an {SMT} Solver},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {5--23},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.057},
doi = {10.1016/J.ENTCS.2009.09.057},
timestamp = {Fri, 17 Feb 2023 10:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BotincanPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CohenMTS09,
author = {Ernie Cohen and
Michal Moskal and
Stephan Tobies and
Wolfram Schulte},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Precise Yet Efficient Memory Model For {C}},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {85--103},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.061},
doi = {10.1016/J.ENTCS.2009.09.061},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CohenMTS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FahndrichGS08,
author = {Manuel F{\"{a}}hndrich and
Diego Garbervetsky and
Wolfram Schulte},
title = {A Static Analysis to Detect Re-Entrancy in Object Oriented Programs},
journal = {J. Object Technol.},
volume = {7},
number = {5},
pages = {5--23},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.5.a1},
doi = {10.5381/JOT.2008.7.5.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FahndrichGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GodefroidHNRSTL08,
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},
title = {Automating Software Testing Using Program Analysis},
journal = {{IEEE} Softw.},
volume = {25},
number = {5},
pages = {30--37},
year = {2008},
url = {https://doi.org/10.1109/MS.2008.109},
doi = {10.1109/MS.2008.109},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GodefroidHNRSTL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JacobsPSLS08,
author = {Bart Jacobs and
Frank Piessens and
Jan Smans and
K. Rustan M. Leino and
Wolfram Schulte},
title = {A programming model for concurrent object-oriented programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {31},
number = {1},
pages = {1:1--1:48},
year = {2008},
url = {https://doi.org/10.1145/1452044.1452045},
doi = {10.1145/1452044.1452045},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JacobsPSLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MausMS08,
author = {Stefan Maus and
Michal Moskal and
Wolfram Schulte},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Vx86: x86 Assembler Simulated in {C} Powered by Automated Theorem
Proving},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {284--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_22},
doi = {10.1007/978-3-540-79980-1\_22},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/MausMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SmansJPS08,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {An Automatic Verifier for Java-Like Programs Based on Dynamic Frames},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {261--275},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_19},
doi = {10.1007/978-3-540-78743-3\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/SmansJPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/JacksonS08,
author = {Ethan K. Jackson and
Wolfram Schulte},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Model Generation for Horn Logic with Stratified Negation},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {1--20},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_1},
doi = {10.1007/978-3-540-68855-6\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/JacksonS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VeanesS08,
author = {Margus Veanes and
Wolfram Schulte},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Protocol Modeling with Model Program Composition},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {324--339},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_21},
doi = {10.1007/978-3-540-68855-6\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/VeanesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/VeanesCGSTN08,
author = {Margus Veanes and
Colin Campbell and
Wolfgang Grieskamp and
Wolfram Schulte and
Nikolai Tillmann and
Lev Nachmanson},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Model-Based Testing of Object-Oriented Reactive Systems with Spec
Explorer},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {39--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_2},
doi = {10.1007/978-3-540-78917-8\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fortest/VeanesCGSTN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MarinovS08,
author = {Darko Marinov and
Wolfram Schulte},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Workshop on state-space exploration for automated testing {(SSEAT}
2008)},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {315--316},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390672},
doi = {10.1145/1390630.1390672},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/MarinovS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/JacksonS08,
author = {Ethan K. Jackson and
Wolfram Schulte},
editor = {Cesare Pautasso and
{\'{E}}ric Tanter},
title = {Compositional Modeling for Data-Centric Business Applications},
booktitle = {Software Composition - 7th International Symposium, SC@ETAPS 2008,
Budapest, Hungary, March 29-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4954},
pages = {190--205},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78789-1\_15},
doi = {10.1007/978-3-540-78789-1\_15},
timestamp = {Thu, 25 Jun 2020 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/soco/JacksonS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/VanoverbergheBHST08,
author = {Dries Vanoverberghe and
Nikolaj S. Bj{\o}rner and
Jonathan de Halleux and
Wolfram Schulte and
Nikolai Tillmann},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Using Dynamic Symbolic Execution to Improve Deductive Verification},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {9--25},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_4},
doi = {10.1007/978-3-540-85114-1\_4},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/VanoverbergheBHST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeinoS07,
author = {K. Rustan M. Leino and
Wolfram Schulte},
editor = {Rocco De Nicola},
title = {Using History Invariants to Verify Observers},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {80--94},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_7},
doi = {10.1007/978-3-540-71316-6\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/LeinoS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VeanesCS07,
author = {Margus Veanes and
Colin Campbell and
Wolfram Schulte},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Composition of Model Programs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2007, 27th {IFIP} {WG} 6.1 International Conference, Tallinn, Estonia,
June 27-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4574},
pages = {128--142},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_9},
doi = {10.1007/978-3-540-73196-2\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/VeanesCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Schulte07,
author = {Wolfram Schulte},
title = {Pex - An Intelligent Assistant for Rigorous Developer Testing},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {161},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.35},
doi = {10.1109/ICECCS.2007.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Schulte07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Schulte07a,
author = {Wolfram Schulte},
title = {Experiments in Verifying Low Level Concurrent {C} Code},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {299},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.22},
doi = {10.1109/ICECCS.2007.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Schulte07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/TillmannHS07,
author = {Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
editor = {Paulo Borba and
Ana Cavalcanti and
Augusto Sampaio and
Jim Woodcock},
title = {Parameterized Unit Testing with Pex: Tutorial},
booktitle = {Testing Techniques in Software Engineering, Second Pernambuco Summer
School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
3-7, 2007, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {6153},
pages = {141--202},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-14335-9\_5},
doi = {10.1007/978-3-642-14335-9\_5},
timestamp = {Wed, 12 Jun 2024 21:04:53 +0200},
biburl = {https://dblp.org/rec/conf/psse/TillmannHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/TillmannS06,
author = {Nikolai Tillmann and
Wolfram Schulte},
title = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
journal = {{IEEE} Softw.},
volume = {23},
number = {4},
pages = {38--47},
year = {2006},
url = {https://doi.org/10.1109/MS.2006.117},
doi = {10.1109/MS.2006.117},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/TillmannS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etrics/BarnettNSS06,
author = {Michael Barnett and
David A. Naumann and
Wolfram Schulte and
Qi Sun},
editor = {G{\"{u}}nter M{\"{u}}ller},
title = {Allowing State Changes in Specifications},
booktitle = {Emerging Trends in Information and Communication Security, International
Conference, {ETRICS} 2006, Freiburg, Germany, June 6-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3995},
pages = {321--336},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11766155\_23},
doi = {10.1007/11766155\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etrics/BarnettNSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JacobsSPS06,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens and
Wolfram Schulte},
editor = {Zhiming Liu and
Jifeng He},
title = {A Statically Verifiable Programming Model for Concurrent Object-Oriented
Programs},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {420--439},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_23},
doi = {10.1007/11901433\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/JacobsSPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TillmannCS06,
author = {Nikolai Tillmann and
Feng Chen and
Wolfram Schulte},
editor = {Zhiming Liu and
Jifeng He},
title = {Discovering Likely Method Specifications},
booktitle = {Formal Methods and Software Engineering, 8th International Conference
on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
1-3, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4260},
pages = {717--736},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901433\_39},
doi = {10.1007/11901433\_39},
timestamp = {Sun, 30 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/TillmannCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TillmannS06,
author = {Nikolai Tillmann and
Wolfram Schulte},
title = {Mock-object generation with behavior},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {365--368},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.51},
doi = {10.1109/ASE.2006.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TillmannS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LammelS06,
author = {Ralf L{\"{a}}mmel and
Wolfram Schulte},
editor = {M. {\"{U}}mit Uyar and
Ali Y. Duale and
Mariusz A. Fecko},
title = {Controllable Combinatorial Coverage in Grammar-Based Testing},
booktitle = {Testing of Communicating Systems, 18th {IFIP} {TC6/WG6.1} International
Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3964},
pages = {19--38},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754008\_2},
doi = {10.1007/11754008\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/LammelS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0002PS06,
author = {Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
title = {{VC} generation for functional behavior and non-interference of iterators},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {67--70},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181209},
doi = {10.1145/1181195.1181209},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0002PS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqua/Schulte06,
author = {Wolfram Schulte},
editor = {Johannes Mayer and
Neelam Gupta and
Yves Ledru},
title = {Challenge problems in software testing},
booktitle = {Third International Workshop on Software Quality Assurance, {SOQUA}
2006, Portland, Oregon, USA, November 6, 2006},
pages = {1},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1188895.1188897},
doi = {10.1145/1188895.1188897},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/soqua/Schulte06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JacobsSPS07,
author = {Bart Jacobs and
Jan Smans and
Frank Piessens and
Wolfram Schulte},
editor = {Ganesh Gopalakrishnan and
John O'Leary},
title = {A Simple Sequential Reasoning Approach for Sound Modular Verification
of Mainstream Multithreaded Programs},
booktitle = {Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle,
WA, USA, August 21-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {9},
pages = {23--47},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.005},
doi = {10.1016/J.ENTCS.2007.04.005},
timestamp = {Fri, 27 Jan 2023 14:19:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JacobsSPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GurevichRS05,
author = {Yuri Gurevich and
Benjamin Rossman and
Wolfram Schulte},
title = {Semantic essence of AsmL},
journal = {Theor. Comput. Sci.},
volume = {343},
number = {3},
pages = {370--412},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.017},
doi = {10.1016/J.TCS.2005.06.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GurevichRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BiermanMS05,
author = {Gavin M. Bierman and
Erik Meijer and
Wolfram Schulte},
editor = {Andrew P. Black},
title = {The Essence of Data Access in C\emph{omega}},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {287--311},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_13},
doi = {10.1007/11531142\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BiermanMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CampbellGNSTV05,
author = {Colin Campbell and
Wolfgang Grieskamp and
Lev Nachmanson and
Wolfram Schulte and
Nikolai Tillmann and
Margus Veanes},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {542--547},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_38},
doi = {10.1007/11526841\_38},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/CampbellGNSTV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/GrieskampTCSV05,
author = {Wolfgang Grieskamp and
Nikolai Tillmann and
Colin Campbell and
Wolfram Schulte and
Margus Veanes},
title = {Action Machines - Towards a Framework for Model Composition, Exploration
and Conformance Testing Based on Symbolic Computation},
booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
19-20 September 2005, Melbourne, Australia},
pages = {72--82},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/QSIC.2005.10},
doi = {10.1109/QSIC.2005.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/GrieskampTCSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JacobsPLS05,
author = {Bart Jacobs and
Frank Piessens and
K. Rustan M. Leino and
Wolfram Schulte},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Safe Concurrency for Aggregate Objects with Invariants},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {137--147},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.39},
doi = {10.1109/SEFM.2005.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JacobsPLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannS05,
author = {Nikolai Tillmann and
Wolfram Schulte},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Parameterized unit tests with unit meister},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {241--244},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081745},
doi = {10.1145/1081706.1081745},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/TillmannS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannS05a,
author = {Nikolai Tillmann and
Wolfram Schulte},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Parameterized unit tests},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {253--262},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081749},
doi = {10.1145/1081706.1081749},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/TillmannS05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VeanesCST05,
author = {Margus Veanes and
Colin Campbell and
Wolfram Schulte and
Nikolai Tillmann},
editor = {Michel Wermelinger and
Harald C. Gall},
title = {Online testing with model programs},
booktitle = {Proceedings of the 10th European Software Engineering Conference held
jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
pages = {273--282},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1081706.1081751},
doi = {10.1145/1081706.1081751},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VeanesCST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/XieMSN05,
author = {Tao Xie and
Darko Marinov and
Wolfram Schulte and
David Notkin},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Symstra: {A} Framework for Generating Object-Oriented Unit Tests Using
Symbolic Execution},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {365--381},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_24},
doi = {10.1007/978-3-540-31980-1\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/XieMSN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/RosenzweigRS05,
author = {Dean Rosenzweig and
Davor Runje and
Wolfram Schulte},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {Model-Based Testing of Cryptographic Protocols},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {33--60},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_4},
doi = {10.1007/11580850\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/RosenzweigRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BarnettDFJLSV05,
author = {Michael Barnett and
Robert DeLine and
Manuel F{\"{a}}hndrich and
Bart Jacobs and
K. Rustan M. Leino and
Wolfram Schulte and
Herman Venter},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {The Spec{\#} Programming System: Challenges and Directions},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {144--152},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_16},
doi = {10.1007/978-3-540-69149-5\_16},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BarnettDFJLSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrieskampTS06,
author = {Wolfgang Grieskamp and
Nikolai Tillmann and
Wolfram Schulte},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {{XRT-} Exploring Runtime for .NET Architecture and Applications},
booktitle = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {3--26},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.002},
doi = {10.1016/J.ENTCS.2006.01.002},
timestamp = {Fri, 16 Dec 2022 10:50:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrieskampTS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BarnettDFLS04,
author = {Michael Barnett and
Robert DeLine and
Manuel F{\"{a}}hndrich and
K. Rustan M. Leino and
Wolfram Schulte},
title = {Verification of Object-Oriented Programs with Invariants},
journal = {J. Object Technol.},
volume = {3},
number = {6},
pages = {27--56},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.6.a2},
doi = {10.5381/JOT.2004.3.6.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BarnettDFLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/BarnettLS04,
author = {Mike Barnett and
K. Rustan M. Leino and
Wolfram Schulte},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {The Spec{\#} Programming System: An Overview},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {49--69},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_3},
doi = {10.1007/978-3-540-30569-9\_3},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cassis/BarnettLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NachmansonVSTG04,
author = {Lev Nachmanson and
Margus Veanes and
Wolfram Schulte and
Nikolai Tillmann and
Wolfgang Grieskamp},
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Optimal strategies for testing nondeterministic systems},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
pages = {55--64},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512.1007520},
doi = {10.1145/1007512.1007520},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/NachmansonVSTG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LeinoS04,
author = {K. Rustan M. Leino and
Wolfram Schulte},
title = {Exception Safety for C{\#}},
booktitle = {2nd International Conference on Software Engineering and Formal Methods
{(SEFM} 2004), 28-30 September 2004, Beijing, China},
pages = {218--227},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.14},
doi = {10.1109/SEFM.2004.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LeinoS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2004,
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b102837},
doi = {10.1007/B102837},
isbn = {3-540-23841-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BarnettS03,
author = {Michael Barnett and
Wolfram Schulte},
title = {Runtime verification of .NET contracts},
journal = {J. Syst. Softw.},
volume = {65},
number = {3},
pages = {199--208},
year = {2003},
url = {https://doi.org/10.1016/S0164-1212(02)00041-9},
doi = {10.1016/S0164-1212(02)00041-9},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BarnettS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GuttmannPSV03,
author = {Walter Guttmann and
Helmuth Partsch and
Wolfram Schulte and
Ton Vullinghs},
title = {Tool Support for the Interactive Derivation of Formally Correct Functional
Programs},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {2},
pages = {173},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-02-0173},
doi = {10.3217/JUCS-009-02-0173},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/GuttmannPSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettST03,
author = {Michael Barnett and
Wolfram Schulte and
Nikolai Tillmann},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Using AsmL for Runtime Verification},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {407},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_24},
doi = {10.1007/3-540-36498-6\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarnettST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Schulte03,
author = {Wolfram Schulte},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {Parallelism versus Nondeterminism - On the Semantics of Abstract State
Machines},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {425},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_35},
doi = {10.1007/3-540-36498-6\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Schulte03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BarnettGNSTV03,
author = {Michael Barnett and
Wolfgang Grieskamp and
Lev Nachmanson and
Wolfram Schulte and
Nikolai Tillmann and
Margus Veanes},
editor = {Alexandre Petrenko and
Andreas Ulrich},
title = {Towards a Tool Environment for Model-Based Testing with AsmL},
booktitle = {Formal Approaches to Software Testing, Third International Workshop
on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
Quebec, Canada, October 6th, 2003},
series = {Lecture Notes in Computer Science},
volume = {2931},
pages = {252--266},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24617-6\_18},
doi = {10.1007/978-3-540-24617-6\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/BarnettGNSTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GurevichRS03,
author = {Yuri Gurevich and
Benjamin Rossman and
Wolfram Schulte},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Semantic Essence of AsmL},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {240--259},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_11},
doi = {10.1007/978-3-540-30101-1\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/GurevichRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BarnettGSTV03,
author = {Michael Barnett and
Wolfgang Grieskamp and
Wolfram Schulte and
Nikolai Tillmann and
Margus Veanes},
title = {Validating Use-Cases with the AsmL Test Tool},
booktitle = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
November 2003, Dallas, TX, {USA}},
pages = {238--246},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/QSIC.2003.1319107},
doi = {10.1109/QSIC.2003.1319107},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qsic/BarnettGSTV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrieskampGSV02,
author = {Wolfgang Grieskamp and
Yuri Gurevich and
Wolfram Schulte and
Margus Veanes},
editor = {Phyllis G. Frankl},
title = {Generating finite state machines from abstract state machines},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {112--122},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566190},
doi = {10.1145/566172.566190},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GrieskampGSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/BarnettS01,
author = {Michael Barnett and
Wolfram Schulte},
title = {The ABCs of specification: asml, behavior, and components},
journal = {Informatica (Slovenia)},
volume = {25},
number = {4},
year = {2001},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/BarnettS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/GrieskampLST01,
author = {Wolfgang Grieskamp and
Markus Lepper and
Wolfram Schulte and
Nikolai Tillmann},
title = {Testable Use Cases in the Abstract State Machine Language},
booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
December 2001, Hong Kong, China, Proceedings},
pages = {167--172},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/APAQS.2001.990016},
doi = {10.1109/APAQS.2001.990016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apaqs/GrieskampLST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/BorgerS00,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
title = {Initialization problems for Java},
journal = {Softw. Concepts Tools},
volume = {19},
number = {4},
pages = {175--178},
year = {2000},
url = {https://doi.org/10.1007/s003789900003},
doi = {10.1007/S003789900003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stp/BorgerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BorgerS00,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
title = {A Practical Method for Specification and Analysis of Exception Handling
- {A} Java/JVM Case Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {9},
pages = {872--887},
year = {2000},
url = {https://doi.org/10.1109/32.877847},
doi = {10.1109/32.877847},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BorgerS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichSW00,
author = {Yuri Gurevich and
Wolfram Schulte and
Charles Wallace},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Investigating Java Concurrency Using Abstract State Machines},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {151--176},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_10},
doi = {10.1007/3-540-44518-8\_10},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurevichSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettBGSV00,
author = {Michael Barnett and
Egon B{\"{o}}rger and
Yuri Gurevich and
Wolfram Schulte and
Margus Veanes},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {Using Abstract State Machines at Microsoft: {A} Case Study},
booktitle = {Abstract State Machines, Theory and Applications, International Workshop,
{ASM} 2000, Monte Verit{\`{a}}, Switzerland, March 19-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1912},
pages = {367--379},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_21},
doi = {10.1007/3-540-44518-8\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BarnettBGSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Schulte00,
author = {Wolfram Schulte},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Translating Theory into Practice - Abstract State Machines within
Microsoft},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {71},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_5},
doi = {10.1007/3-540-44622-2\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Schulte00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Schulte00,
author = {Wolfram Schulte},
editor = {Wolfgang Grieskamp and
Thomas Santen and
Bill Stoddart},
title = {Why Doesn't Anyone Use Formal Methods?},
booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1945},
pages = {297--298},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40911-4\_17},
doi = {10.1007/3-540-40911-4\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/Schulte00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/BorgerS99,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
editor = {Jim Alves{-}Foss},
title = {A Programmer Friendly Modular Definition of the Semantics of Java},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {353--404},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_10},
doi = {10.1007/3-540-48737-9\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/BorgerS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BorgerS98,
author = {Egon B{\"{o}}rger and
Wolfram Schulte},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Defining the Java Virtual Machine as Platform for Provably Correct
Java Compilation},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {17--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055755},
doi = {10.1007/BFB0055755},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BorgerS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/AchatzS97,
author = {Klaus Achatz and
Wolfram Schulte},
title = {Formale objektorientierte Softwareentwicklung mit Fox},
journal = {Inform. Forsch. Entwickl.},
volume = {12},
number = {4},
pages = {174--185},
year = {1997},
url = {https://doi.org/10.1007/s004500050086},
doi = {10.1007/S004500050086},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/AchatzS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchulteA97,
author = {Wolfram Schulte and
Klaus Achatz},
editor = {Matthias Jarke and
Klaus Pasedach and
Klaus Pohl},
title = {Functional Object-Oriented Programming with Object-Gofer},
booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September
1997},
series = {Informatik Aktuell},
pages = {552--561},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-642-60831-5\_75},
doi = {10.1007/978-3-642-60831-5\_75},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/SchulteA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AchatzS97,
author = {Klaus Achatz and
Wolfram Schulte},
editor = {Jonathan P. Bowen and
Michael G. Hinchey and
David Till},
title = {A Formal {OO} Method Inspired by Fusion and Object-Z},
booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1212},
pages = {92--111},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027286},
doi = {10.1007/BFB0027286},
timestamp = {Thu, 14 Oct 2021 10:43:56 +0200},
biburl = {https://dblp.org/rec/conf/zum/AchatzS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AchatzS96,
author = {Klaus Achatz and
Wolfram Schulte},
title = {Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists},
journal = {Sci. Comput. Program.},
volume = {26},
number = {1-3},
pages = {59--78},
year = {1996},
url = {https://doi.org/10.1016/0167-6423(95)00022-4},
doi = {10.1016/0167-6423(95)00022-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AchatzS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/SchulteSV96,
author = {Wolfram Schulte and
Thilo Schwinn and
Ton Vullinghs},
editor = {Martin Wirsing and
Maurice Nivat},
title = {TkGofer: {A} Functional {GUI} Library},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {621--624},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014357},
doi = {10.1007/BFB0014357},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/SchulteSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/VullinghsSS96,
author = {Ton Vullinghs and
Wolfram Schulte and
Thilo Schwinn},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {The Design of a Functional {GUI} Library Using Constructor Classes},
booktitle = {Perspectives of System Informatics, Second International Andrei Ershov
Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1181},
pages = {398--408},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62064-8\_33},
doi = {10.1007/3-540-62064-8\_33},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/VullinghsSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AchatzS95,
author = {Klaus Achatz and
Wolfram Schulte},
editor = {Bernhard M{\"{o}}ller},
title = {Architecture Independent Massive Parallelization of Divide-and-Conquer
Algorithms},
booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
July 17-21, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {947},
pages = {97--127},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60117-1\_7},
doi = {10.1007/3-540-60117-1\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AchatzS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/VullinghsTS95,
author = {Ton Vullinghs and
Daniel Tuinman and
Wolfram Schulte},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {Lightweight GUIs for Functional Programming},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {341--356},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026829},
doi = {10.1007/BFB0026829},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/VullinghsTS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seuh/Schulte95,
author = {Wolfram Schulte},
editor = {Andreas Spillner and
Ulrich Breymann},
title = {Erfahrungen bei der Gestaltung eines Software-Grundpraktikums},
booktitle = {Software Engineering im Unterricht der Hochschulen {SEUH} '95, Workshop
des German Chapter of the {ACM} und der Gesellschaft f{\"{u}}r
Informatik {(GI)} am 23. und 24. Februar 1995 in Bremen},
series = {Berichte des German Chapter of the {ACM}},
volume = {44},
pages = {100--108},
publisher = {Teubner},
year = {1995},
url = {https://doi.org/10.1007/978-3-322-86780-3\_10},
doi = {10.1007/978-3-322-86780-3\_10},
timestamp = {Wed, 17 Jul 2019 17:20:52 +0200},
biburl = {https://dblp.org/rec/conf/seuh/Schulte95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Schulte94,
author = {Wolfram Schulte},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Deriving Residual Reference Count Garbage Collectors},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {102--116},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_9},
doi = {10.1007/3-540-58402-1\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Schulte94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schulte92,
author = {Wolfram Schulte},
title = {Effiziente und korrekte {\"{U}}bersetzung strikter und applikativer
Programmiersprachen},
school = {Technical University of Berlin, Germany},
year = {1992},
url = {https://d-nb.info/930964187},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schulte92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phoenix/SchulteG91,
author = {Wolfram Schulte and
Wolfgang Grieskamp},
editor = {John Darlington and
Roland Dietrich},
title = {Generating Efficient Portable Code for a Strict Applicative Language},
booktitle = {Declarative Programming, Sasbachwalden 1991, {PHOENIX} Seminar and
Workshop on Declarative Programming, Sasbachwalden, Black Forest,
Germany, 18-22 November 1991},
series = {Workshops in Computing},
pages = {239--252},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3794-8\_16},
doi = {10.1007/978-1-4471-3794-8\_16},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/phoenix/SchulteG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 21:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
