Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/fbt:"
download as .bib file
@inproceedings{DBLP:conf/fbt/BeyerN00,
author = {Dirk Beyer and
Andreas Noack},
editor = {Jens Grabowski and
Stefan Heymer},
title = {BDD-basierte Verifikation von Echtzeit-Systemen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {79--89},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Thu, 11 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BeyerN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BornotHL00,
author = {S{\'{e}}bastien Bornot and
Ralf Huuck and
Ben Lukoschus},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Statische Analysetechniken f{\"{u}}r speicherprogrammierbare
Steuerungen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {175--181},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BornotHL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Bredereke00,
author = {Jan Bredereke},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Hierarchische Familien formaler Anforderungen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {31--40},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 29 Oct 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/Bredereke00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BreitlingP00,
author = {Max Breitling and
Jan Philipps},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Diagrams for Dataflow},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {101--110},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BreitlingP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LangendorferKK00,
author = {Peter Langend{\"{o}}rfer and
Thomas Kr{\"{u}}ger and
Hartmut K{\"{o}}nig},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung
von Implementierungstechniken},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {143--152},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/LangendorferKK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lowis00,
author = {Martin von L{\"{o}}wis},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Datentypsematik f{\"{u}}r {SDL} - 2000},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {121--130},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lowis00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/MeerA00,
author = {Jan de Meer and
Erika {\'{A}}brah{\'{a}}m{-}Mumm},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Formal Methods for Reflective System Specification},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {51--57},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/MeerA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Rockl00,
author = {Christine R{\"{o}}ckl},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {69--78},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Rockl00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RoeverBHHLPZ00,
author = {Willem P. de Roever and
Frank S. de Boer and
Ulrich Hannemann and
Jozef Hooman and
Yassine Lakhnech and
Mannes Poel and
Job Zwiers},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Basic Principles of a textbook on the compositional and noncompositional
verification of concurrent programs},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {3--5},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RoeverBHHLPZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RudolphSG00,
author = {Ekkart Rudolph and
Ina Schieferdecker and
Jens Grabowski},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Development of a {MSC/UML} Test Format},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {153--164},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RudolphSG00.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 = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchaibleG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchatzS00,
author = {Bernhard Sch{\"{a}}tz and
Katharina Spies},
editor = {Jens Grabowski and
Stefan Heymer},
title = {10 Years Focus - Lessons learned},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {111--120},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchatzS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Schmitt00,
author = {Michael Schmitt},
editor = {Jens Grabowski and
Stefan Heymer},
title = {The Development of a Parser for {SDL} - 2000},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {131--142},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Schmitt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Valk00,
author = {R{\"{u}}diger Valk},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Mobile and Distributed Objects versus Central Referencing},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {7--27},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Valk00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Wedig00,
author = {Arnim Wedig},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {59--68},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Wedig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/WirtzG00,
author = {Guido Wirtz and
Holger Giese},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {41--50},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/WirtzG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/WisspeintnerHP00,
author = {Alexander K. Wi{\ss}peintner and
Franz Huber and
Jan Philipps},
editor = {Jens Grabowski and
Stefan Heymer},
title = {Model Checking and Random Competition - {A} Study Using the Model
Checking Framework {MIC}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
pages = {91--100},
publisher = {Verlag Shaker},
year = {2000},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/WisspeintnerHP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/2000,
editor = {Jens Grabowski and
Stefan Heymer},
title = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
publisher = {Verlag Shaker},
year = {2000},
isbn = {3-8265-7491-5},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BergnerRSVB99,
author = {Klaus Bergner and
Andreas Rausch and
Marc Sihling and
Alexander Vilbig and
Manfred Broy},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {A Formal Model for Componentware},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {17--26},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Thu, 27 Mar 2003 09:47:32 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BergnerRSVB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BeyerR99,
author = {Dirk Beyer and
Heinrich Rust},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Concepts of Cottbus Timed Automata},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {27--34},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Thu, 11 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BeyerR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Breitling99,
author = {Max Breitling},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Modellierung und Beschreibung von Soll/Ist-Abweichungen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {35--44},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Breitling99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FischerT99,
author = {Ingrid Fischer and
Gabriele Taentzer},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen
auf der Basis von Graphtransformation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {55--64},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/FischerT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GehrkeF99,
author = {Thomas Gehrke and
Thomas Firley},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Generative Sequence Diagrams with Textual Annotations},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {65--72},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GehrkeF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GrogehornTHG99,
author = {Olaf Dr{\"{o}}gehorn and
Oliver Terhorst and
Heinz{-}Dieter H{\"{u}}mmer and
Walter Geisselhardt},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Formal Specification and Verification of Communication-Systems for
designing in {VHDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {45--54},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 10 Feb 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GrogehornTHG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HermannsS99,
author = {Holger Hermanns and
Markus Siegle},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Symbolic Minimisation of Stochastic Process Algebra Models},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {73--82},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HermannsS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HerrmannN99,
author = {Peter Herrmann and
Manfred No{\"{e}}l},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Formale Verifikation eines Reglers f{\"{u}}r Fahrbahnmarkierungsmaschinen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {83--92},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HerrmannN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HeymerG99,
author = {Stefan Heymer and
Jens Grabowski},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Towards the Generation of Distributed Test Cases Using Petri Nets},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {93--102},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HeymerG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Hussmann99,
author = {Heinrich Hu{\ss}mann},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Formale Beschreibungstechniken und praktische Softwaretechnik - eine
ungl{\"{u}}ckliche Verbindung?},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {1--6},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Hussmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/KamstiesKPS99,
author = {Erik Kamsties and
Antje von Knethen and
Jan Philipps and
Bernhard Sch{\"{a}}tz},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Eine vergleichende Fallstudie von acht CASE-Werkzeugen f{\"{u}}r
formale und semi-formale Beschreibungstechniken},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {103--112},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/KamstiesKPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/KindlerM99,
author = {Ekkart Kindler and
Axel Martens},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Szenarios: Lokale Kriterien f{\"{u}}r globale Korrektheit},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {113--122},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/KindlerM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Kruger99,
author = {Ingolf Kr{\"{u}}ger},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Towards the Methodical Usage of Message Sequence Charts},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {123--134},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Kruger99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LangendorferK99,
author = {Peter Langend{\"{o}}rfer and
Hartmut K{\"{o}}nig},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Automatische Generierung effizienter Protokollimplementierungen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {135--144},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/LangendorferK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LuderHS99,
author = {Arndt L{\"{u}}der and
E. Hintze and
Christian Schwab},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Anwendung von gef{\"{a}}rbten {NCES} zur Verifikation der C2-Verbindung
des erweiterten PROFIBUS-DP-Protokolls},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {145--154},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Tue, 09 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/LuderHS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Nestmann99,
author = {Uwe Nestmann},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Mobile Objects (a project overview)},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {155--164},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Nestmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Olderog99,
author = {Ernst{-}R{\"{u}}diger Olderog},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Entwicklung korrekter zeitkritischer Systeme},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {7--16},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Olderog99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Peper99,
author = {Christian Peper},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Transformations in Pattern-Based System Specifications},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {165--173},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Peper99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RennochMS99,
author = {Axel Rennoch and
Jan de Meer and
Ina Schieferdecker},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Test Data Filtering},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {175--184},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RennochMS99.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/Rockl99,
author = {Christine R{\"{o}}ckl},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {First-Order Proofs for Higher-Order Languages},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {193--202},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Rockl99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Sinnott99,
author = {Richard O. Sinnott},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Modelling Dynamic Distributed Systems in {LOTOS}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {203--212},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Sinnott99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Stauner99,
author = {Thomas Stauner},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Specification of (parts of) a Lip-Sync Protocol Using HyCharts},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {213--222},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Stauner99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/StaunerSH99,
author = {Thomas Stauner and
Klaus Schneider and
Michaela Huhn},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Translating a Visual Description Technique to a Synchronous Language:
From DiChartsto {PURR}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {223--232},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/StaunerSH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Storrle99,
author = {Harald St{\"{o}}rrle},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {A Petri-net Semantics for Sequence Diagramms},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {233--242},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Fri, 21 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Storrle99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Thees99,
author = {Joachim Thees},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Implementierungs- und Optimierungsmodelle des eXperimental Estelle
Compilers},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {243--252},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Mon, 08 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Thees99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/VesperW99,
author = {Tobias Vesper and
Michael Weber},
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Automatisches verteiltes R{\"{u}}cksetzen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
pages = {252--261},
publisher = {Herbert Utz Verlag},
year = {1999},
timestamp = {Sat, 15 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/VesperW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/1999,
editor = {Katharina Spies and
Bernhard Sch{\"{a}}tz},
title = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
publisher = {Herbert Utz Verlag},
year = {1999},
isbn = {3-89675-918-3},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BaumeckerK98,
author = {Detlef Baumecker and
Reinhard Koeppe},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Vermittlung von Prinzipien der Formalen Spezifikation von offenen,
protokollunabh{\"{a}}ngigen Kommunikationssystemen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {163--171},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Wed, 14 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BaumeckerK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BeyerR98,
author = {Dirk Beyer and
Heinrich Rust},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Modeling a Production Cell as a Distributed Real-Time System with
Cottbus Timed Automata},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {148--159},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Thu, 11 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BeyerR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BreitlingHS98,
author = {Max Breitling and
Ursula Hinkel and
Katharina Spies},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Formale Entwicklung verteilter reaktiver Systeme mit {FOCUS}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {63--74},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/BreitlingHS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/DrogehornH98,
author = {Olaf Dr{\"{o}}gehorn and
Peter Herrmann},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Werkzeugunterst{\"{u}}tzte Protokollverifikation mit dem Transferprotokoll-Framework},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {48--59},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/DrogehornH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FirleyGR98,
author = {Thomas Firley and
Thomas Gehrke and
Arend Rensink},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Spezifikation eines RPC-Speichers mit der Sprache ProFun},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {136--147},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/FirleyGR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FischerFB98,
author = {Joachim Fischer and
Nils Fischbeck and
Marc Born},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {{SDL} und {ODL} im Entwicklungsprozess von Telekommunikationssystemen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {x--xxv},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/FischerFB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GehrkeHNRW98,
author = {Thomas Gehrke and
Michaela Huhn and
Peter Niebert and
Arend Rensink and
Heike Wehrheim},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {A Process Algebra Semantics for {MSC} Including Conditions},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {185--196},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/GehrkeHNRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GeppertRS98,
author = {Birgit Geppert and
Frank R{\"{o}}{\ss}ler and
Michael Schneider},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Using {SDL} Patterns for the Design of a CAN-based Communication Subsystem},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {211--221},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/GeppertRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Herzog98,
author = {Ulrich Herzog},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Kompositioneller Entwurf mit Stochastischen Proze{\ss}algebren},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {vii--iv},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/Herzog98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HeymerG98,
author = {Stefan Heymer and
Jens Grabowski},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Formal Methods and Conformance Testing --or-- What are we testing
anyway?},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {14--25},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/HeymerG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HolzF98,
author = {Eckhardt Holz and
Joachim Fischer},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Introduction of Gate Types into {SDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {233--244},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/HolzF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS98,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Specification Modules for Methodical System Development},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {75--86},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/HuberS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/KatoenL98,
author = {Joost{-}Pieter Katoen and
Lennard Lambert},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Pomsets for {MSC}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {197--207},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/KatoenL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LangendorferKT98,
author = {Peter Langend{\"{o}}rfer and
Thomas Kr{\"{u}}ger and
Sven Twarok},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Eine SDL-Laufzeitumgebung zur Unterst{\"{u}}tzung unterschiedlicher
Implementationsstrategien},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {245--254},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/LangendorferKT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LowisS98,
author = {Martin von L{\"{o}}wis and
Ralf Schr{\"{o}}der},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Objekt-orientierte Datenkonzepte f{\"{u}}r {SDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {222--232},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/LowisS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LuderHPH98,
author = {Arndt L{\"{u}}der and
E. Hintze and
A. P{\"{o}}schmann and
Hans{-}Michael Hanisch},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Pr{\"{a}}dikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung
von Kommunikationssystemen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {100--111},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/LuderHPH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/MeerRP98,
author = {Jan de Meer and
Axel Rennoch and
Arno Puder},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Towards a QoS Binding Notation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {112--121},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/MeerRP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/PhillipsS98,
author = {Jan Phillips and
Alexander Schmidt},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Entwurf und Implementierung eingebetteter Systeme},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {172--181},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/PhillipsS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/PietschS98,
author = {Stephan Pietsch and
Ina Schieferdecker},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Test Suite Simulation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {38--47},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/PietschS98.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/fbt/ScheurerGH98,
author = {Rudolf Scheurer and
Jens Grabowski and
Dieter Hogrefe},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Revised Comparison of an Automatically Generated and a Manually Specified
Abstract Test Suite for the {B-ISDN} Protocol {SSCOP}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {26--37},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/ScheurerGH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Spies98,
author = {Peter Paul Spies},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Ereignisverb{\"{a}}nde},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {87--99},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/Spies98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Walter98,
author = {Thomas Walter},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Classification of Specification and Validation Methods for Distributed
Systems},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {3--13},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/Walter98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/1998,
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
publisher = {Verlag Shaker},
year = {1998},
isbn = {3-8265-3807-2},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BaierH97,
author = {Christel Baier and
Holger Hermanns},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Weak Bisimulation for Fully Probabilistic Processes},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {59--68},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BaierH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BaumekkerKR97,
author = {Detlef Baumecker and
Reinhard Koeppe and
Matthias Roebert},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Eine Spezifikationsmethode f{\"{u}}r echtzeitkritische Kommunikationssysteme},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {263--271},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 15 Dec 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BaumekkerKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/BuhrkeTV97,
author = {Nils Buhrke and
Wolfgang Thomas and
Jens V{\"{o}}ge},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Ein inkrementeller Ansatz zur effizienten Synthese von Controllern
aus Spezifikationen mit temporaler Logik},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {99--108},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/BuhrkeTV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Engel97,
author = {Christian Engel},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Code Generation for Real-Time Specifications},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {323--332},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Engel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FaltinLMS97,
author = {Nils Faltin and
Lennard Lambert and
Andreas Mitschele{-}Thiel and
Frank Slomka},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {{PMSC} -- Integrating Performance into Message Sequence Chart},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {145--154},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/FaltinLMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Fischer97,
author = {Clemens Fischer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Combining Object-Z and {CSP}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {119--128},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Fischer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Gehrke97,
author = {Thomas Gehrke},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer
proze{\ss}orientierten Spezifikation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {211--220},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Gehrke97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GeppertR97,
author = {Birgit Geppert and
Frank R{\"{o}}{\ss}ler},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Combining {SDL} and Pattern-based Design for the Customization of
Communication Subsystems},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {201--210},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GeppertR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GotthardtL97,
author = {Klaus Gotthardt and
Reiner Lichtenecker},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Verification of Distributed Applications by translating {CCS} to Binary
Decision Diagrams},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {39--48},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GotthardtL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HenkeM97,
author = {Ralf Henke and
Andreas Mitschele{-}Thiel},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Efficient Implementation Strategies for {SDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {283--292},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HenkeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HeymerG97,
author = {Stefan Heymer and
Jens Grabowski},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Generating Test Cases for Infinite System Specifications},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {221--230},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HeymerG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HinkelS97,
author = {Ursula Hinkel and
Katharina Spies},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Spezifikationsmethodik f{\"{u}}r mobile, dynamische FOCUS-Netze},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {251--261},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HinkelS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HolenderskiP97,
author = {Leszek Holenderski and
Axel Poign{\'{e}}},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Synchronous Automata for Synchronous Programming Languages},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {129--134},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HolenderskiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Holz97,
author = {Eckhardt Holz},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Towards an application of {FDT} within {OOAD}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {185--189},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Holz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/HuberS97,
author = {Franz Huber and
Bernhard Sch{\"{a}}tz},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Rapid Prototyping with AutoFocus},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {343--352},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/HuberS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/JagerM97,
author = {Dirk J{\"{a}}ger and
Arnulf Mester},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {313--321},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/JagerM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Kleuker97,
author = {Stephan Kleuker},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Anforderungsformalisierung f{\"{u}}r synchron kommunizierende
Prozesse mit Trace-Diagrammen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {175--184},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Kleuker97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Kosiuczenko97,
author = {Piotr Kosiuczenko},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {135--144},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Kosiuczenko97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lambert97,
author = {Lennard Lambert},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Bewertung von MSC-Spezifikationen mit Task-Graphen},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {155--164},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lambert97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Langendorfer97,
author = {Peter Langend{\"{o}}rfer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben
in SDL'92},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {303--311},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Langendorfer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lemmen97,
author = {Frank Lemmen},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext
des SDL/MSC-gesteuerten Monitoring},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {191--200},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lemmen97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Lowis97,
author = {Martin von L{\"{o}}wis},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {{SITE} - Eine {SDL} Entwicklungsumgebung},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {353--356},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Lowis97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Meer97,
author = {Jan de Meer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {QoS Control by Balancing Continuous {MM} Streams},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {109--118},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Meer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Muller-Clostermann97,
author = {Bruno M{\"{u}}ller{-}Clostermann},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {SDL-Based Performance Evaluation - {A} Survey},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {7--22},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Muller-Clostermann97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Reffel97,
author = {Frank Reffel},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellpr{\"{u}}fung},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {49--57},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Reffel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RensinkG97,
author = {Arend Rensink and
Roberto Gorrieri},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Action refinement for Vertical Implementation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {69--78},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RensinkG97.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/fbt/SchieferdeckerLR97,
author = {Ina Schieferdecker and
Mang Li and
Axel Rennoch},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {An {AAL5} Performance Test Suite in PerfTTCN},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {241--250},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchieferdeckerLR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchieferdeckerRM97,
author = {Ina Schieferdecker and
Axel Rennoch and
Olaf Mertens},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Timed MSCx - an Extension to MSC'96},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {165--174},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchieferdeckerRM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchmitKS97,
author = {Robert Schmit and
Michael Kunes and
Walter Sedlbauer},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Prototyping mit {SDL}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {293--301},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchmitKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SchmittGHK97,
author = {Michael Schmitt and
Jens Grabowski and
Dieter Hogrefe and
Beat Koch},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {-Autolink- {A} Tool for the Automatic and Semi-Automatic Test Generation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {333--341},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Fri, 06 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SchmittGHK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/SommerfeldL97,
author = {Lutz Sommerfeld and
Peter B. Ladkin},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Beschreibung eines vagen Echtzeit-Hybrid-Systems in {TLA+}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {79--88},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/SommerfeldL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Tretmans97,
author = {Jan Tretmans},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Repetitive Quiescence in Implementation and Testing},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {23--37},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Tretmans97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/WalterG97,
author = {Thomas Walter and
Jens Grabowski},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Test Case Specification with Real-time {TTCN}},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {231--240},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/WalterG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Wildhack97,
author = {Rolf Wildhack},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formale Spezifikationsmethoden auf dem Pr{\"{u}}fstand: Erfahrungen
bei der Implementierung komplexer Middleware},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {273--282},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Wed, 26 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Wildhack97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/1997,
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
isbn = {3-88457-315-2},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fbt/1992,
editor = {Hartmut K{\"{o}}nig},
title = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
publisher = {K. G. Saur Verlag},
year = {1993},
isbn = {3-598-22409-5},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/AhrensFPW92,
author = {Klaus Ahrens and
Joachim Fischer and
Andreas Prinz and
Dorota Witaszek},
editor = {Hartmut K{\"{o}}nig},
title = {Eine Entwicklungsumgebung f{\"{u}}r SDL'92},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {49--65},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/AhrensFPW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/DendorferW92,
author = {Claus Dendorfer and
Rainer Weber},
editor = {Hartmut K{\"{o}}nig},
title = {An Informal Introduction to the Design Method {FOCUS}},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {9--20},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/DendorferW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GotzHR92,
author = {Norbert G{\"{o}}tz and
Ulrich Herzog and
Michael Rettelbach},
editor = {Hartmut K{\"{o}}nig},
title = {{TIPP} - Introduction and Application to Protocol Performance Analysis},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {105--125},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GotzHR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GrabowskiR92,
author = {Jens Grabowski and
Ekkart Rudolph},
editor = {Hartmut K{\"{o}}nig},
title = {Message Sequence Chart {(MSC)} - {A} Survey of the new {CCITT} Language
for the Description to Traces within Communications Systems},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {66--87},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/GrabowskiR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Gumm92,
author = {H. Peter Gumm},
editor = {Hartmut K{\"{o}}nig},
title = {{MUNITY}},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {21--34},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Gumm92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Heiner92,
author = {Monika Heiner},
editor = {Hartmut K{\"{o}}nig},
title = {A Petri Net View of Process Communication},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {126--141},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Heiner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Held92,
author = {Thomas Held},
editor = {Hartmut K{\"{o}}nig},
title = {Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {142--160},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Held92.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/KreuzG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LadkinL92,
author = {Peter B. Ladkin and
Stefan Leue},
editor = {Hartmut K{\"{o}}nig},
title = {On the Semantics of Message Sequence Charts},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {88--104},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/LadkinL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/Nahm92,
author = {Robert Nahm},
editor = {Hartmut K{\"{o}}nig},
title = {Semantics of simple {SDL}},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {35--48},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fbt/Nahm92.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.
retrieved on 2024-05-25 21:36 CEST from data curated 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:
