Search results for "FBT"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Bernhard Schätz, Katharina Spies	10 Years Focus - Lessons learned.	FBT	2000	DBLP BibTeX RDF
1	Jan de Meer, Erika Ábrahám-Mumm	Formal Methods for Reflective System Specification.	FBT	2000	DBLP BibTeX RDF
1	Alexander K. Wißpeintner, Franz Huber, Jan Philipps	Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.	FBT	2000	DBLP BibTeX RDF
1	Michael Schmitt 0002	The Development of a Parser for SDL - 2000.	FBT	2000	DBLP BibTeX RDF
1	Rüdiger Valk	Mobile and Distributed Objects versus Central Referencing.	FBT	2000	DBLP BibTeX RDF
1	Jan Bredereke	Hierarchische Familien formaler Anforderungen.	FBT	2000	DBLP BibTeX RDF
1	Peter Langendörfer, Thomas Krüger, Hartmut König	Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken.	FBT	2000	DBLP BibTeX RDF
1	Dirk Beyer 0001, Andreas Noack	BDD-basierte Verifikation von Echtzeit-Systemen.	FBT	2000	DBLP BibTeX RDF
1	Max Breitling, Jan Philipps	Diagrams for Dataflow.	FBT	2000	DBLP BibTeX RDF
1	Jens Grabowski, Stefan Heymer (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000	FBT	2000	DBLP BibTeX RDF
1	Philipp Schaible, Reinhard Gotzhein	Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware.	FBT	2000	DBLP BibTeX RDF
1	Arnim Wedig	Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel.	FBT	2000	DBLP BibTeX RDF
1	Guido Wirtz, Holger Giese	Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme.	FBT	2000	DBLP BibTeX RDF
1	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	Development of a MSC/UML Test Format.	FBT	2000	DBLP BibTeX RDF
1	Christine Röckl	Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.	FBT	2000	DBLP BibTeX RDF
1	Sébastien Bornot, Ralf Huuck, Ben Lukoschus	Statische Analysetechniken für speicherprogrammierbare Steuerungen.	FBT	2000	DBLP BibTeX RDF
1	Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers	Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs.	FBT	2000	DBLP BibTeX RDF
1	Martin von Löwis	Datentypsematik für SDL - 2000.	FBT	2000	DBLP BibTeX RDF
1	Christian Peper	Transformations in Pattern-Based System Specifications.	FBT	1999	DBLP BibTeX RDF
1	Axel Rennoch, Jan de Meer, Ina Schieferdecker	Test Data Filtering.	FBT	1999	DBLP BibTeX RDF
1	Olaf Drögehorn, Oliver Terhorst, Heinz-Dieter Hümmer, Walter Geisselhardt	Formal Specification and Verification of Communication-Systems for designing in VHDL.	FBT	1999	DBLP BibTeX RDF
1	Max Breitling	Modellierung und Beschreibung von Soll/Ist-Abweichungen.	FBT	1999	DBLP BibTeX RDF
1	Ingolf Krüger	Towards the Methodical Usage of Message Sequence Charts.	FBT	1999	DBLP BibTeX RDF
1	Holger Hermanns, Markus Siegle	Symbolic Minimisation of Stochastic Process Algebra Models.	FBT	1999	DBLP BibTeX RDF
1	Ekkart Kindler, Axel Martens	Szenarios: Lokale Kriterien für globale Korrektheit.	FBT	1999	DBLP BibTeX RDF
1	Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy	A Formal Model for Componentware.	FBT	1999	DBLP BibTeX RDF
1	Dirk Beyer 0001, Heinrich Rust	Concepts of Cottbus Timed Automata.	FBT	1999	DBLP BibTeX RDF
1	Christine Röckl	First-Order Proofs for Higher-Order Languages.	FBT	1999	DBLP BibTeX RDF
1	Tobias Vesper, Michael Weber 0003	Automatisches verteiltes Rücksetzen.	FBT	1999	DBLP BibTeX RDF
1	Joachim Thees	Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers.	FBT	1999	DBLP BibTeX RDF
1	Thomas Gehrke, Thomas Firley	Generative Sequence Diagrams with Textual Annotations.	FBT	1999	DBLP BibTeX RDF
1	Richard O. Sinnott	Modelling Dynamic Distributed Systems in LOTOS.	FBT	1999	DBLP BibTeX RDF
1	Stefan Heymer, Jens Grabowski	Towards the Generation of Distributed Test Cases Using Petri Nets.	FBT	1999	DBLP BibTeX RDF
1	Thomas Stauner	Specification of (parts of) a Lip-Sync Protocol Using HyCharts.	FBT	1999	DBLP BibTeX RDF
1	Ernst-Rüdiger Olderog	Entwicklung korrekter zeitkritischer Systeme.	FBT	1999	DBLP BibTeX RDF
1	Harald Störrle	A Petri-net Semantics for Sequence Diagramms.	FBT	1999	DBLP BibTeX RDF
1	Ingrid Fischer, Gabriele Taentzer	Modellierung dynamischer Rekonfiguration in offenen, verteilten Systemen auf der Basis von Graphtransformation.	FBT	1999	DBLP BibTeX RDF
1	Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz	Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken.	FBT	1999	DBLP BibTeX RDF
1	Arndt Lüder, E. Hintze, Christian Schwab	Anwendung von gefärbten NCES zur Verifikation der C2-Verbindung des erweiterten PROFIBUS-DP-Protokolls.	FBT	1999	DBLP BibTeX RDF
1	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Modeling Dynamic Processes in TLA.	FBT	1999	DBLP BibTeX RDF
1	Peter Langendörfer, Hartmut König	Automatische Generierung effizienter Protokollimplementierungen.	FBT	1999	DBLP BibTeX RDF
1	Katharina Spies, Bernhard Schätz (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999	FBT	1999	DBLP BibTeX RDF
1	Thomas Stauner, Klaus Schneider 0001, Michaela Huhn	Translating a Visual Description Technique to a Synchronous Language: From DiChartsto PURR.	FBT	1999	DBLP BibTeX RDF
1	Uwe Nestmann	Mobile Objects (a project overview).	FBT	1999	DBLP BibTeX RDF
1	Peter Herrmann, Manfred Noël	Formale Verifikation eines Reglers für Fahrbahnmarkierungsmaschinen.	FBT	1999	DBLP BibTeX RDF
1	Heinrich Hußmann	Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung?	FBT	1999	DBLP BibTeX RDF
1	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Assumption-Commitment Specifications and Safety-Critical Systems.	FBT	1998	DBLP BibTeX RDF
1	Hartmut König, Peter Langendörfer (eds.)	Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998	FBT	1998	DBLP BibTeX RDF
1	Stephan Pietsch, Ina Schieferdecker	Test Suite Simulation.	FBT	1998	DBLP BibTeX RDF
1	Joost-Pieter Katoen, Lennard Lambert	Pomsets for MSC.	FBT	1998	DBLP BibTeX RDF
1	Stefan Heymer, Jens Grabowski	Formal Methods and Conformance Testing --or-- What are we testing anyway?	FBT	1998	DBLP BibTeX RDF
1	Eckhardt Holz, Joachim Fischer	Introduction of Gate Types into SDL.	FBT	1998	DBLP BibTeX RDF
1	Jan Phillips, Alexander Schmidt	Entwurf und Implementierung eingebetteter Systeme.	FBT	1998	DBLP BibTeX RDF
1	Detlef Baumecker, Reinhard Koeppe	Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
1	Peter Paul Spies	Ereignisverbände.	FBT	1998	DBLP BibTeX RDF
1	Peter Langendörfer, Thomas Krüger, Sven Twarok	Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien.	FBT	1998	DBLP BibTeX RDF
1	Franz Huber, Bernhard Schätz	Specification Modules for Methodical System Development.	FBT	1998	DBLP BibTeX RDF
1	Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch	Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
1	Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim	A Process Algebra Semantics for MSC Including Conditions.	FBT	1998	DBLP BibTeX RDF
1	Thomas Walter	Classification of Specification and Validation Methods for Distributed Systems.	FBT	1998	DBLP BibTeX RDF
1	Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe	Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP.	FBT	1998	DBLP BibTeX RDF
1	Max Breitling, Ursula Hinkel, Katharina Spies	Formale Entwicklung verteilter reaktiver Systeme mit FOCUS.	FBT	1998	DBLP BibTeX RDF
1	Ulrich Herzog	Kompositioneller Entwurf mit Stochastischen Prozeßalgebren.	FBT	1998	DBLP BibTeX RDF
1	Dirk Beyer 0001, Heinrich Rust	Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.	FBT	1998	DBLP BibTeX RDF
1	Joachim Fischer, Nils Fischbeck, Marc Born	SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen.	FBT	1998	DBLP BibTeX RDF
1	Jan de Meer, Axel Rennoch, Arno Puder	Towards a QoS Binding Notation.	FBT	1998	DBLP BibTeX RDF
1	Thomas Firley, Thomas Gehrke, Arend Rensink	Spezifikation eines RPC-Speichers mit der Sprache ProFun.	FBT	1998	DBLP BibTeX RDF
1	Birgit Geppert, Frank Rößler, Michael Schneider 0009	Using SDL Patterns for the Design of a CAN-based Communication Subsystem.	FBT	1998	DBLP BibTeX RDF
1	Martin von Löwis, Ralf Schröder	Objekt-orientierte Datenkonzepte für SDL.	FBT	1998	DBLP BibTeX RDF
1	Olaf Drögehorn, Peter Herrmann	Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework.	FBT	1998	DBLP BibTeX RDF
1	Christel Baier, Holger Hermanns	Weak Bisimulation for Fully Probabilistic Processes.	FBT	1997	DBLP BibTeX RDF
1	Ina Schieferdecker, Axel Rennoch, Olaf Mertens	Timed MSCx - an Extension to MSC'96.	FBT	1997	DBLP BibTeX RDF
1	Frank Reffel	Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung.	FBT	1997	DBLP BibTeX RDF
1	Ursula Hinkel, Katharina Spies	Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.	FBT	1997	DBLP BibTeX RDF
1	Thomas Gehrke	Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation.	FBT	1997	DBLP BibTeX RDF
1	Piotr Kosiuczenko	Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.	FBT	1997	DBLP BibTeX RDF
1	Jan de Meer	QoS Control by Balancing Continuous MM Streams.	FBT	1997	DBLP BibTeX RDF
1	Jan Tretmans	Repetitive Quiescence in Implementation and Testing.	FBT	1997	DBLP BibTeX RDF
1	Michael Schmitt 0002, Jens Grabowski, Dieter Hogrefe, Beat Koch	-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.	FBT	1997	DBLP BibTeX RDF
1	Nils Buhrke, Wolfgang Thomas, Jens Vöge	Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.	FBT	1997	DBLP BibTeX RDF
1	Stephan Kleuker	Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen.	FBT	1997	DBLP BibTeX RDF
1	Robert Schmit, Michael Kunes, Walter Sedlbauer	Prototyping mit SDL.	FBT	1997	DBLP BibTeX RDF
1	Ralf Henke, Andreas Mitschele-Thiel	Efficient Implementation Strategies for SDL.	FBT	1997	DBLP BibTeX RDF
1	Clemens Fischer	Combining Object-Z and CSP.	FBT	1997	DBLP BibTeX RDF
1	Leszek Holenderski, Axel Poigné	Synchronous Automata for Synchronous Programming Languages.	FBT	1997	DBLP BibTeX RDF
1	Lutz Sommerfeld, Peter B. Ladkin	Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.	FBT	1997	DBLP BibTeX RDF
1	Frank Lemmen	Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring.	FBT	1997	DBLP BibTeX RDF
1	Stefan Heymer, Jens Grabowski	Generating Test Cases for Infinite System Specifications.	FBT	1997	DBLP BibTeX RDF
1	Thomas Walter, Jens Grabowski	Test Case Specification with Real-time TTCN.	FBT	1997	DBLP BibTeX RDF
1	Christian Engel	Code Generation for Real-Time Specifications.	FBT	1997	DBLP BibTeX RDF
1	Georg Rock, Werner Stephan 0001, Andreas Wolpers	Tool Support for the Compositional Development of Distributed Systems.	FBT	1997	DBLP BibTeX RDF
1	Adam Wolisz, Ina Schieferdecker, Axel Rennoch (eds.)	Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997	FBT	1997	DBLP BibTeX RDF
1	Dirk Jäger, Arnulf Mester	Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen.	FBT	1997	DBLP BibTeX RDF
1	Birgit Geppert, Frank Rößler	Combining SDL and Pattern-based Design for the Customization of Communication Subsystems.	FBT	1997	DBLP BibTeX RDF
1	Bruno Müller-Clostermann	SDL-Based Performance Evaluation - A Survey.	FBT	1997	DBLP BibTeX RDF
1	Detlef Baumecker, Reinhard Koeppe, Matthias Roebert	Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme.	FBT	1997	DBLP BibTeX RDF
1	Franz Huber, Bernhard Schätz	Rapid Prototyping with AutoFocus.	FBT	1997	DBLP BibTeX RDF
1	Klaus Gotthardt, Reiner Lichtenecker	Verification of Distributed Applications by translating CCS to Binary Decision Diagrams.	FBT	1997	DBLP BibTeX RDF
1	Ina Schieferdecker, Mang Li, Axel Rennoch	An AAL5 Performance Test Suite in PerfTTCN.	FBT	1997	DBLP BibTeX RDF
1	Nils Faltin, Lennard Lambert, Andreas Mitschele-Thiel, Frank Slomka	PMSC -- Integrating Performance into Message Sequence Chart.	FBT	1997	DBLP BibTeX RDF

Publications at "FBT"( http://dblp.L3S.de/Venues/FBT )