Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Reinhard Gotzhein
@inproceedings{DBLP:conf/iwcmc/KohlstruckG22,
author = {Christopher Kohlstruck and
Reinhard Gotzhein},
title = {dRmin - Routing - {A} Decentralized Algorithm for Reliability-constrained
Routing in Wireless Ad-hoc Networks},
booktitle = {2022 International Wireless Communications and Mobile Computing, {IWCMC}
2022, Dubrovnik, Croatia, May 30 - June 3, 2022},
pages = {1386--1393},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IWCMC55113.2022.9825220},
doi = {10.1109/IWCMC55113.2022.9825220},
timestamp = {Mon, 28 Aug 2023 21:17:32 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/KohlstruckG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/JuniorGH21,
author = {Paulo Fernando Aragao Alves Junior and
Reinhard Gotzhein and
Lucas Sonntag Hagen},
title = {Volatility-Aware Channel Sensing with Commodity 802.11 Hardware},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2021, Madrid,
Spain, December 7-11, 2021},
pages = {1--7},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/GLOBECOM46510.2021.9685841},
doi = {10.1109/GLOBECOM46510.2021.9685841},
timestamp = {Mon, 07 Feb 2022 09:24:07 +0100},
biburl = {https://dblp.org/rec/conf/globecom/JuniorGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/KohlstruckG21,
author = {Christopher Kohlstruck and
Reinhard Gotzhein},
title = {cTEx - {A} Configurable Topology Explorer for Wireless Ad-hoc Networks},
booktitle = {30th International Conference on Computer Communications and Networks,
{ICCCN} 2021, Athens, Greece, July 19-22, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCCN52240.2021.9522276},
doi = {10.1109/ICCCN52240.2021.9522276},
timestamp = {Wed, 22 Sep 2021 16:08:30 +0200},
biburl = {https://dblp.org/rec/conf/icccn/KohlstruckG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Gotzhein21,
author = {Reinhard Gotzhein},
title = {On the Conception of Executable Design Languages for Distributed Real-time
Systems},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems Companion, {MODELS} 2021 Companion, Fukuoka, Japan, October
10-15, 2021},
pages = {732--740},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS-C53483.2021.00119},
doi = {10.1109/MODELS-C53483.2021.00119},
timestamp = {Wed, 23 Feb 2022 12:16:54 +0100},
biburl = {https://dblp.org/rec/conf/models/Gotzhein21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/MathewsG21,
author = {Kiran Mathews and
Reinhard Gotzhein},
title = {{OB-EWMA:} {A} Link Metric for Reliability-constrained Routing in
Wireless Networks},
booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2021,
Nanjing, China, March 29 - April 1, 2021},
pages = {1--7},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/WCNC49053.2021.9417117},
doi = {10.1109/WCNC49053.2021.9417117},
timestamp = {Thu, 06 May 2021 17:21:01 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/MathewsG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ccn/Gotzhein20,
author = {Reinhard Gotzhein},
title = {Real-time Communication Protocols for Multi-hop Ad-hoc Networks -
Wireless Networking in Production and Control Systems},
series = {Computer Communications and Networks},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-33319-5},
doi = {10.1007/978-3-030-33319-5},
isbn = {978-3-030-33318-8},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/ccn/Gotzhein20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/AragaoG20,
author = {Paulo Aragao and
Reinhard Gotzhein},
editor = {Leonard Barolli and
Flora Amato and
Francesco Moscato and
Tomoya Enokido and
Makoto Takizawa},
title = {Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing
Schedules},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 34th International Conference on Advanced Information Networking
and Applications, AINA-2020, Caserta, Italy, 15-17 April},
series = {Advances in Intelligent Systems and Computing},
volume = {1151},
pages = {804--816},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44041-1\_71},
doi = {10.1007/978-3-030-44041-1\_71},
timestamp = {Thu, 04 Apr 2024 17:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aina/AragaoG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipccc/KramerMG19,
author = {Christopher Kramer and
Kiran Mathews and
Reinhard Gotzhein},
title = {Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks
using Time Token Bucket},
booktitle = {38th {IEEE} International Performance Computing and Communications
Conference, {IPCCC} 2019, London, United Kingdom, October 29-31, 2019},
pages = {1--9},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IPCCC47392.2019.8958764},
doi = {10.1109/IPCCC47392.2019.8958764},
timestamp = {Wed, 05 Feb 2020 12:51:53 +0100},
biburl = {https://dblp.org/rec/conf/ipccc/KramerMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/KohlstruckMG19,
author = {Christopher Kohlstruck and
Kiran Mathews and
Reinhard Gotzhein},
editor = {Karl Andersson and
Hwee{-}Pink Tan and
Sharief Oteafy},
title = {rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc
Networks with Specified Statistical Minimum Reliabilities},
booktitle = {44th {IEEE} Conference on Local Computer Networks, {LCN} 2019, Osnabrueck,
Germany, October 14-17, 2019},
pages = {430--437},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LCN44214.2019.8990685},
doi = {10.1109/LCN44214.2019.8990685},
timestamp = {Thu, 20 Feb 2020 16:19:44 +0100},
biburl = {https://dblp.org/rec/conf/lcn/KohlstruckMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/JuniorEG18,
author = {Paulo Fernando Aragao Alves Junior and
Markus Engel and
Reinhard Gotzhein},
editor = {Leonard Barolli and
Makoto Takizawa and
Tomoya Enokido and
Marek R. Ogiela and
Lidia Ogiela and
Nadeem Javaid},
title = {A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop
Cognitive Radio Networks with Channel Hopping},
booktitle = {32nd {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/AINA.2018.00018},
doi = {10.1109/AINA.2018.00018},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/JuniorEG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/EngelG18,
author = {Markus Engel and
Reinhard Gotzhein},
editor = {Domenico Giustiniano and
Dimitrios Koutsonikolas and
Albert Banchs and
Enzo Mingozzi and
Kaushik Roy Chowdhury},
title = {Dynamic computation and adjustment of channel hopping sequences for
cognitive radio networks based on quality metrics},
booktitle = {Proceedings of the 2018 International Conference on Embedded Wireless
Systems and Networks, {EWSN} 2018. Madrid, Spain, February 14-16,
2018},
pages = {79--89},
publisher = {Junction Publishing, Canada/ {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3234858},
timestamp = {Wed, 11 Jul 2018 09:13:57 +0200},
biburl = {https://dblp.org/rec/conf/ewsn/EngelG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/KohlstruckEG18,
author = {Christopher Kohlstruck and
Markus Engel and
Reinhard Gotzhein},
title = {The Selective Clustering Energy Detector for Cognitive Radio Networks
- Conceptual Design and Experimental Assessment},
booktitle = {14th International Wireless Communications {\&} Mobile Computing
Conference, {IWCMC} 2018, Limassol, Cyprus, June 25-29, 2018},
pages = {1036--1042},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IWCMC.2018.8450482},
doi = {10.1109/IWCMC.2018.8450482},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/KohlstruckEG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/SefatiGKSW18,
author = {Hamed Sefati and
Reinhard Gotzhein and
Christopher Kramer and
Stephan Schloesser and
Martin Weiss},
title = {Dynamic overlay line topology establishment and repair in wireless
networks},
booktitle = {2018 {IEEE} Wireless Communications and Networking Conference, {WCNC}
2018, Barcelona, Spain, April 15-18, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/WCNC.2018.8377079},
doi = {10.1109/WCNC.2018.8377079},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/SefatiGKSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sam/2018,
editor = {Ferhat Khendek and
Reinhard Gotzhein},
title = {System Analysis and Modeling. Languages, Methods, and Tools for Systems
Engineering - 10th International Conference, {SAM} 2018, Copenhagen,
Denmark, October 15-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11150},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01042-3},
doi = {10.1007/978-3-030-01042-3},
isbn = {978-3-030-01041-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/EngelKBCG17,
author = {Markus Engel and
Christopher Kramer and
Tobias Braun and
Dennis Christmann and
Reinhard Gotzhein},
editor = {Mohammad S. Obaidat and
Enrique Cabello},
title = {BiPS - {A} Real-Time-Capable Protocol Framework for Wireless Networked
Control Systems and Its Application},
booktitle = {E-Business and Telecommunications - 14th International Joint Conference,
{ICETE} 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper},
series = {Communications in Computer and Information Science},
volume = {990},
pages = {313--336},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-11039-0\_15},
doi = {10.1007/978-3-030-11039-0\_15},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icete/EngelKBCG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/MathewsKG17,
author = {Kiran Mathews and
Christopher Kramer and
Reinhard Gotzhein},
title = {Token bucket based traffic shaping and monitoring for WLAN-based control
systems},
booktitle = {28th {IEEE} Annual International Symposium on Personal, Indoor, and
Mobile Radio Communications, {PIMRC} 2017, Montreal, QC, Canada, October
8-13, 2017},
pages = {1--7},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/PIMRC.2017.8292201},
doi = {10.1109/PIMRC.2017.8292201},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/MathewsKG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/peccs/ChristmannBEG16,
author = {Dennis Christmann and
Tobias Braun and
Markus Engel and
Reinhard Gotzhein},
editor = {Andreas Ahrens and
C{\'{e}}sar Benavente{-}Peces},
title = {BiPS - {A} Real-time-capable Protocol Framework for Wireless Sensor
Networks},
booktitle = {Proceedings of the 6th International Joint Conference on Pervasive
and Embedded Computing and Communication Systems {(PECCS} 2016), Lisbon,
Portugal, July 25-27, 2016},
pages = {17--27},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005938300170027},
doi = {10.5220/0005938300170027},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/peccs/ChristmannBEG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wd/KramerCG16,
author = {Christopher Kramer and
Dennis Christmann and
Reinhard Gotzhein},
title = {A clustering algorithm for distributed service registries in heterogeneous
wireless networks},
booktitle = {2016 Wireless Days, {WD} 2016, Toulouse, France, March 23-25, 2016},
pages = {1--7},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WD.2016.7461485},
doi = {10.1109/WD.2016.7461485},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/wd/KramerCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DucCGSW15,
author = {Luu Hoang Duc and
Dennis Christmann and
Reinhard Gotzhein and
Stefan Siegmund and
Fabian R. Wirth},
title = {The stability of Try-Once-Discard for stochastic communication channels:
Theory and validation},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {4170--4175},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7402869},
doi = {10.1109/CDC.2015.7402869},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/DucCGSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erpf/ChristmannSGROB15,
author = {Dennis Christmann and
Andreas Schmidt and
Christian Giehl and
Max Reichardt and
Moritz Ohmer and
Markus Berg and
Karsten Berns and
Reinhard Gotzhein and
Thorsten Herfet},
editor = {Michael Felderer and
Felix Piazolo and
Wolfgang Ortner and
Lars Brehm and
Hans{-}Joachim Hof},
title = {Vertical Integration and Adaptive Services in Networked Production
Environments},
booktitle = {Innovations in Enterprise Information Systems Management and Engineering
- 4th International Conference, {ERP} Future 2015 - Research, Munich,
Germany, November 16-17, 2015, Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {245},
pages = {147--162},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-32799-0\_12},
doi = {10.1007/978-3-319-32799-0\_12},
timestamp = {Fri, 02 Nov 2018 09:42:46 +0100},
biburl = {https://dblp.org/rec/conf/erpf/ChristmannSGROB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/GebhardtGIK15,
author = {Johann Gebhardt and
Reinhard Gotzhein and
Anuschka Igel and
Christopher Kramer},
title = {QoS Multicast Routing in Partially Mobile Wireless {TDMA} Networks},
booktitle = {2015 {IEEE} Global Communications Conference, {GLOBECOM} 2015, San
Diego, CA, USA, December 6-10, 2015},
pages = {1--7},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/GLOCOM.2014.7417382},
doi = {10.1109/GLOCOM.2014.7417382},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/globecom/GebhardtGIK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/KramerCG15,
author = {Christopher Kramer and
Dennis Christmann and
Reinhard Gotzhein},
title = {Automatic topology discovery in TDMA-based ad hoc networks},
booktitle = {International Wireless Communications and Mobile Computing Conference,
{IWCMC} 2015, Dubrovnik, Croatia, August 24-28, 2015},
pages = {634--639},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IWCMC.2015.7289157},
doi = {10.1109/IWCMC.2015.7289157},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/KramerCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/ChristmannGSW14,
author = {Dennis Christmann and
Reinhard Gotzhein and
Stefan Siegmund and
Fabian Wirth},
title = {Realization of Try-Once-Discard in Wireless Multihop Networks},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {10},
number = {1},
pages = {17--26},
year = {2014},
url = {https://doi.org/10.1109/TII.2013.2281511},
doi = {10.1109/TII.2013.2281511},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/ChristmannGSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/EngelCG14,
author = {Markus Engel and
Dennis Christmann and
Reinhard Gotzhein},
editor = {Bhaskar Krishnamachari and
Amy L. Murphy and
Niki Trigoni},
title = {Implementation and Experimental Validation of Timing Constraints of
{BBS}},
booktitle = {Wireless Sensor Networks - 11th European Conference, {EWSN} 2014,
Oxford, UK, February 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8354},
pages = {84--99},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04651-8\_6},
doi = {10.1007/978-3-319-04651-8\_6},
timestamp = {Tue, 29 Dec 2020 18:38:07 +0100},
biburl = {https://dblp.org/rec/conf/ewsn/EngelCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BraunCGM14,
author = {Tobias Braun and
Dennis Christmann and
Reinhard Gotzhein and
Alexander Mater},
editor = {Daniel Amyot and
Pau Fonseca i Casas and
Gunter Mussbacher},
title = {{SDL} Implementations for Wireless Sensor Networks - Incorporation
of PragmaDev's {RTDS} into the Deterministic Protocol Stack BiPS},
booktitle = {System Analysis and Modeling: Models and Reusability - 8th International
Conference, {SAM} 2014, Valencia, Spain, September 29-30, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8769},
pages = {271--286},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11743-0\_19},
doi = {10.1007/978-3-319-11743-0\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/BraunCGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ChristmannGKW13,
author = {Dennis Christmann and
Reinhard Gotzhein and
Marc Kr{\"{a}}mer and
Martin Winkler},
title = {Flexible and energy-efficient duty cycling in wireless networks with
MacZ},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {2},
pages = {218--233},
year = {2013},
url = {https://doi.org/10.1002/cpe.2819},
doi = {10.1002/CPE.2819},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/ChristmannGKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KuhnFBG13,
author = {Thomas Kuhn and
Thomas Forster and
Tobias Braun and
Reinhard Gotzhein},
title = {{FERAL} - Framework for simulator coupling on requirements and architecture
level},
booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013},
pages = {11--22},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6670936/},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/KuhnFBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/ChristmannBG13,
author = {Dennis Christmann and
Tobias Braun and
Reinhard Gotzhein},
editor = {Ferhat Khendek and
Maria Toeroe and
Abdelouahed Gherbi and
Rick Reed},
title = {{SDL} Real-Time Tasks - Concept, Implementation, and Evaluation},
booktitle = {{SDL} 2013: Model-Driven Dependability Engineering - 16th International
{SDL} Forum, Montreal, Canada, June 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7916},
pages = {239--257},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38911-5\_14},
doi = {10.1007/978-3-642-38911-5\_14},
timestamp = {Sat, 05 Sep 2020 17:55:35 +0200},
biburl = {https://dblp.org/rec/conf/sdl/ChristmannBG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sam/2012,
editor = {{\O}ystein Haugen and
Rick Reed and
Reinhard Gotzhein},
title = {System Analysis and Modeling: Theory and Practice - 7th International
Workshop, {SAM} 2012, Innsbruck, Austria, October 1-2, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7744},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36757-1},
doi = {10.1007/978-3-642-36757-1},
isbn = {978-3-642-36756-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/ChristmannGR12,
author = {Dennis Christmann and
Reinhard Gotzhein and
Stephan Rohr},
title = {The Arbitrating Value Transfer Protocol {(AVTP)} - Deterministic Binary
Countdown in Wireless Multi-Hop Networks},
booktitle = {21st International Conference on Computer Communications and Networks,
{ICCCN} 2012, Munich, Germany, July 30 - August 2, 2012},
pages = {1--9},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICCCN.2012.6289227},
doi = {10.1109/ICCCN.2012.6289227},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icccn/ChristmannGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/ChristmannG12,
author = {Dennis Christmann and
Reinhard Gotzhein},
editor = {{\O}ystein Haugen and
Rick Reed and
Reinhard Gotzhein},
title = {Real-Time Tasks in {SDL}},
booktitle = {System Analysis and Modeling: Theory and Practice - 7th International
Workshop, {SAM} 2012, Innsbruck, Austria, October 1-2, 2012. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7744},
pages = {53--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36757-1\_4},
doi = {10.1007/978-3-642-36757-1\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/ChristmannG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/BraunCGI12,
author = {Tobias Braun and
Dennis Christmann and
Reinhard Gotzhein and
Anuschka Igel},
editor = {Elhadi M. Shakshuki and
Muhammad Younas},
title = {Model-driven Engineering of Networked Ambient Systems with {SDL-MDD}},
booktitle = {Proceedings of the 3rd International Conference on Ambient Systems,
Networks and Technologies {(ANT} 2012), the 9th International Conference
on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario,
Canada, August 27-29, 2012},
series = {Procedia Computer Science},
volume = {10},
pages = {490--498},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.06.063},
doi = {10.1016/J.PROCS.2012.06.063},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/BraunCGI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GotzheinK11,
author = {Reinhard Gotzhein and
Thomas Kuhn},
title = {Black Burst Synchronization {(BBS)} - {A} protocol for deterministic
tick and time synchronization in wireless networks},
journal = {Comput. Networks},
volume = {55},
number = {13},
pages = {3015--3031},
year = {2011},
url = {https://doi.org/10.1016/j.comnet.2011.05.014},
doi = {10.1016/J.COMNET.2011.05.014},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/GotzheinK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/BeckerBCG11,
author = {Philipp Becker and
Martin Birtel and
Dennis Christmann and
Reinhard Gotzhein},
editor = {Isabelle M. Demeure and
Thomas Robert and
Ahmed Serhrouchni},
title = {Black-Burst-Based Quality-of-Service Routing {(BBQR)} for Wireless
Ad-Hoc Networks},
booktitle = {11th Annual International Conference on New Technologies of Distributed
Systems, {NOTERE} 2011, Paris, France, 9-13 May 2011},
pages = {1--8},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/NOTERE.2011.5957973},
doi = {10.1109/NOTERE.2011.5957973},
timestamp = {Wed, 11 Dec 2019 16:29:18 +0100},
biburl = {https://dblp.org/rec/conf/notere/BeckerBCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/KramerBCG11,
author = {Marc Kr{\"{a}}mer and
Tobias Braun and
Dennis Christmann and
Reinhard Gotzhein},
editor = {Iulian Ober and
Ileana Ober},
title = {Real-Time Signaling in {SDL}},
booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International
{SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7083},
pages = {186--201},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25264-8\_15},
doi = {10.1007/978-3-642-25264-8\_15},
timestamp = {Sat, 30 Sep 2023 09:55:58 +0200},
biburl = {https://dblp.org/rec/conf/sdl/KramerBCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/ChristmannBG11,
author = {Dennis Christmann and
Philipp Becker and
Reinhard Gotzhein},
editor = {Iulian Ober and
Ileana Ober},
title = {Priority Scheduling in {SDL}},
booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International
{SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7083},
pages = {202--217},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25264-8\_16},
doi = {10.1007/978-3-642-25264-8\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/ChristmannBG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/ChristmannGKW10,
author = {Dennis Christmann and
Reinhard Gotzhein and
Marc Kr{\"{a}}mer and
Martin Winkler},
editor = {Khalil Drira and
Ahmed Hadj Kacem and
Mohamed Jmaiel},
title = {Flexible and energy-efficient duty cycling in wireless networks with
MacZ},
booktitle = {{NOTERE} 2010, Annual International Conference on New Technologies
of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings},
pages = {121--128},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/NOTERE.2010.5536765},
doi = {10.1109/NOTERE.2010.5536765},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/notere/ChristmannGKW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/BraunGW10,
author = {Tobias Braun and
Reinhard Gotzhein and
Matthias Wiebel},
editor = {Frank Alexander Kraemer and
Peter Herrmann},
title = {Integration of FlexRay into the SDL-Model-Driven Development Approach},
booktitle = {System Analysis and Modeling: About Models - 6th International Workshop,
{SAM} 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6598},
pages = {56--71},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21652-7\_4},
doi = {10.1007/978-3-642-21652-7\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/BraunGW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ChristmannGK09,
author = {Dennis Christmann and
Reinhard Gotzhein and
Thomas Kuhn},
title = {Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {17},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.17.219},
doi = {10.14279/TUJ.ECEASST.17.219},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ChristmannGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/ChamakenLKG09,
author = {Alain Chamaken and
Lothar Litz and
Marc Kr{\"{a}}mer and
Reinhard Gotzhein},
title = {Cross-layer design of wireless networked control systems with energy
limitations},
booktitle = {10th European Control Conference, {ECC} 2009, Budapest, Hungary, 23-26
August 2009},
pages = {2325--2330},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.23919/ECC.2009.7074752},
doi = {10.23919/ECC.2009.7074752},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/ChamakenLKG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/NisslerG09,
author = {Mattias Nissler and
Reinhard Gotzhein},
editor = {Nael B. Abu{-}Ghazaleh and
Luciano Bononi and
Brahim Bensaou and
Violet R. Syrotiuk},
title = {Performance evaluation of multi-path routing in reservation-based
wireless networks},
booktitle = {Proceedings of the 12th International Symposium on Modeling Analysis
and Simulation of Wireless and Mobile Systems, MSWiM 2009, Tenerife,
Canary Islands, Spain, October 26-19, 2009},
pages = {268--273},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1641804.1641849},
doi = {10.1145/1641804.1641849},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/NisslerG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GotzheinKLC09,
author = {Reinhard Gotzhein and
Marc Kr{\"{a}}mer and
Lothar Litz and
Alain Chamaken},
editor = {Rick Reed and
Attila Bilgic and
Reinhard Gotzhein},
title = {Energy-Aware System Design with {SDL}},
booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL}
Forum, Bochum, Germany, September 22-24, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5719},
pages = {19--33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04554-7\_2},
doi = {10.1007/978-3-642-04554-7\_2},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GotzheinKLC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BeckerCG09,
author = {Philipp Becker and
Dennis Christmann and
Reinhard Gotzhein},
editor = {Rick Reed and
Attila Bilgic and
Reinhard Gotzhein},
title = {Model-Driven Development of Time-Critical Protocols with {SDL-MDD}},
booktitle = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL}
Forum, Bochum, Germany, September 22-24, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5719},
pages = {34--52},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04554-7\_3},
doi = {10.1007/978-3-642-04554-7\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BeckerCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sdl/2009,
editor = {Rick Reed and
Attila Bilgic and
Reinhard Gotzhein},
title = {{SDL} 2009: Design for Motes and Mobiles, 14th International {SDL}
Forum, Bochum, Germany, September 22-24, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5719},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04554-7},
doi = {10.1007/978-3-642-04554-7},
isbn = {978-3-642-04553-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/BeckerGK08,
author = {Philipp Becker and
Reinhard Gotzhein and
Thomas Kuhn},
title = {Model-driven Performance Simulation of Self-organizing Systems with
PartsSim},
journal = {Prax. Inf.verarb. Kommun.},
volume = {31},
number = {1},
pages = {45--50},
year = {2008},
url = {https://doi.org/10.1515/piko.2008.009},
doi = {10.1515/PIKO.2008.009},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/BeckerGK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/KuhnG08,
author = {Thomas Kuhn and
Reinhard Gotzhein},
editor = {Ina Schieferdecker and
Alan Hartman},
title = {Model-Driven Platform-Specific Testing through Configurable Simulations},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {278--293},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_19},
doi = {10.1007/978-3-540-69100-6\_19},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecmdafa/KuhnG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WebelGN08,
author = {Christian Webel and
Reinhard Gotzhein and
Joachim Nicolay},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {{NQSL} - Formal Language and Tool Support for Network Quality-of-Service
Requirements},
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 = {218--233},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_14},
doi = {10.1007/978-3-540-68855-6\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/WebelGN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/GotzheinK08,
author = {Reinhard Gotzhein and
Thomas Kuhn},
title = {Decentralized Tick Synchronization for Multi-Hop Medium Slotting in
Wireless Ad Hoc Networks Using Black Bursts},
booktitle = {Proceedings of the Fifth Annual {IEEE} Communications Society Conference
on Sensor, Mesh and Ad Hoc Communications and Networks, {SECON} 2008,
June 16-20, 2008, Crowne Plaza, San Francisco International Airport,
California, {USA}},
pages = {422--431},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SAHCN.2008.58},
doi = {10.1109/SAHCN.2008.58},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secon/GotzheinK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GrammesG07,
author = {R{\"{u}}diger Grammes and
Reinhard Gotzhein},
editor = {Matthew B. Dwyer and
Ant{\'{o}}nia Lopes},
title = {{SDL} Profiles - Formal Semantics and Tool Support},
booktitle = {Fundamental Approaches to Software Engineering, 10th International
Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4422},
pages = {200--214},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71289-3\_17},
doi = {10.1007/978-3-540-71289-3\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/GrammesG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/WebelG07,
author = {Christian Webel and
Reinhard Gotzhein},
editor = {John Derrick and
J{\"{u}}ri Vain},
title = {Formalization of Network Quality-of-Service Requirements},
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 = {309--324},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73196-2\_20},
doi = {10.1007/978-3-540-73196-2\_20},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/WebelG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/his/BeckerGK07,
author = {Philipp Becker and
Reinhard Gotzhein and
Thomas Kuhn},
editor = {Andreas K{\"{o}}nig and
Mario K{\"{o}}ppen and
Nikola K. Kasabov and
Ajith Abraham},
title = {MacZ - {A} Quality-of-Service {MAC} Layer for Ad-hoc Networks},
booktitle = {7th International Conference on Hybrid Intelligent Systems, {HIS}
2007, Kaiserslautern, Germany, September 17-19, 2007},
pages = {277--282},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HIS.2007.28},
doi = {10.1109/HIS.2007.28},
timestamp = {Fri, 05 Jun 2020 15:16:05 +0200},
biburl = {https://dblp.org/rec/conf/his/BeckerGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GotzheinGK07,
author = {Reinhard Gotzhein and
R{\"{u}}diger Grammes and
Thomas Kuhn},
editor = {Emmanuel Gaudin and
Elie Najm and
Rick Reed},
title = {Specifying Input Port Bounds in {SDL}},
booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL}
Forum, Paris, France, September 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4745},
pages = {101--116},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74984-4\_7},
doi = {10.1007/978-3-540-74984-4\_7},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sdl/GotzheinGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/FliegeG07,
author = {Ingmar Fliege and
Reinhard Gotzhein},
editor = {Emmanuel Gaudin and
Elie Najm and
Rick Reed},
title = {Automated Generation of Micro Protocol Descriptions from {SDL} Design
Specifications},
booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL}
Forum, Paris, France, September 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4745},
pages = {150--165},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74984-4\_10},
doi = {10.1007/978-3-540-74984-4\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/FliegeG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KuhnGW06,
author = {Thomas Kuhn and
Reinhard Gotzhein and
Christian Webel},
editor = {Oscar Nierstrasz and
Jon Whittle and
David Harel and
Gianna Reggio},
title = {Model-Driven Development with {SDL} - Process, Tools, and Experiences},
booktitle = {Model Driven Engineering Languages and Systems, 9th International
Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4199},
pages = {83--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11880240\_7},
doi = {10.1007/11880240\_7},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/models/KuhnGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GotzheinK06,
author = {Reinhard Gotzhein and
Ferhat Khendek},
editor = {M. {\"{U}}mit Uyar and
Ali Y. Duale and
Mariusz A. Fecko},
title = {Compositional Testing of Communication Systems},
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 = {227--244},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754008\_15},
doi = {10.1007/11754008\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/GotzheinK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sam/2006,
editor = {Reinhard Gotzhein and
Rick Reed},
title = {System Analysis and Modeling: Language Profiles, 5th International
Workshop, {SAM} 2006, Kaiserslautern, Germany, May 31 - June 2, 2006,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4320},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11951148},
doi = {10.1007/11951148},
isbn = {3-540-68371-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/FliegeGGKW05,
author = {Ingmar Fliege and
Alexander Geraldy and
Reinhard Gotzhein and
Thomas Kuhn and
Christian Webel},
title = {Developing safety-critical real-time systems with {SDL} design patterns
and components},
journal = {Comput. Networks},
volume = {49},
number = {5},
pages = {689--706},
year = {2005},
url = {https://doi.org/10.1016/j.comnet.2005.05.003},
doi = {10.1016/J.COMNET.2005.05.003},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/FliegeGGKW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/KuhnGGR05,
author = {Thomas Kuhn and
Alexander Geraldy and
Reinhard Gotzhein and
Florian Rothl{\"{a}}nder},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {ns+SDL - The Network Simulator for {SDL} Systems},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {103--116},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_7},
doi = {10.1007/11506843\_7},
timestamp = {Thu, 27 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sdl/KuhnGGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kivs/2005,
editor = {Paul M{\"{u}}ller and
Reinhard Gotzhein and
Jens B. Schmitt},
title = {Kommunikation in Verteilten Systemen (KiVS), 14. ITG/GI-Fachtagung
Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28.
Februar - 3. M{\"{a}}rz 2005},
series = {Informatik Aktuell},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b138861},
doi = {10.1007/B138861},
isbn = {3-540-24473-5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kivs/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kivs/2005kw,
editor = {Paul M{\"{u}}ller and
Reinhard Gotzhein and
Jens B. Schmitt},
title = {Kommunikation in Verteilten Systemen (KiVS), Kurzbeitr{\"{a}}ge
und Workshop der 14. GI/ITG-Fachtagung Kommunikation in Verteilten
Systemen (KiVS 2005) Kaiserslautern, 28. Februar - 3. M{\"{a}}rz
2005},
series = {{LNI}},
volume = {{P-61}},
publisher = {{GI}},
year = {2005},
url = {https://dl.gi.de/handle/20.500.12116/28405},
isbn = {3-88579-390-3},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kivs/2005kw.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrammesG04,
author = {R{\"{u}}diger Grammes and
Reinhard Gotzhein},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Towards the Harmonisation of {UML} and {SDL}},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {61--78},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_5},
doi = {10.1007/978-3-540-30232-2\_5},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/GrammesG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/DorschEG04,
author = {J{\"{o}}rg Dorsch and
Anders Ek and
Reinhard Gotzhein},
editor = {Daniel Amyot and
Alan W. Williams},
title = {{SPT} - The {SDL} Pattern Tool},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {50--64},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_4},
doi = {10.1007/978-3-540-31810-1\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/DorschEG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/FliegeGGS04,
author = {Ingmar Fliege and
Alexander Geraldy and
Reinhard Gotzhein and
Philipp Schaible},
editor = {Daniel Amyot and
Alan W. Williams},
title = {A Flexible Micro Protocol Framework},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {224--236},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_15},
doi = {10.1007/978-3-540-31810-1\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/FliegeGGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GlasserGP03,
author = {Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
title = {The formal semantics of {SDL-2000:} Status and perspectives},
journal = {Comput. Networks},
volume = {42},
number = {3},
pages = {343--358},
year = {2003},
url = {https://doi.org/10.1016/S1389-1286(03)00247-0},
doi = {10.1016/S1389-1286(03)00247-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/GlasserGP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Gotzhein03,
author = {Reinhard Gotzhein},
title = {Consolidating and applying the SDL-pattern approach: a detailed case
study},
journal = {Inf. Softw. Technol.},
volume = {45},
number = {11},
pages = {727--741},
year = {2003},
url = {https://doi.org/10.1016/S0950-5849(03)00069-7},
doi = {10.1016/S0950-5849(03)00069-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Gotzhein03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Gotzhein03,
author = {Reinhard Gotzhein},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Vertical Reuse in the Development of Distributed Systems with FDTs},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {31--47},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_3},
doi = {10.1007/978-3-540-39979-7\_3},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/Gotzhein03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip6-8/GeraldyG03,
author = {Alexander Geraldy and
Reinhard Gotzhein},
editor = {Marco Conti and
Silvia Giordano and
Enrico Gregori and
Stephan Olariu},
title = {{\(\mathrm{\mu}\)}PROS - Micro Protocol Based Development of Mobile
Ad Hoc Networks},
booktitle = {Personal Wireless Communications, {IFIP-TC6} 8th International Conference,
{PWC} 2003, Venice, Italy, September 23-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2775},
pages = {188--191},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39867-7\_18},
doi = {10.1007/978-3-540-39867-7\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ifip6-8/GeraldyG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/GotzheinPST03,
author = {Reinhard Gotzhein and
Christian Peper and
Philipp Schaible and
Joachim Thees},
editor = {Klaus Irmscher and
Klaus{-}Peter F{\"{a}}hnrich},
title = {Durchg{\"{a}}ngige Entwicklung gro{\ss}er verteilter Systeme
- Die SILICON-Fallstudie},
booktitle = {Kommunikation in Verteilten Systemen (KiVS), 13. Fachtagung Kommunikation
in Verteilten Systemen. KiVS 2003, 25.-28. Februar 2003, Leipzig,
Eine Veranstaltung der Informationstechnischen Gesellschaft {(ITG/VDE)}
unter Beteiligung der Gesellschaft f{\"{u}}r Informatik {(GI)}
Ausgerichtet von der Universit{\"{a}}t Leipzig},
series = {Informatik Aktuell},
pages = {131--141},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-642-55569-5\_11},
doi = {10.1007/978-3-642-55569-5\_11},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/conf/kivs/GotzheinPST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GrammesGMSS03,
author = {R{\"{u}}diger Grammes and
Reinhard Gotzhein and
Christian Mahr and
Philipp Schaible and
Helmut Schleiffer},
editor = {Rick Reed and
Jeanne Reed},
title = {Industrial Application of the SDL-Pattern Approach in {UMTS} Call
Processing Development - Experience and Quantitative Assessment},
booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart,
Germany, July 1-4, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2708},
pages = {102--116},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45075-0\_6},
doi = {10.1007/3-540-45075-0\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GrammesGMSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/SchaibleG03,
author = {Philipp Schaible and
Reinhard Gotzhein},
editor = {Rick Reed and
Jeanne Reed},
title = {Development of Distributed Systems with {SDL} by Means of Formalized
APIs},
booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart,
Germany, July 1-4, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2708},
pages = {317--334},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45075-0\_19},
doi = {10.1007/3-540-45075-0\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/SchaibleG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/SchaibleG02,
author = {Philipp Schaible and
Reinhard Gotzhein},
title = {View-based animation of communication protocols in design and in operation},
journal = {Comput. Networks},
volume = {40},
number = {5},
pages = {621--638},
year = {2002},
url = {https://doi.org/10.1016/S1389-1286(02)00355-9},
doi = {10.1016/S1389-1286(02)00355-9},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/SchaibleG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelleAC/Gotzhein02,
author = {Reinhard Gotzhein},
title = {Musterbasierte Systementwicklung},
booktitle = {Modelle, Werkzeuge und Infrastrukturen zur Unterst{\"{u}}tzung
von Entwicklungsprozessen},
pages = {155--332},
year = {2002},
timestamp = {Mon, 06 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelleAC/Gotzhein02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelleAC/GotzheinS02,
author = {Reinhard Gotzhein and
Philipp Schaible},
title = {Entwicklung von Geb{\"{a}}udeautomationssystemen mit generischen
Methoden},
booktitle = {Modelle, Werkzeuge und Infrastrukturen zur Unterst{\"{u}}tzung
von Entwicklungsprozessen},
pages = {365--366},
year = {2002},
timestamp = {Mon, 06 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/modelleAC/GotzheinS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/RosslerGG02,
author = {Frank R{\"{o}}{\ss}ler and
Birgit Geppert and
Reinhard Gotzhein},
editor = {Edel Sherratt},
title = {CoSDL: An Experimental Language for Collaboration Specification},
booktitle = {Telecommunications and beyond: The Broader Applicability of {SDL}
and MSC, Third International Workshop, {SAM} 2002, Aberystwyth, UK,
June 24-26, 2002. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2599},
pages = {1--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36573-7\_1},
doi = {10.1007/3-540-36573-7\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/RosslerGG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/GotzheinKS02,
author = {Reinhard Gotzhein and
Ferhat Khendek and
Philipp Schaible},
editor = {Edel Sherratt},
title = {Micro Protocol Design: The {SNMP} Case Study},
booktitle = {Telecommunications and beyond: The Broader Applicability of {SDL}
and MSC, Third International Workshop, {SAM} 2002, Aberystwyth, UK,
June 24-26, 2002. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2599},
pages = {61--73},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36573-7\_5},
doi = {10.1007/3-540-36573-7\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/GotzheinKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/EschbachGGLP01,
author = {Robert Eschbach and
Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Martin von L{\"{o}}wis and
Andreas Prinz},
title = {Formal Definition of {SDL-2000} - Compiling and Running {SDL} Specifications
as {ASM} Models},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {11},
pages = {1024--1049},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-11-1024},
doi = {10.3217/JUCS-007-11-1024},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/EschbachGGLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/RosserG01,
author = {Frank R{\"{o}}{\ss}ler and
Birgit Geppert and
Reinhard Gotzhein},
editor = {Rick Reed and
Jeanne Reed},
title = {Collaboration-Based Design of {SDL} Systems},
booktitle = {{SDL} 2001: Meeting UML, 10th International {SDL} Forum Copenhagen,
Denmark, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2078},
pages = {72--89},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48213-X\_5},
doi = {10.1007/3-540-48213-X\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/RosserG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerG00,
author = {Egon B{\"{o}}rger and
Reinhard Gotzhein},
title = {Requirements Engineering - The Light Control Case Study},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {580--581},
year = {2000},
url = {http://www.jucs.org/jucs\_6\_7/requirements\_engineering\_the\_light},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BorgerG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BorgerG00a,
author = {Egon B{\"{o}}rger and
Reinhard Gotzhein},
title = {The Light Control Case Study: {A} Synopsis},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {7},
pages = {582--585},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-07-0582},
doi = {10.3217/JUCS-006-07-0582},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BorgerG00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/EschbachGGP00,
author = {Robert Eschbach and
Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
editor = {Yuri Gurevich and
Philipp W. Kutter and
Martin Odersky and
Lothar Thiele},
title = {On the Formal Semantics of {SDL-2000:} {A} Compilation Approach Based
on an Abstract {SDL} Machine},
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 = {242--265},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44518-8\_14},
doi = {10.1007/3-540-44518-8\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/EschbachGGP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchaibleG00,
author = {Philipp Schaible and
Reinhard Gotzhein},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Einige Aspekte der Entwicklung ma{\ss}geschneiderter Kommunikationsmiddleware},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {165--174},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 27 Mar 2003 09:47:24 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchaibleG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/PrinzEG00,
author = {Andreas Prinz and
Robert Eschbach and
Reinhard Gotzhein},
editor = {Edel Sherratt},
title = {A Executable Formal Semantics for {SDL-2000}},
booktitle = {{SAM} 2000, 2nd Workshop on {SDL} and MSC, Col de Porte, Grenoble,
France, June 26-28, 2000},
pages = {249--261},
publisher = {VERIMAG, IRISA, {SDL} Forum},
year = {2000},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sam/PrinzEG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/GotzheinS99,
author = {Reinhard Gotzhein and
Philipp Schaible},
title = {Pattern-based development of communication systems},
journal = {Ann. des T{\'{e}}l{\'{e}}communications},
volume = {54},
number = {11-12},
pages = {508--525},
year = {1999},
url = {https://doi.org/10.1007/BF03004067},
doi = {10.1007/BF03004067},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/GotzheinS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GeppertRG99,
author = {Birgit Geppert and
Frank R{\"{o}}{\ss}ler and
Reinhard Gotzhein},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
title = {Pattern Application vs. Inheritance in {SDL}},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
Third International Conference on Formal Methods for Open Object-Based
Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/GeppertRG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GlasserGP99,
author = {Uwe Gl{\"{a}}sser and
Reinhard Gotzhein and
Andreas Prinz},
editor = {Rachida Dssouli and
Gregor von Bochmann and
Yair Lahav},
title = {Towards a new formal {SDL} semantics - outline of an abstract state
machines},
booktitle = {{SDL} '99 The Next Millennium, 9th International {SDL} Forum, Montr{\'{e}}al,
Qu{\'{e}}bec, Canada, 21-25 June, 1999, Proceedings},
pages = {171--192},
publisher = {Elsevier},
year = {1999},
timestamp = {Sat, 07 Sep 2019 11:59:23 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GlasserGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/GotzheinB98,
author = {Reinhard Gotzhein and
Jan Bredereke},
title = {Trends in Formal Description Techniques},
journal = {Comput. Networks},
volume = {30},
number = {9-10},
pages = {863--864},
year = {1998},
url = {https://doi.org/10.1016/S0169-7552(97)00131-1},
doi = {10.1016/S0169-7552(97)00131-1},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/GotzheinB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/AvenhausGHLMNRRRSZ98,
author = {J{\"{u}}rgen Avenhaus and
Reinhard Gotzhein and
Theo H{\"{a}}rder and
Lothar Litz and
Klaus Madlener and
J{\"{u}}rgen Nehmer and
Michael M. Richter and
Norbert Ritter and
H. Dieter Rombach and
Bernd Sch{\"{u}}rmann and
Gerhard Zimmermann},
title = {Entwicklung gro{\ss}er Systeme mit generischen Methoden - Eine {\"{U}}bersicht
{\"{u}}ber den Sonderforschungsbereich 501},
journal = {Inform. Forsch. Entwickl.},
volume = {13},
number = {4},
pages = {227--234},
year = {1998},
url = {https://doi.org/10.1007/s004500050115},
doi = {10.1007/S004500050115},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/AvenhausGHLMNRRRSZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/TheesG98,
author = {Joachim Thees and
Reinhard Gotzhein},
editor = {Mark A. Ardis and
Joanne M. Atlee},
title = {The experimental Estelle Compiler: automatic generation of implementations
from formal specifications},
booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
March 4-5, 1998, Clearwater Beach, Florida, {USA}},
pages = {54--61},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/298595.298858},
doi = {10.1145/298595.298858},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmsp/TheesG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/TheesG98,
author = {Joachim Thees and
Reinhard Gotzhein},
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {Open Estelle - An {FDT} for Open Distributed Systems},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {XI)} and
Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
November, 1998, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {135},
pages = {19--36},
publisher = {Kluwer},
year = {1998},
timestamp = {Mon, 08 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/TheesG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/GotzheinKP98,
author = {Reinhard Gotzhein and
Martin Kronenburg and
Christian Peper},
editor = {Anders P. Ravn and
Hans Rischel},
title = {Reuse in Requirements Engineering: Discovery and Application of a
Real-Time Requirement Pattern},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {65--74},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055337},
doi = {10.1007/BFB0055337},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/GotzheinKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PeperGK97,
author = {Christian Peper and
Reinhard Gotzhein and
Martin Kronenburg},
title = {A Generic Approach to the Formal Specification of Requirements},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {252--262},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630432},
doi = {10.1109/ICFEM.1997.630432},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/PeperGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/TheesG97,
author = {Joachim Thees and
Reinhard Gotzhein},
editor = {Klaus Irmscher and
Christian Mittasch and
Klaus Richter},
title = {Leistungsbewertung automatisch generierter Protokollimplementierungen},
booktitle = {{MMB} '97, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
9. ITG/GI-Fachtagung, 17.-19. September 1997, Freiberg, Germany, Kurzbeitr{\"{a}}ge
und Toolbeschreibungen},
pages = {26--33},
publisher = {{TU} Bergakademie Freiberg},
year = {1997},
timestamp = {Wed, 13 Oct 2004 16:03:41 +0200},
biburl = {https://dblp.org/rec/conf/mmb/TheesG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/GeppertGR97,
author = {Birgit Geppert and
Reinhard Gotzhein and
Frank R{\"{o}}{\ss}ler},
editor = {Ana R. Cavalli and
Amardeo Sarma},
title = {Configuring communication protocols using {SDL} patterns},
booktitle = {{SDL} '97 Time for Testing, SDL, {MSC} and Trends - 8th International
{SDL} Forum, Evry, France, 23-29 September 1997, Proceedings},
pages = {523--538},
publisher = {Elsevier},
year = {1997},
timestamp = {Thu, 16 Oct 2003 14:16:32 +0200},
biburl = {https://dblp.org/rec/conf/sdl/GeppertGR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/GotzheinBEFHK96,
author = {Reinhard Gotzhein and
Jan Bredereke and
Wolfgang Effelsberg and
Stephan Fischer and
Thomas Held and
Hartmut K{\"{o}}nig},
title = {Improving the efficiency of automated protocol implementation using
Estelle},
journal = {Comput. Commun.},
volume = {19},
number = {14},
pages = {1226--1235},
year = {1996},
url = {https://doi.org/10.1016/S0140-3664(96)01156-5},
doi = {10.1016/S0140-3664(96)01156-5},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/GotzheinBEFHK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1996,
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
publisher = {Chapman {\&} Hall},
year = {1996},
isbn = {0-412-79490-X},
timestamp = {Fri, 29 Oct 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Gotzhein95,
author = {Reinhard Gotzhein},
title = {Towards a Basic Reference Model of Open Distributed Processing},
journal = {Comput. Networks {ISDN} Syst.},
volume = {27},
number = {8},
pages = {1287--1304},
year = {1995},
url = {https://doi.org/10.1016/0169-7552(94)00030-W},
doi = {10.1016/0169-7552(94)00030-W},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/Gotzhein95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Gotzhein94,
author = {Reinhard Gotzhein},
editor = {Manfred Broy and
Stephan Merz and
Katharina Spies},
title = {Applying a Temporal Logic to the RPC-Memory Specification Problem},
booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study
(the book grow out of a Dagstuhl Seminar, September 1994)},
series = {Lecture Notes in Computer Science},
volume = {1169},
pages = {253--273},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0024432},
doi = {10.1007/BFB0024432},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Gotzhein94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrederekeG94,
author = {Jan Bredereke and
Reinhard Gotzhein},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Specification, detection and resolution of {IN} feature interactions
with Estelle},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {376--378},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BrederekeG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GotzheinB94,
author = {Reinhard Gotzhein and
Gregor von Bochmann},
editor = {Son T. Vuong and
Samuel T. Chanson},
title = {Specialization in Estelle},
booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings
of the Fourteenth {IFIP} {WG6.1} International Symposium on Protocol
Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
series = {{IFIP} Conference Proceedings},
volume = {1},
pages = {21--36},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GotzheinB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0074241,
author = {Reinhard Gotzhein},
title = {Open distributed systems - on concepts, methods, and design from a
logical point of view},
series = {Vieweg advanced studies in computer science},
publisher = {Vieweg},
year = {1993},
isbn = {978-3-528-05358-1},
timestamp = {Thu, 18 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0074241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pik/KonigEG93,
author = {Hartmut K{\"{o}}nig and
Wolfgang Effelsberg and
Reinhard Gotzhein},
title = {Ableitung parallel ausf{\"{u}}hrbarer Protokollimplementierungen},
journal = {Prax. Inf.verarb. Kommun.},
volume = {16},
number = {4},
pages = {193--202},
year = {1993},
url = {https://doi.org/10.1515/piko.1993.16.4.193},
doi = {10.1515/PIKO.1993.16.4.193},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pik/KonigEG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrederekeG93,
author = {Jan Bredereke and
Reinhard Gotzhein},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {Increasing the Concurrency in Estelle},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {125--139},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/BrederekeG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/AndraeGS93,
author = {Caroline Andrae and
Reinhard Gotzhein and
Simone S{\'{e}}dillot},
editor = {Andr{\'{e}} A. S. Danthine and
Guy Leduc and
Pierre Wolper},
title = {An Evolutionary Approach to the Development of Complex Protocol Standards},
booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings
of the {IFIP} {TC6/WG6.1} Thirteenth International Symposium on Protocol
Specification, Testing and Verification, Li{\`{e}}ge, Belgium, 25-28
May, 1993},
series = {{IFIP} Transactions},
volume = {{C-16}},
pages = {207--222},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/AndraeGS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Gotzhein92a,
author = {Reinhard Gotzhein},
title = {Temporal Logic and Applications-A Tutorial},
journal = {Comput. Networks {ISDN} Syst.},
volume = {24},
number = {3},
pages = {203--218},
year = {1992},
url = {https://doi.org/10.1016/0169-7552(92)90109-4},
doi = {10.1016/0169-7552(92)90109-4},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/Gotzhein92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/Gotzhein92,
author = {Reinhard Gotzhein},
title = {Formal Definition and Representation of Interaction Points},
journal = {Comput. Networks {ISDN} Syst.},
volume = {25},
number = {1},
pages = {3--22},
year = {1992},
url = {https://doi.org/10.1016/0169-7552(92)90121-6},
doi = {10.1016/0169-7552(92)90121-6},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/Gotzhein92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/KreuzG92,
author = {Detlef Kreuz and
Reinhard Gotzhein},
editor = {Hartmut K{\"{o}}nig},
title = {A Compiler for the Parallel Execution of Estelle Specification},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {161--178},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 09:33:08 +0100},
biburl = {https://dblp.org/rec/conf/fbt/KreuzG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrederekeGV92,
author = {Jan Bredereke and
Reinhard Gotzhein and
Friedrich H. Vogt},
editor = {Michel Diaz and
Roland Groz},
title = {Design of a formal Estelle semantics for verification},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {153--168},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/BrederekeGV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Gotzhein92,
author = {Reinhard Gotzhein},
title = {On Conformance in the Context of Open Systems},
booktitle = {Proceedings of the 12th International Conference on Distributed Computing
Systems, Yokohama, Japan, June 9-12, 1992},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICDCS.1992.235033},
doi = {10.1109/ICDCS.1992.235033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/Gotzhein92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AndraeBHPRSGV91,
author = {Caroline Andrae and
Jan Bredereke and
C. Hille and
D. Peter and
T. Reimer and
U. Sch{\"{u}}ler and
Reinhard Gotzhein and
Friedrich H. Vogt},
editor = {Jos{\'{e}} L. Encarna{\c{c}}{\~{a}}o},
title = {Praktischer Einsatz und Weiterentwicklung von Estelle},
booktitle = {Telekommunikation und multimediale Anwendungen der Informatik, {GI}
- 21. Jahrestagung, Darmstadt, 14.-18. Oktober 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {293},
pages = {265--275},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-77060-9\_25},
doi = {10.1007/978-3-642-77060-9\_25},
timestamp = {Tue, 23 May 2017 01:10:32 +0200},
biburl = {https://dblp.org/rec/conf/gi/AndraeBHPRSGV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/GotzheinV91,
author = {Reinhard Gotzhein and
Friedrich H. Vogt},
editor = {Jan de Meer and
Volker Heymer and
Rudolf Roth},
title = {The Design of a Temporal Logic for Open Distributed Systems},
booktitle = {Open Distributed Processing: Proceedings of the {IFIP} {TC6/WG6.4}
International Workshop on Open Distributed Processing, Berlin, Germany,
8-11 October 1991},
series = {{IFIP} Transactions},
volume = {{C-1}},
pages = {229--240},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 12:06:41 +0100},
biburl = {https://dblp.org/rec/conf/odp/GotzheinV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/GotzheinB90,
author = {Reinhard Gotzhein and
Gregor von Bochmann},
title = {Deriving Protocol Specifications from Service Specifications Including
Parameters},
journal = {{ACM} Trans. Comput. Syst.},
volume = {8},
number = {4},
pages = {255--283},
year = {1990},
url = {https://doi.org/10.1145/128733.128734},
doi = {10.1145/128733.128734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/GotzheinB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Gotzhein90,
author = {Reinhard Gotzhein},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Specifying Open Distributed Systems with {Z}},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {319--339},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_17},
doi = {10.1007/3-540-52513-0\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Gotzhein90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Gotzhein90,
author = {Reinhard Gotzhein},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Specifying communication services with temporal logic},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {295--309},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Gotzhein90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Gotzhein89,
author = {Reinhard Gotzhein},
editor = {Son T. Vuong},
title = {The Formal Definition of the Architectural Concept "Interaction
Point"},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {67--81},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Gotzhein89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BochmannG86,
author = {Gregor von Bochmann and
Reinhard Gotzhein},
editor = {Walter Kosinsky and
J. J. Garcia{-}Luna{-}Aceves and
Franklin Kuo},
title = {Deriving protocol specifications from service specifications},
booktitle = {Proceedings of the {ACM} {SIGCOMM} conference on Communications architectures
{\&} protocols, {SIGCOMM} 1986, Stowe, Vermont, United States,
August 5-7, 1986},
pages = {148--156},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/18172.18190},
doi = {10.1145/18172.18190},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BochmannG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Gotzhein85,
author = {Reinhard Gotzhein},
title = {Modellierung und Spezifikation von Diensten und Verhalten in verteilten
Systemen},
school = {University of Erlangen-Nuremberg, Germany},
year = {1985},
url = {https://d-nb.info/860869628},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Gotzhein85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datenschutz/GotzheinH85,
author = {Reinhard Gotzhein and
Lothar Horbach},
editor = {Peter Paul Spies},
title = {Specification and Realization of Protection Problems as Applied to
the Erlangen Cancer Registry},
booktitle = {Datenschutz und Datensicherung im Wandel der Informationstechnologien,
1. GI-Fachtagung, M{\"{u}}nchen, 30. und 31. Oktober 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {113},
pages = {142--155},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-70865-7\_11},
doi = {10.1007/978-3-642-70865-7\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datenschutz/GotzheinH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/GotzheinKR82,
author = {Reinhard Gotzhein and
S. Keramidis and
Manfred Reitenspie{\ss}},
editor = {Hans W{\"{o}}ssner},
title = {A Case Study in Developing Reliable Software: The Construction of
a Buffer Management System Used in Network Communication},
booktitle = {Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet
vom Fachausschu{\ss} 2 der GI, M{\"{u}}nchen, 9./10. M{\"{a}}rz
1982, Proceedings},
series = {Informatik-Fachberichte},
volume = {53},
pages = {105--116},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68355-8\_9},
doi = {10.1007/978-3-642-68355-8\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programmier/GotzheinKR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-09-28 02:26 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:
