SCEAS

The SCEAS System

Title:
Author:

Stephan Kleuker: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Stephan Kleuker
Reengineering of Distributed Systems Using Formal Methods. [Citation Graph (0, 0)][DBLP]
CSMR, 1998, pp:189-192 [Conf]
Stephan Kleuker
Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen. [Citation Graph (0, 0)][DBLP]
FBT, 1997, pp:175-184 [Conf]
Stephan Kleuker
Formalizing Requirements for Distributed Systems with Trace Diagrams. [Citation Graph (0, 0)][DBLP]
FME, 1997, pp:102-121 [Conf]
Stephan Kleuker, Hermann Tjabben
The Incremental Development of Correct Specifications for Distributed Systems. [Citation Graph (0, 0)][DBLP]
FME, 1996, pp:479-498 [Conf]
Stephan Kleuker
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems. [Citation Graph (0, 0)][DBLP]
FORTE, 1996, pp:113-128 [Conf]
Stephan Kleuker
Case Study: Stepwise Development of a Communication Processor Using Trace Logic. [Citation Graph (0, 0)][DBLP]
Semantics of Specification Languages, 1993, pp:252-269 [Conf]
Stephan Kleuker
Incremental Development of Deadlock-Free Communicating Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 1997, pp:306-320 [Conf]
Stephan Kleuker
A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications. [Citation Graph (0, 0)][DBLP]
TAPSOFT, 1995, pp:636-650 [Conf]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP