Publications

Books

  • Liggesmeyer P., Modultest und Modulverifikation - State of the Art, Mannheim, Wien, Zürich: BI Wissenschaftsverlag 1990, 321 S., ISBN 3-411-14361-4
  • Balzert H., Liggesmeyer P., Systematisches Testen mit Tensor, Mannheim, Wien, Zürich: BI Wissenschaftsverlag 1993, 365 S., ISBN 3-411-16041-1
  • Liggesmeyer P., Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten, Mannheim, Wien, Zürich: BI Wissenschaftsverlag 1993, 345 S., ISBN 3-411-16491-3
  • Liggesmeyer P., Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg: Spektrum-Verlag 2000, 270 S., ISBN 3-8274-1085-1
  • Liggesmeyer P., Software-Qualität, Heidelberg: Spektrum-Verlag 2002, 523 S., ISBN 3-8274-1118-1
  • Liggesmeyer P., Software-Qualität (2. Auflage), Heidelberg: Spektrum Verlag 2009, 526 S., ISBN 3-8274-2056-5

Articles in Books

  • Liggesmeyer P., TensorC, TensorM, TensorP . Werkzeuge zur Testunterstützung, in: Balzert H. (Hrsg.): CASE Systeme und Werkzeuge, Mannheim, Wien, Zürich: BI Wissenschaftsverlag 1992, S. 505-520
  • Liggesmeyer P., Testen, Analysieren und Verifizieren von Software . eine klassifizierende Übersicht der Verfahren, in: Liggesmeyer P., Sneed H.M., Spillner A. (Hrsg.): Testen, Analysieren und Verifizieren von Software, Informatik aktuell, Berlin: Springer 1992, S. 1-25
  • Liggesmeyer P., Dregger A., Balzert H., Ein experimentelles Testsystem für die Sprache HyperTalk, in: Liggesmeyer P., Sneed H.M., Spillner A. (Hrsg.): Testen, Analysieren und Verifizieren von Software, Informatik aktuell, Berlin: Springer 1992, S. 177-186
  • Liggesmeyer P., Werkzeuge für den Softwaretest - ein Vergleich, in: Balzert H. (Hrsg.): CASE - Auswahl, Einführung, Erfahrungen, Mannheim, Wien, Zürich: BI Wissenschaftsverlag 1993, S. 127-148
  • Liggesmeyer P., Metriken zur Planung, Steuerung und Optimierung des Softwaretests, in: Dumke R., Ebert C. (Hrsg.): Software-Metriken in der Praxis, Berlin: Springer 1996, S. 84-104
  • Liggesmeyer P., Die Bewertung und Verbesserung von Software-Entwicklungsprozessen mit Assessments, in: Müllerburg M., Spillner A., Liggesmeyer P. (Hrsg.): Test, Analyse und Verifikation von Software, München: Oldenbourg 1996, S. 155-168
  • Liggesmeyer P., Einleitung und Überblick, in: Liggesmeyer P. (Ed.), Rombach H.D. (Ed.): Software Engineering eingebetteter Systeme. Grundlagen - Methodik - Anwendungen, Heidelberg : Elsevier, Spektrum Akademischer Verlag 2005, S. 1-12
  • Liggesmeyer P., Prüfung eingebetteter Software, in: Liggesmeyer P. (Ed.), Rombach H.D. (Ed.): Software Engineering eingebetteter Systeme. Grundlagen - Methodik - Anwendungen, Heidelberg: Elsevier, Spektrum Akademischer Verlag 2005, S. 205-225
  • Liggesmeyer P., Rombach H.D., Software Engineering, in: Bullinger H.-J. (Hrsg.): Technologieführer. Grundlagen - Anwendungen - Trends, Berlin: Springer-Verlag 2007, S. 166-169
  • Liggesmeyer P., Architekturen .Eingebetteter Systeme, in: Balzert, H.: Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb (3. Auflage), Heidelberg: Elsevier, Spektrum Akademischer Verlag 2011, S. 397-411 (sowie 123, 125, 126)

Edited Books

  • Muellerburg, M. (Ed.), Spillner A. (Ed.), Liggesmeyer P. (Ed.), Test, Analyse und Verifikation von Software, Aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TVA) der Gesellschaft für Informatik (GI), München: Oldenbourg 1996, 211 S., ISBN 3-486-23845-0
  • Heisel M. (Ed.), Liggesmeyer P. (Ed.), Wittmann St. (Ed.), Computer Safety, Reliability, and Security - 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, - Proceedings, Berlin: Springer 2004, 339 p., ISBN 3-540-23176-9
  • Weske M. (Ed.), Liggesmeyer P. (Ed.), Object-Oriented and Internet-Based Technologies, 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, NODE 2004 - Proceedings, Berlin: Springer 2004, 239 p., ISBN 3-540-23201-8
  • Liggesmeyer P. (Ed.), Pohl K. (Ed.), Goedicke M. (Ed.), Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 08.-11.3.2005 in Essen - Proceedings, Bonn: Köllen Verlag 2005, 295 S.
  • Baaros F. J. (Ed.), Lehmann A. (Ed.), Liggesmeyer P. (Ed.), Verbraeck A. (Ed.), Zeigler B.P. (Ed.), Abstracts Collection - Component-Based Modeling and Simulation, Dagstuhl Seminar Proceedings, 18.01.-23.01.2004, Electronic Publication 2006, 13 p.
  • Müller P. (Ed.), Liggesmeyer P. (Ed.), Maehle E. (Ed.), EUROMICRO 2007. Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, IEEE Computer Society 2007, 424 p., ISBN 0-7695-2977-1
  • Wagner St. (Ed.), Broy M. (Ed.), Deißenböck F. (Ed.), Münch J. (Ed.), Liggesmeyer P. (Ed.), Tagungsband 2. Workshop zur Software-Qualitätsmodellierung und -bewertung. SQMB' 09, Electronic Publication 2009, 48 S.
  • Liggesmeyer P. (Ed.), Engels G. (Ed.), Münch J. (Ed.), Dörr J. (Ed.), Riegel N. (Ed.), Software Engineering 2009, Fachtagung des GI-Fachbereichs Softwaretechnik, 02.-06.03.2009 in Kaiserslautern - Proceedings, Bonn: Köllen Verlag 2009, 211 S., ISBN 3-88579-237-6
  • Münch J., Liggesmeyer P., Software Engineering 2009 . Workshop-Band, Fachtagung des GI-Fachbereichs Softwaretechnik, 02.-06.03.2009 in Kaiserslautern, Bonn: Köllen Verlag 2009, ISBN 3-88579-244-4
  • Wagner St. (Ed.), Broy M. (Ed.), Deißenböck F. (Ed.), Münch J. (Ed.), Liggesmeyer P. (Ed.), Tagungsband 3. Workshop zur Software-Qualitätsmodellierung und -bewertung. SQMB' 10, Electronic Publication 2010, 80 S.

Articles in Proceedings

  • Liggesmeyer P., Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren, GI-Fachtagung Softwaretechnik ´93, Dortmund, 08.-10. November 1993, S. 103-110, 1993
  • Liggesmeyer P., Selecting adequate test techniques in the real world, 11th International Conference on Testing Computer Software, Washington D.C., 13.-16. Juni 1994, S. 61-69, 1994
  • Liggesmeyer P., A method for the selection of suitable unit test techniques, 2nd European International Conference on Software Testing, Analysis and Review - EuroSTAR ´94, Brüssel, 10.-13. Oktober 1994, S. 23/1-23/10, 1994
  • Liggesmeyer P., Achieving reliable software by adapting test, analysis, and verification techniques to the requirements of the test process, ICINAS-94 International Infomatization Forum II. International Conference on Informational Networks and Systems, St. Petersburg, 24.-28. Oktober 1998, S. 73-83, 1994
  • Liggesmeyer P., Software Engineering und Software-Qualitätssicherung: Was kann man von neuen Techniken erwarten?, 10. SAVE-Frühjahrstagung, Stuttgart, 28.-30. März 1995, 1995
  • Liggesmeyer P., A framework for selecting appropriate test techniques, 4th International Conference on Software Testing, Analysis and Review . STAR ´95, San Diego, 01.-05. Mai 1995, S. 725-733, 1995
  • Liggesmeyer P., Software-Qualitätssicherung: Chancen und Risiken neuer Entwicklungen, Software DevCon, Wiesbaden, 08.-12. Mai 1995, S. 101-106, 1995
  • Liggesmeyer P., The influence of object orientation and process orientation on software testing, 3rd European International Conference on Software Testing, Analysis and Review . EuroSTAR ´95, London, 27.-30. November 1995, S. 25/1-25/10, 1995
  • Liggesmeyer P., Selecting engineering techniques using fuzzy logic based decision support, 1996 International IEEE Symposium on Engineering of Computer-Based Systems - ECBS ´96, Friedrichshafen, 11.-15. März 1996, S. 427-434, 1996
  • Liggesmeyer P., Selecting Test Methods, Techniques, Metrics and Tools Using Systematic Decision Support, 9th International Software Quality Week, San Francisco, 21.-24. Mai 1996, 1996
  • Liggesmeyer P., Fuzzy Logic based Decision Support for Improving the Testing Process, 13th International Conference on Testing Computer Software, Washington D.C., 10.-13. Juni 1996, S. 101-110, 1996
  • Liggesmeyer P., Quantitative Bewertung von Software-Prüfverfahren durch unscharfe Logik, GI-Fachtagung Softwaretechnik ´96, Koblenz, 12.-13. September 1996, S. 81-88, 1996
  • Liggesmeyer P., Qualitätssicherung von Telekommunikationssoftware und -systemen, 1st G-IIA-Symposium, German Branch oft he International Informatization Academy (G-IIA), Bochum, 23.-24. September 1996, S. 93-100, 1996
  • Liggesmeyer P., Methoden und Techniken für die Prüfung objektorientierter Systeme, Object World, Frankfurt9.-11. Oktober 1996, S. 1-7, 1996
  • Liggesmeyer P., Rothfelder M., Automating Reliability and Safety Analysis Based on Formal System Models, International Conference and workshop: Engineering of Computer Based Systems, Jerusalem, März/April 1998, S. 264-271, 1998
  • Liggesmeyer P., Rothfelder M., System Safety Improvement by Automated Software Robustness Evaluation, 15th International Conference on Testing Computer Software, Washington D.C., Juni 1998, S. 71-77, 1998
  • Liggesmeyer P., Rothfelder M., Improving System Reliability with Automatic Fault Tree Generation, 28th Annual Fault Tolerant Computing Symposium, München, Juni 1998, S. 90-99, 1998
  • Liggesmeyer P., Rothfelder M., Going beyond Correctness: Improving Software Robustness, 11th International Software Quality Week, San Francisco, May 1998, 1998
  • Liggesmeyer P., Rothfelder M., Towards Automated Proof of Fail-safe Behavior, SAFECOMP 98, The 17th International Conference on Computer Safety, Reliability and Security, Heidelberg, Oktober 1998, S. 169-184, 1998
  • Rettelbach M., Liggesmeyer P., Greiner M., Prediction of Project Quality by applying Stochastic Techniques to Measures based on Accounting Data: An Industrial Case Study, 2nd International European Quality Week, Brüssel, November 1998, 1998
  • Liggesmeyer P., Ackermann T., Applying Reliability Engineering: Empirical Results, Lessons Learned, and Furthermore Improvements, ISSRE ´98, The 9th International Symposium on Software Reliability Engineering, Paderborn, November 1998, S. 263-271, 1998
  • Liggesmeyer P., Mäckel O., Statistische Messung und Prognose von Zuverlässigkeit, Workshop der GI-Fachgruppen 2.1.4 und 3.6.2: Sicherheit und Zuverlässigkeit software-basierter Systeme, Bad Honnef, Mai 1999, 1999
  • Liggesmeyer P., Testing non-functional quality characteristics of software-based systems, Conquest ´99, Nürnberg, September 1999, 1999
  • Liggesmeyer P., Quantified Risk Assessment and Test Support by Automated Fault Tree Analysis, 7th European International Conference on Software Testing, Analysis and Review . EuroSTAR ´99, Barcelona, November 1999, 1999
  • Liggesmeyer P., Automated Failure Modeling of Embedded Systems, 17th International Conference on Testing Computer Software, Washington D.C., Juni 2000, 2000
  • Liggesmeyer P., Quantifying the reliability of embedded software, 2nd World Congress on Software Quality, Yokohama, September 2000, 2000
  • Liggesmeyer P., Formale und stochastische Methoden zur Qualitätssicherung technischer Software, Informatik 2000, Berlin, September 2000, 2000
  • Liggesmeyer P., Mäckel O., Automatic Reliability Analysis of Electronic Designs using Fault Trees, 13. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Miesbach, Februar 2001, 2001
  • Liggesmeyer P., Entwicklung technischer Software: Eine Situationsanalyse, ADA-Deutschland Tagung 2001, München, März 2001, 2001
  • Liggesmeyer P., Mäckel O., Quantifying the reliability of embedded systems by automated analysis, DSN 2001, Göteborg, Juni/Juli 2001, 2001
  • Kaiser B., Liggesmeyer P., Mäckel O., A new component concept for fault trees, 8th Australian Workshop on Industrial Experience with Safety Critical Systems and Software - SCS 2003, Canberra, Oktober 2003, 2003
  • Liggesmeyer P., Mäckel O., A Comprehensive Approach for Automated Safety and Reliability Analysis of Systems, Probalistic Safety Assessment and Management - PSAM 7 - ESREL 04, Berlin, Juni 2004, 2004
  • Robinson-Mallett Ch., Liggesmeyer P., Mücke T., Goltz U., Generating Optimal Distinguishing Sequences with a Model Checker, 1st International Workshop on Advances in Model-Based Testing - A-MOST 2005, St. Louis, 15.-16.05.2005(7), 2005
  • Bauer T., Hermann J., Liggesmeyer P., Robinson-Mallett Ch., A Flexible Integration Strategy for In-Car Telematics Systems, 2nd International Workshop on Software Engineering for Automotive Systems - SEAS 2005, St. Louis, Mai 2005(7), 2005
  • Robinson-Mallett Ch., Liggesmeyer P., State Identification and Verification using a Model Checker, Software Engineering 2006 - SE 2006, Leipzig, 28.-31.03.2006, S. 131-142, 2006
  • Kalcklösch R., Liggesmeyer P., Communication Test for Object-Oriented Systems using Gossiped Data, 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI): Informatik 2006 - Informatik für Menschen!, Dresden, 02.-06.10.2006, S. 282-283, 2006
  • Denger Ch., Liggesmeyer P., Trapp M., Safety Engineering für eingebettete Softwaresysteme, Software Engineering 2007 - SE 2007, Hamburg, 27.-30.03.2007, S. 287-292, 2007
  • Doerr J., Liggesmeyer P., Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung, Software Engineering 2007 - SE 2007, Hamburg, 27.-30.03.2007, S. 285-286, 2007
  • Liggesmeyer P., Formal Techniques in Software Engineering: Correct Software and Safe Systems, 20th International Conference, Theorem Proving in Higher Order Logics - TPHOLs 2007, Kaiserslautern, 10.-13.09.2007, S. 3-4, 2007
  • Wagner St., Broy M., Deißenböck F., Kläs M., Münch J., Liggesmeyer P., Streit J., Eine Forschungsagenda für Softwarequalität, Software-Qualitätsmodellierung und -bewertung Workshop-Band, München, 18.02.2008, S. 47-59, 2008
  • Wagner St., Broy M., Deißenböck F., Münch J., Liggesmeyer P., Software-Qualitätsmodellierung und -bewertung, SQMB 2008 - im Rahmen der SE 2008, München, 18.02.2008, S. 295-297, 2008
  • Dörr J., Liggesmeyer P., 2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung, Software Engineering 2008 - SE 2008 Workshop-Band, München, 18.-22.02.2008, S. 449-450, 2008
  • Denger Ch., Trapp M., Liggesmeyer P., SafeSpection - A Systematic Customization Approach for Software Hazard Identification, SAFECOMP 2008, The 27th International Conference on Computer Safety, Reliability and Security, Newcastle upon Tyne, 22.-25.09.2008, S. 44-57, 2008
  • Liggesmeyer P., Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense, Industrialisierung des Software-Managements 2008, Stuttgart, 12.-14.11.2008, S. 13, 2008
  • Liggesmeyer P., Heidrich J., Münch J., Kalcklösch R., Barthel H., Zeckzer D., Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control, Human-Computer Interaction. New Trends. 13th International Conference, HCI International 2009 - Proceedings, Part I, San Diego, 19.-24.07.2009, S. 846-855, 2009
  • Wagner St., Broy M., Deißenböck F., Münch J., Liggesmeyer P., Software-Qualitätsmodellierung und -bewertung (SQMB), SQMB 2009 im Rahmen der SE 2009, Kaiserslautern, 03.03.2009, S. 211, 2009
  • Dörr J., Liggesmeyer P., 3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung, Software Engineering 2010 - SE 2010, Paderborn, 22.-26.02.2010, S. 243, 2010
  • Wagner St., Broy M., Deißenböck F., Münch J., Liggesmeyer P., Software-Qualitätsmodellierung und -bewertung (SQMB), SQMB 2010 im Rahmen der SE 2010, Paderborn, 22.02.2010, S. 250, 2010
  • Gómez, C., Liggesmeyer P., Sutor A., Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees, SAFECOMP 2010, The 29th International Conference on Computer Safety, Reliability, and Security, Wien, 14.-17.09.2010, S. 28-40, 2010
  • Zhensheng G., Zeckzer D., Liggesmeyer P., Mäckel O., Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques, The 5th International Conference on Software Engineering Advances, Nizza, 22.-27.08.2010, S. 508-513, 2010
  • Wagner St., Broy M., Deißenböck F., Münch J., Liggesmeyer P., Software-Qualitätsmodellierung und -bewertung (SQMB), SQMB 2011 im Rahmen der SE 2011, Karlsruhe, 21.-25.02.2011, S. 45, 2011

Journal Articles

  • Liggesmeyer P., Sturm L., Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen, Angewandte Informatik, Band 30, Heft 6, S. 252-258, 1988
  • Liggesmeyer P., Klassifikation der Verfahren zur analytischen Software-Qualitätssicherung auf der Modulebene, Softwaretechnik-Trends, Band 11, Heft 2, S. 54-55, 1991
  • Liggesmeyer P., Kriterien für die Auswahl von Test-, Analyse- und Verifikationsverfahren in der Praxis, HMD Theorie und Praxis der Wirtschaftsinformatik, Jahrgang 29, Heft 166, S. 16-30, 1992
  • Liggesmeyer P., Ein experimentelles Testsystem für die Sprache HyperTalk (Kurzfassung), Softwaretechnik-Trends, Band 12, Heft 1, S. 12-13, 1992
  • Liggesmeyer P., Wissensbasierte Qualitätsassistenz zur problemspezifischen Konstruktion von Prüfstrategien (Kurzfassung), Softwaretechnik-Trends, Band 13, Heft 2, S. 20-21, 1993
  • Balzert H., Liggesmeyer P., Software-Qualitätssicherung: Neue Werkzeuge für Industrie und Lehre, RUBIN, 2/93, S. 40-45, 1993
  • Liggesmeyer P., Eine Methode zur Konstruktion von Prüfstrategien für Software, Informatik - Forschung & Entwicklung, Band 9, Heft 2, S. 82-92, 1994
  • Liggesmeyer P., Software-Komplexitätsmetriken zur Testunterstützung, Informatik - Forschung & Entwicklung, Band 9, Heft 3, S. 153-166, 1994
  • Liggesmeyer P., Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren, Softwaretechnik-Trends, Band 14, Heft 1, S. 11-12, 1994
  • Liggesmeyer P., Das Capability Maturity Model und die Bewertung von Software-Entwicklungsprozessen mit Assessments, Softwaretechnik-Trends, Band 14, Heft 2, S. 11-12, 1994
  • Liggesmeyer P., Spillner A., Software-Qualitätssicherung in der Praxis, Informatik Spektrum, Band 17, Heft 6, S. 368-372, 1994
  • Liggesmeyer P., Ein Überblick über objektorientiertes Testen, Softwaretechnik-Trends, Band 15,Heft 4, S. 14-15, 1995
  • Liggesmeyer P., A set of complexity metrics for guiding the software test process, Software Quality Journal, Vol. 4, No. 4, S. 257-273, 1995
  • Liggesmeyer P., Rüppel P., Die Prüfung von objektorientierter Systemen, OBJEKTspektrum, No. 6, November/Dezember, S. 68-78, 1996
  • Liggesmeyer P., Rüppel P., Problemlösung oder Problemquelle: Die Auswirkungen objektorientierter Systeme auf die Qualitätssicherung, COMPUTERWOCHE focus, 5. September 1997, S. 16-17, S. 34, 1997
  • Liggesmeyer P., Rothfelder M., Rettelbach M., Ackermann T., Qualitätssicherung softwarebasierter Systeme: Problembereiche und Lösungsansätze, Informatik-Spektrum, Band 21, Heft 5, S. 249-258, 1998
  • Liggesmeyer P., Statistische Messung und Prognose von Zuverlässigkeit, Softwaretechnik-Trends, Band 19, Heft 1, S. 7-8, 1999
  • Liggesmeyer P., Mäckel O., Automatisierung erweiterter Fehlerbaumanalysen für komplexe technische Systeme, at - Automatisierungstechnik, Band 48, Heft 2, S. 67-76, 2000
  • Spillner A., Liggesmeyer P., Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest, Informatik - Forschung & Entwicklung, Band 15, Heft 3, S. 119-120, 2000
  • Liggesmeyer P., Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren Entwicklung, LOG IN, Band 20, Heft 6, S. 19-23, 2000
  • Liggesmeyer P., Formale und stochastische Methoden zur Qualitätssicherung technischer Software, Softwaretechnik Trends, Band 20, Heft 3, 2000
  • Liggesmeyer P., Bedingungsüberdeckungstesttechniken: Vergleich, Bewertung und Anwendung in der Praxis, Softwaretechnik-Trends, Band 21, Heft 3, S. 15-17, 2001
  • Gericke J., Liggesmeyer P., Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen, Informatik - Forschung & Entwicklung, Band 17, Heft 2, S. 60-67, 2002
  • Liggesmeyer P., Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme, It - Information Technology, Band 45, Heft 1, S. 39-45, 2003
  • Robinson-Mallett Ch., Liggesmeyer P., Mücke T., Goltz U., Generating Optimal Distinguishing Sequences with a Model Checker, ACM SIGSOFT Software Engineering Notes, Band 30, Heft 4(7), 2005
  • Bauer T., Hermann J., Liggesmeyer P., Robinson-Mallett Ch., A Flexible Integration Strategy for In-Car Telematics Systems, ACM SIGSOFT Software Engineering Notes, Band 30, Heft 4(7), 2005
  • Robinson-Mallett Ch., Liggesmeyer P., Mücke T., Goltz U., Extended state identification and verification using a model checker, Information and Software Technology, Band 48, Heft 10, S. 981-992, 2006
  • Robinson-Mallett Ch., Hierons, R.M., Liggesmeyer P., Achieving communication coverage in testing, ACM SIGSOFT, Software Engineering Notes, Band 31, Heft 6, S. 1-10, 2006
  • Robinson-Mallett Ch., Hierons, R.M., iggesmeyer P., Poore, J.H., Using communication coverage criteria and partial model generation to assist software integration testing, Software Quality Journal, Band 16, Heft 2, S. 185-211, 2008
  • Liggesmeyer P., Trapp M., Trends in Embedded Software Engineering, IEEE Software, Band 26, Heft 3, S. 19-25, 2009
  • Wagner St., Broy M., Deißenböck F., Kläs M., Liggesmeyer P., Münch J., Streit J., Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda, Informatik Spektrum, Band 33, Heft 1, S. 37-44, 2010

Other

  • Liggesmeyer P., 2017. Reisefreuden - Reiseleiden, Heuser L. (Hrsg.): Heinz' Life 1962 - 2032, Kleine Geschichte vom Kommen und Gehen des Computers, München: Carl Hanser Verlag, S. 257-261, 2010



Übergeordnete Seite: Peter Liggesmeyer
Leiter der Arbeitsgruppe [mehr ...]
Feedback zu dieser Seite
Email an den Verantwortlichen dieser Seite (bizik@cs.uni-kl.de@informatik.uni-kl.de) [mehr ...]