Search dblp for Publications

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

 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.