Isolde Wildgruber

According to our database, Isolde Wildgruber authored at least 5 papers between 1993 and 1995.

Collaborative distances:

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

1995

Development of Safety-Critical Real-Time Systems.

Hans Rischel, Jorge Cuéllar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

The Real-Time Behavior of the Steam Boiler.

Jorge Cuéllar, Isolde Wildgruber

Proceedings of the Formal Methods for Industrial Applications, 1995

The Steam-Boiler Problem - A TLT Solution.

Jorge Cuéllar, Isolde Wildgruber

Proceedings of the Formal Methods for Industrial Applications, 1995

1994

Combining the Design of Industrial Systems with Effective Verification Techniques.

Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Methods for Exploitation of Fine-Grained Parallelism.

Günter Böckle, Christof Störmann, Isolde Wildgruber

Proceedings of the Parallel Computer Architectures: Theory, 1993