Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments. - Hans-Ludwig Hausen; Monika Müllerburg (Software Engineering, 1980)

Conspectus of Software Engineering Environments. - Hans-Ludwig Hausen; Monika Müllerburg (ICSE, 1981)

Software-Produktionsumgebungen: Entwicklungsstand und Trends. - Hans-Ludwig Hausen; Monika Müllerburg (Werkzeuge der Programmiertechnik, 1981)

The role of debugging within software engineering environments. - Monika Müllerburg (SIGSOFT, 1983)

Über das Prüfen, Messen und Bewerten von Software: Methoden und Techniken der analytischen Software-Qualitätssicherung. - Hans-Ludwig Hausen; Monika Müllerburg; Monika Schmidt (Inform. Spektrum, 1987)

Test Data Selection Criteria for (Software) Integration Testing. - Ursula Linnenkugel; Monika Müllerburg (ICSI, 1990)

Measures of testability as a basis for quality assurance. - Richard Bache; Monika Müllerburg (Softw. Eng. J., 1990)

Ein Ansatz zur systematischen Auswahl von Software-Testmethoden. - Monika Müllerburg (Informatik zwischen Wissenschaft und Gesellschaft, 1992)

Structured Hypertext Applied to Software Measurement. - Dirk Meyerhoff; Monika Müllerburg (IFIP Congress (2), 1992)

Zur Formalisierung von Testkonzepten. - Monika Müllerburg (Testen, Analysieren und Verifizieren von Software, 1992)

Technology transfer in software engineering measurement: ESPRIT II project METKIT. - Monika Müllerburg (Inf. Softw. Technol., 1993)

The METKIT CAI system. - Monika Müllerburg; Dirk Meyerhoff (Inf. Softw. Technol., 1993)

Structured hypertext for using and learning function point analysis. - Alain Abran; Jean-Marc Desharnais; Dirk Meyerhoff; Monika Müllerburg; Denis St-Pierre (SEKE, 1994)

Editorial. - Monika Müllerburg; Ken Croucher (Softw. Qual. J., 1995)

Systematic testing and formal verification to validate reactive programs. - Monika Müllerburg; Leszek Holenderski; Olivier Maffeïs; Agathe Merceron; Matthew Morley (Softw. Qual. J., 1995)

Systematic Testing: A Means for Validating Reactive Systems. - Monika Müllerburg (Softw. Test. Verification Reliab., 1995)

Verifying a Time-Triggered Protocol in a Multi-language Environment. - Agathe Merceron; Monika Müllerburg; G. Michele Pinna (SAFECOMP, 1998)

Software intensive embedded systems. - Monika Müllerburg (Inf. Softw. Technol., 1999)

Validierung Software-intensiver eingebetteter Systeme. - Monika Müllerburg (Inform. Forsch. Entwickl., 2000)

Specifying and verifying reactive systems in a multi-language environment. - Agathe Merceron; Monika Müllerburg; G. Michele Pinna (TOSCA, 2001)

Informatikausbildung, Roboter und Mädchen. - Monika Müllerburg; Josef Börding; Gabi Theidig; Ulrike Petersen (GI Jahrestagung (1), 2005)

Autonome intelligente Systeme Ein Überblick. - Bernhard Koerber; Monika Müllerburg (LOG IN, 2005)

Technik begeistert Mädchen: Die Erfolgsgeschichte von Roberta. - Monika Müllerburg; Josef Börding; Ulrike Petersen; Gabi Theidig (LOG IN, 2005)