A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic. - Mila E. Majster-Cederbaum; Frank Salger (ASIAN, 1999)

A Priori Verification of Reactive Systems. - Mila E. Majster-Cederbaum; Frank Salger; Maria Sorea (FORTE, 2000)

Correctness by Construction: Towards Verification in Hierarchical System Development. - Mila E. Majster-Cederbaum; Frank Salger (SPIN, 2000)

Verification in the hierarchical development of reactive systems. - Frank Salger (2001)

Towards the hierarchical verification of reactive systems. - Mila E. Majster-Cederbaum; Frank Salger (Theor. Comput. Sci., 2004)

Comprehensive Architecture Evaluation and Management in Large Software-Systems. - Frank Salger; Marcel Bennicke; Gregor Engels; Claus Lewerentz (QoSA, 2008)

An Integrated Quality Assurance Framework for Specifying Business Information Systems. - Frank Salger; Stefan Sauer 001; Gregor Engels (CAiSE Forum, 2009)

Inspection effectiveness for different quality attributes of software requirement specifications: An industrial case study. - Frank Salger; Gregor Engels; Alexander Hofmann (WoSQ@ICSE, 2009)

Integrated specification and quality assurance for large business information systems. - Frank Salger; Stefan Sauer 001; Gregor Engels (ISEC, 2009)

On the Use of Handover Checkpoints to Manage the Global Software Development Process. - Frank Salger (OTM Workshops, 2009)

Software Architecture Evaluation in Global Software Development Projects. - Frank Salger (OTM Workshops, 2009)

Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments. - Frank Salger; Stefan Sauer 001; Gregor Engels; Andrea Baumann (ICGSE, 2010)

Knowledge transfer in global software development: leveraging acceptance test case specifications. - Frank Salger; Gregor Engels (ICSE (2), 2010)

Assessments in global software development: a tailorable framework for industrial projects. - Frank Salger; Gregor Engels; Alexander Hofmann (ICSE (2), 2010)

Towards Specification Patterns for Global Software Development Projects - Experiences from the Industry. - Frank Salger; Jochen Englert; Gregor Engels (QUATIC, 2010)

Systematic Quality Engineering - Lessons Learned. - Markus Großmann; Frank Salger (Software Engineering, 2011)

Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien. - Marianne Heinemann; Markus Palme; Andreas Rothmann; Frank Salger; Jürgen Schönke; Gregor Engels (Software Engineering, 2011)

Software Requirements Specification in Global Software Development - What's the Difference? - Frank Salger (Software Engineering, 2011)

Requirements reviews revisited: Residual challenges and open research questions. - Frank Salger (RE, 2013)

Testing in Global Software Development - A Pattern Approach. - Anneke Pehmöller; Frank Salger; Stefan Wagner 001 (CoRR, 2021)