Rainer Gerlich

Publication Activity (10 Years)

Years Active: 1994-2018
Publications (10 Years): 1

Top Topics

Automated Analysis

Visualization Tools

Learning Scenarios

Top Venues

Publications

Christian Prause, Rainer Gerlich, Ralf Gerlich
Evaluating Automated Software Verification Tools. ICST (2018)
Rainer Gerlich
Performance and Robustness Engineering and the Role of Automated Software Development. Performance Engineering (2001)
Rainer Gerlich
Tuning development of distributed real-time systems with SDL: Current experience and future issues. SDL Forum (1997)
Rainer Gerlich, Mladen Kerep
Distributed and Parallel Systems and HOOD 4. Ada-Europe (1995)
Rainer Gerlich, Uwe Wagner
Tuning Ada Programs in Advance. Ada-Europe (1994)