Search dblp for Publications

export results for "toc:db/conf/fbt/fbt1999.bht:"

 download as .bib file

@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    = {Mon, 02 Sep 2024 01:00:00 +0200},
  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}
}