Travelled to:1 × Austria
1 × Italy
1 × The Netherlands
1 × United Kingdom
Collaborated with:∅ H.Tjabben
Talks about:system (4) distribut (3) increment (2) develop (2) specif (2) formal (2) use (2) telecommun (1) introduct (1) deadlock (1)
Person: Stephan Kleuker
DBLP: Kleuker:Stephan
Contributed to:
1998
1997
19971996
1995Wrote 5 papers:
- CSMR-1998-Kleuker #distributed #formal method #re-engineering #using
- Reengineering of Distributed Systems Using Formal Methods (SK), pp. 189–192.
- FME-1997-Kleuker #diagrams #distributed #formal method #requirements
- Formalizing Requirements for Distributed Systems with Trace Diagrams (SK), pp. 102–121.
- TACAS-1997-Kleuker #communication #concurrent #development #incremental
- Incremental Development of Deadlock-Free Communicating Systems (SK), pp. 306–320.
- FME-1996-KleukerT #development #distributed #incremental #specification
- The Incremental Development of Correct Specifications for Distributed Systems (SK, HT), pp. 479–498.
- TAPSOFT-1995-Kleuker #case study #specification #using
- A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications (SK), pp. 636–650.