Josef Tapken

According to our database, Josef Tapken authored at least 7 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Model checking of duration calculus specifications.

Josef Tapken

PhD thesis, 2001

2000

Modelling and Verifying of a 'Cash-Point Service' Using MOBY/PLC.

Henning Dierks, Josef Tapken

Formal Aspects Comput., 2000

1999

Implementing Hierarchical Graph-Structures.

Josef Tapken

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

MOBY/PLC - Graphical Development of PLC-Automata.

Josef Tapken, Henning Dierks

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata.

Josef Tapken

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Tool-supported hierarchical design of distributed real-time systems.

Henning Dierks, Josef Tapken

Proceedings of the 10th Euromicro Conference on Real-Time Systems (ECRTS 1998), 1998

1997

An M-Net Semantics for a Real-Time Extension of µSDL.

Hans Fleischhack, Josef Tapken

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997