BibTeX records: Andreas Wolpers

download as .bib file

@article{DBLP:journals/sttt/AutexierHLMRSSVW00,
  author    = {Serge Autexier and
               Dieter Hutter and
               Bruno Langenstein and
               Heiko Mantel and
               Georg Rock and
               Axel Schairer and
               Werner Stephan and
               Roland Vogt and
               Andreas Wolpers},
  title     = {{VSE:} formal methods meet industrial needs},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {3},
  number    = {1},
  pages     = {66--77},
  year      = {2000},
  url       = {https://doi.org/10.1007/s100099900022},
  doi       = {10.1007/s100099900022},
  timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/AutexierHLMRSSVW00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RockSW99,
  author    = {Georg Rock and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Katharina Spies and
               Bernhard Sch{\"{a}}tz},
  title     = {Modeling Dynamic Processes in {TLA}},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
               GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
  pages     = {185--192},
  publisher = {Herbert Utz Verlag},
  year      = {1999},
  timestamp = {Fri, 21 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fbt/RockSW99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RockSW98,
  author    = {Georg Rock and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Hartmut K{\"{o}}nig and
               Peter Langend{\"{o}}rfer},
  title     = {Assumption-Commitment Specifications and Safety-Critical Systems},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
               GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages     = {125--135},
  publisher = {Verlag Shaker},
  year      = {1998},
  timestamp = {Fri, 21 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fbt/RockSW98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HutterMRSWBRSS98,
  author    = {Dieter Hutter and
               Heiko Mantel and
               Georg Rock and
               Werner Stephan and
               Andreas Wolpers and
               Michael Balser and
               Wolfgang Reif and
               Gerhard Schellhorn and
               Kurt Stenzel},
  editor    = {Dieter Hutter and
               Werner Stephan and
               Paolo Traverso and
               Markus Ullmann},
  title     = {{VSE:} Controlling the Complexity in Formal Software Developments},
  booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
               Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1641},
  pages     = {351--358},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-48257-1\_26},
  doi       = {10.1007/3-540-48257-1\_26},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/HutterMRSWBRSS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tssdv/Rock0W98,
  author    = {Georg Rock and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Rudolf Berghammer and
               Yassine Lakhnech},
  title     = {Modular reasoning about structured {TLA} specifications},
  booktitle = {Proceedings of the International Workshop Tool Support for System
               Specification, Development and Verification, Malente, Germany, June
               1-4, 1998},
  series    = {Advances in computing science},
  pages     = {217--229},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/978-3-7091-6355-9\_16},
  doi       = {10.1007/978-3-7091-6355-9\_16},
  timestamp = {Mon, 04 May 2020 10:40:23 +0200},
  biburl    = {https://dblp.org/rec/conf/tssdv/Rock0W98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RockSW97,
  author    = {Georg Rock and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Adam Wolisz and
               Ina Schieferdecker and
               Axel Rennoch},
  title     = {Tool Support for the Compositional Development of Distributed Systems},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
               Berlin, 19.-20. Juni 1997},
  series    = {GMD-Studien},
  volume    = {315},
  pages     = {89--98},
  publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
  year      = {1997},
  timestamp = {Fri, 21 Oct 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fbt/RockSW97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HutterLSSSW96,
  author    = {Dieter Hutter and
               Bruno Langenstein and
               Claus Sengler and
               J{\"{o}}rg H. Siekmann and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Marie{-}Claude Gaudel and
               Jim Woodcock},
  title     = {Deduction in the Verification Support Environment {(VSE)}},
  booktitle = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
               International Symposium of Formal Methods Europe, Co-Sponsored by
               {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1051},
  pages     = {268--286},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-60973-3\_92},
  doi       = {10.1007/3-540-60973-3\_92},
  timestamp = {Sun, 25 Oct 2020 23:09:16 +0100},
  biburl    = {https://dblp.org/rec/conf/fm/HutterLSSSW96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/StephanW93,
  author    = {Werner Stephan and
               Andreas Wolpers},
  editor    = {Andrzej M. Borzyszkowski and
               Stefan Sokolowski},
  title     = {A Calculus for Higher Order Procedures with Global Variables},
  booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
               Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {711},
  pages     = {714--723},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57182-5\_62},
  doi       = {10.1007/3-540-57182-5\_62},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/mfcs/StephanW93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DrexlerRSSSW93,
  author    = {Rainer Drexler and
               Wolfgang Reif and
               Gerhard Schellhorn and
               Kurt Stenzel and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Patrice Enjalbert and
               Alain Finkel and
               Klaus W. Wagner},
  title     = {The {KIV} System: {A} Tool for Formal Program Development},
  booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
               Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {665},
  pages     = {704--705},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56503-5\_69},
  doi       = {10.1007/3-540-56503-5\_69},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/stacs/DrexlerRSSSW93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vis/UllmannHLKFBRSWCHSC93,
  author    = {Markus Ullmann and
               H. Hauff and
               D. Loevenich and
               P. Kejwal and
               R. F{\"{o}}rster and
               P. Baur and
               Wolfgang Reif and
               Werner Stephan and
               Andreas Wolpers and
               J{\"{u}}rgen Cleve and
               Dieter Hutter and
               Claus Sengler and
               E. Canver},
  editor    = {Gerhard Weck and
               Patrick Horster},
  title     = {{VSE} Verification Support Environment: Ein Werkzeug zur Entwicklung
               vertrauensw{\"{u}}rdiger und zuverl{\"{a}}ssiger Systeme
               in Anlehnung an g{\"{u}}ltige Sicherheitskriterien},
  booktitle = {Verl{\"{a}}{\ss}liche Informationssysteme, Proceedings der GI-Fachtagung
               VIS'93, 11.-13.05.1993, M{\"{u}}nchen, Germany},
  series    = {DuD-Fachbeitr{\"{a}}ge},
  volume    = {16},
  pages     = {175--190},
  publisher = {Vieweg},
  year      = {1993},
  timestamp = {Tue, 15 Nov 2016 13:03:51 +0100},
  biburl    = {https://dblp.org/rec/conf/vis/UllmannHLKFBRSWCHSC93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics