default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
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-11-13 08:53 CET 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:
