Rainer Schlör

According to our database, Rainer Schlör authored at least 12 papers between 1993 and 2018.

Collaborative distances:

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

2018

Analysis Using the Business Support Matrix: Elaborating Potential for Improving Application Landscapes in Logistics.

Rainer Schlör, Jürgen Jung

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Workshop, 2018

2006

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.

Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch

Proceedings of the Leveraging Applications of Formal Methods, 2006

2002

Symbolic timing diagrams: a visual formalism for model verification.

Rainer Schlör

PhD thesis, 2002

1998

Using a Visual Formalism for Design Verification in Industrial Environments.

Rainer Schlör, Bernhard Josko, Dieter Werth

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

1996

Hardware synthesis from requirement specifications.

Konrad Feyerabend, Rainer Schlör

Proceedings of the conference on European design automation, 1996

1995

Symbolic Timing Diagrams.

Franz Korf, Rainer Schlör

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Statecharts.

Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Verification of a production cell controller using symbolic timing diagrams.

Rainer Schlör, Franz Korf

Proceedings of the Proceedings EURO-DAC'95, 1995

1994

Interface Controller Synthesis from Requirement Specifications.

Franz Korf, Rainer Schlör

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1993

VHDL/S - integrating statecharts, timing diagrams, and VHDL.

Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb

Microprocess. Microprogramming, 1993

A net-based semantics for VHDL.

Werner Damm, Bernhard Josko, Rainer Schlör

Proceedings of the European Design Automation Conference 1993, 1993

Specification and verification of VHDL-based system-level hardware designs.

Werner Damm, Bernhard Josko, Rainer Schlör

Proceedings of the Specification and validation methods, 1993