Rainer Gerlich

发表

Tool-Guided Domain-Specific, Systematic Requirements Management

Rainer Gerlich, Ralf Gerlich, 2010 .

Performance and Robustness Engineering: From A Conflict Towards Fair Coexistence

Rainer Gerlich, Ralf Gerlich, 2001 .

Use of an Extended SDL Environment for Specification and Design of On-Board Operations

Giovanni Martinelli, Y. Tanurhan, Christoph Schaffer, 1995 .

Random testing: from the classical approach to a global view and full test automation

Rainer Gerlich, Ralf Gerlich, Thomas Boll, 2007, RT '07.

Tuning development of distributed real-time systems with SDL: Current experience and future issues

Rainer Gerlich, 1997, SDL Forum.

Experience with Validation by Simulation, Automated Code Generation and Integration

Rainer Gerlich, 1997 .

Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance

Rainer Gerlich, 2001 .

Distributed and Parallel Systems and HOOD 4

Rainer Gerlich, Mladen Kerep, 1995, Ada-Europe.

Verification of the C++-Operating System RODOS in Context of a Small-Satellite

Sergio Montenegro, Rainer Gerlich, Ralf Gerlich, 2018 .

Tuning Ada Programs in Advance

Rainer Gerlich, Uwe Wagner, 1994, Ada-Europe.

Lessons Learned on Quality (of) Standards

Rainer Gerlich, Ralf Gerlich, 2011 .

An Implementation and Verification Technique for Distributed Systems

Rainer Gerlich, 2000 .

111 Thesen zur erfolgreichen Softwareentwicklung - Argumente und Entscheidungshilfen für Manager Konzepte und Anleitungen für Praktiker

Rainer Gerlich, Ralf Gerlich, 2004, Xpert.press.

Benchmarks on automated system and software generation higher flexibility increased productivity and shorter time-to-market by ScaPable software

Rainer Gerlich, 2002 .

Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software

Christian R. Prause, Rainer Gerlich, Ralf Gerlich, 2015 .

Evaluating Automated Software Verification Tools

Christian R. Prause, Rainer Gerlich, Ralf Gerlich, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Performance and Robustness Engineering and the Role of Automated Software Development

Rainer Gerlich, 2001, Performance Engineering.

Potentials of Constraint-Based Methods in Software Verification and Validation

Rainer Gerlich, Ralf Gerlich, 2012 .

A Case Study on Automated Source-Code-Based Testing Methods

Rainer Gerlich, Ralf Gerlich, Marek Prochazka, 2013 .