Dr. Josef Tapken

email: Josef.Tapken In April 2000 Josef Tapken completed his PhD with the dissertation ``Model-Checking of Duration Calculus Specifications'', which is available as Technical Report No. 3/01 of the Department of Computer Science at the University of Oldenburg.

 

Tools

Moby/PLC

Publications

[DT03]

H. Dierks and J. Tapken. Moby/DC - A tool for model-checking parametric real-time specifications. In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), volume 2619 of LNCS, pages 271-277. Springer, 2003.
[ bib | .ps.gz | Abstract ]

[DT01]

H. Dierks and J. Tapken. Moby/PLC: Eine graphische Entwicklungsumgebung für SPS-Programme. at-Automatisierungstechnik, 1:38-44, 2001.
[ bib ]

[DT00]

H. Dierks and J. Tapken. Modelling and Verifying of `Cash-Point Service' Using Moby/PLC. Formal Aspects of Computing, 12:222-221, 2000.
[ bib | .ps.gz ]

[Tap99]

Josef Tapken. Implementing Hierarchical Graph-Structures. In J.-P. Finance, editor, Proceedings of FASE'99, volume 1577 of LNCS, pages 219-233. Springer-Verlag, 1999. (c) Springer-Verlag. This publication is available here and at Springer.
[ bib ]

[Tap98]

J. Tapken. Moby/PLC - A Design Tool for Hierarchical Real-Time Automata. In E. Astesiano, editor, Proceedings of FASE'98, volume 1382 of LNCS, pages 326-329. Springer Verlag, 1998.
[ bib ]

[TD98]

J. Tapken and H. Dierks. Moby/PLC - Graphical Development of PLC-Automata. In A.P. Ravn and H. Rischel, editors, Proceedings of FTRTFT'98, volume 1486 of LNCS, pages 311-314. Springer Verlag, 1998. (c) Springer-Verlag. This publication is available here and at Springer.
[ bib ]

[DT98]

H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Euromicro Workshop on Real Time Systems, pages 222-229. IEEE, 1998.
[ bib | .ps.gz ]

[Tap97]

Josef Tapken. Interactive and Compilative Simulation of PLC-Automata. In Winfried Hahn and Axel Lehmann, editors, Simulation in Industry, ESS'97, pages 552-556. Society for Computer Simulation, 1997.
[ bib | .ps.gz ]

[FT97]

Hans Fleischhack and Josef Tapken. An M-Net semantics for a real-time extension of muSDL. In Formal Methods: Their Industrial Application and Strengthened Foundations (FME'97), volume 1313 of Lecture Notes in Computer Science, pages 162-181. Springer-Verlag, 1997.
[ bib | .ps.gz ]

[FT95]

Hans Fleischhack and Josef Tapken. Eine kompositionelle Petrinetz-Semantik für SDL-Spezifikationen. In J. Desel, Hans Fleischhack, A. Oberweis, and Michael Sonnenschein, editors, 2. Workshop Algorithmen und Werkzeuge für Petrinetze, number 22 in AIS reports. Fachbereich Informatik, Universität Oldenburg, 1995.
[ bib ]

Theses

[Tap01]

J. Tapken. Model-Checking of Duration Calculus Specifications. PhD thesis, University of Oldenburg, June 2001.
[ bib | .ps.gz ]

[Tap95]

Josef Tapken. Entwurf und Implementierung eines Systems zur Verifikation von SDL-Spezifikationen. Master's thesis, 1995. This master thesis is available on-line.
[ bib ]