Conferences in DBLP
Bruno Müller-Clostermann SDL-Based Performance Evaluation - A Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Tretmans Repetitive Quiescence in Implementation and Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Gotthardt , Reiner Lichtenecker Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Reffel Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung. [Citation Graph (0, 0)][DBLP ] Conf ] Christel Baier , Holger Hermanns Weak Bisimulation for Fully Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Arend Rensink , Roberto Gorrieri Action refinement for Vertical Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Sommerfeld , Peter B. Ladkin Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Rock , Werner Stephan , Andreas Wolpers Tool Support for the Compositional Development of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Buhrke , Wolfgang Thomas , Jens Vöge Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. [Citation Graph (0, 0)][DBLP ] Conf ] Jan de Meer QoS Control by Balancing Continuous MM Streams. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Fischer Combining Object-Z and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Leszek Holenderski , Axel Poigné Synchronous Automata for Synchronous Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Kosiuczenko Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Nils Faltin , Lennard Lambert , Andreas Mitschele-Thiel , Frank Slomka PMSC -- Integrating Performance into Message Sequence Chart. [Citation Graph (0, 0)][DBLP ] Conf ] Lennard Lambert Bewertung von MSC-Spezifikationen mit Task-Graphen. [Citation Graph (0, 0)][DBLP ] Conf ] Ina Schieferdecker , Axel Rennoch , Olaf Mertens Timed MSCx - an Extension to MSC'96. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Kleuker Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. [Citation Graph (0, 0)][DBLP ] Conf ] Eckhardt Holz Towards an application of FDT within OOAD. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Lemmen Objektorientierte Instrumentierung einer SDL'92-Spezifikation im Kontext des SDL/MSC-gesteuerten Monitoring. [Citation Graph (0, 0)][DBLP ] Conf ] Birgit Geppert , Frank Rößler Combining SDL and Pattern-based Design for the Customization of Communication Subsystems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Gehrke Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Heymer , Jens Grabowski Generating Test Cases for Infinite System Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Walter , Jens Grabowski Test Case Specification with Real-time TTCN. [Citation Graph (0, 0)][DBLP ] Conf ] Ina Schieferdecker , Mang Li , Axel Rennoch An AAL5 Performance Test Suite in PerfTTCN. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Hinkel , Katharina Spies Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. [Citation Graph (0, 0)][DBLP ] Conf ] Detlef Baumecker , Reinhard Koeppe , Matthias Roebert Eine Spezifikationsmethode für echtzeitkritische Kommunikationssysteme. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Wildhack Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Henke , Andreas Mitschele-Thiel Efficient Implementation Strategies for SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Schmit , Michael Kunes , Walter Sedlbauer Prototyping mit SDL. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Langendörfer iSDL: Ein Ansatz zur Integration leistungssteigernder Implementierungsvorgaben in SDL'92. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Jäger , Arnulf Mester Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Engel Code Generation for Real-Time Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Schmitt II , Jens Grabowski , Dieter Hogrefe , Beat Koch -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Huber , Bernhard Schätz Rapid Prototyping with AutoFocus. [Citation Graph (0, 0)][DBLP ] Conf ] Martin von Löwis SITE - Eine SDL Entwicklungsumgebung. [Citation Graph (0, 0)][DBLP ] Conf ] 