Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|