[English]
[Deutsch]

Chair of Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Publications

Contact


Impressum

By Year | By Type | RSS
2017
[2017] N. Bhardwaj, P. Liggesmeyer, "A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems", in Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings, Trento, Italy: Springer, Cham. [bibtex] [pdf] [doi]
[2017] F. Möhrle et al., "A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations in Component Fault Trees", in Proc. of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications., Portorož, Slovenia: Taylor & Francis (CRC Press), 2017. [bibtex]
2016
[2016] S. Müller, P. Liggesmeyer, "Safety Assurance for Emergent Collaboration of Open Distributed Systems", in Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International Symposium on. [bibtex]
[2016] F. Möhrle et al., "Automating Compositional Safety Analysis Using a Failure Type Taxonomy for Component Fault Trees", in Risk, Reliability and Safety: Innovating Theory and Practice: Proceedings of ESREL., 2016, pp. 1380-1387. [bibtex]
[2016] S. Müller, P. Liggesmeyer, "Dynamic Safety Contracts for Functional Cooperation of Automotive Systems", in International Conference on Computer Safety, Reliability, and Security, 2016, pp. 171-182. [bibtex]
[2016] K. Holl et al., "Interaction with Mobile Systems as part of Smart Ecosystems", in Weyers, B. & Dittmar, A. (Hrsg.), Mensch und Computer 2016 – Workshopband. Aachen: Gesellschaft für Informatik e.V.. [bibtex]
2015
[2015] M. Roth, A. Hartoyo and P. Liggesmeyer, "Efficient reachability graph development for qualitive analysis of state/event fault trees", in Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on, pp. 144-151. [bibtex] [doi]
[2015] F. Möhrle et al., "Automated compositional safety analysis using component fault trees", in Software Reliability Engineering Workshops (ISSREW), 2015 IEEE International Symposium on, pp. 152-159. [bibtex] [doi]
[2015] C. Schmitt, P. Liggesmeyer, "A Model for Structuring and Reusing Security Requirements Sources and Security Requirements", in Proceedings of CRE'15 - 1st Workshop on Continuous Requirements Engineering, T. W. Raimundas Matulevi&269;ius, Ed., CEUR Workshop Proceedings, 2015, pp. 34-43. [bibtex] [pdf]
[2015] M. Steiner, P. Liggesmeyer, "Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account", in Computer Safety, Reliability, and Security, F. Koornneef, C. van Gulijk, Eds., Springer International Publishing, 2015, pp. 109-120. [bibtex] [pdf] [doi]
[2015] C. Schmitt, P. Liggesmeyer, "Instantiating a Model for Structuring and Reusing Security Requirements Sources", in IEEE 2nd Workshop on Evolving Security and Privacy Requirements Engineering, ESPRE 2015, 25 August, 2015, Ottawa, Canada, 2015, pp. 25-30. [bibtex]
[2015] C. Schmitt, P. Liggesmeyer, "Getting Grip on Security Requirements Elicitation by Structuring and Reusing Security Requirements Sources", in Complex Systems Informatics and Modeling Quarterly, 2015, pp. 15-34. [bibtex] [pdf] [doi]
[2015] M. Roth, P. Liggesmeyer, "Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems", in Computer Safety, Reliability, and Security, F. Koornneef, C. van Gulijk, Eds., Springer International Publishing, 2015, pp. 121-132. [bibtex] [pdf] [doi]
[2015] S. Müller, P. Liggesmeyer, "A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime", in Computer Safety, Reliability, and Security, F. Koornneef, C. van Gulijk, Eds., Springer International Publishing, 2015, pp. 156-166. [bibtex] [pdf] [doi]
2014
[2014] T. Khan et al., "Analyzing Software Architectural Relations through Interactive Visual Support", in ECSA '14: Proceedings of the 8th European Conference on Software Architecture, Springer. [bibtex]
[2014] T. Khan et al., "eCITY+: A Visual Environment for Analysing Software Structure and Evolution", in AVI '14: Proceedings of the International Working Conference on Advanced Visual Interfaces, ACM. [bibtex]
[2014] C. Schmitt, P. Liggesmeyer, "Implications of the Operational Environmental on Software Security Requirements Engineering", in Security in Information Systems, D. G. Rosado et al., Eds., SCITEPRESS, 2014, pp. 63-74. [bibtex]
[2014] T. Khan et al., "eCITY: Evolutionary Software Architecture Visualization – An Evaluation", in Building Bridges: HCI, Visualization, and Non-formal Modeling, A. Ebert et al., Eds., Springer Berlin Heidelberg, 2014, pp. 201-224. [bibtex] [doi]
[2014] R. AlTarawneh et al., "Enhancing Understanding of Safety Aspects in Embedded Systems Through an Interactive Visual Tool", in Proceedings of the Companion Publication of the 19th International Conference on Intelligent User Interfaces, New York, NY, USA: ACM, 2014, pp. 9-12. [bibtex] [pdf] [doi]
[2014] R. AlTarawneh et al., "Does Visualization Speed Up the Safety Analysis Process?", in Computer Safety, Reliability, and Security, A. Bondavalli, A. Ceccarelli, F. Ortmeier, Eds., Springer International Publishing, 2014, pp. 431-443. [bibtex] [doi]
2013
[2013] T. Khan et al., "Visual Exploration of Architectural Metric Data Evolution", in MetriKon 2013 - Praxis der Software-Messung: Tagungsband des DASMA Software Metrik Kongresses MetriKon 2013, Magdeburger Schriften zum Empirischen Software Engineering. [bibtex]
[2013] M. Roth, P. Liggesmeyer, "Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems", in 24th International Symposium on Software Reliability Engineering Workshops (ISSREW), 2013, pp. 353-358. [bibtex] [pdf] [doi]
[2013] T. Khan et al., "eCITY: A Tool to Track Software Structural Changes using an Evolving City", in 29th IEEE International Conference on Software Maintenance (ICSM 2013), IEEE Computer Society, pp. 492-495. [bibtex] [doi]
[2013] M. Steiner, P. Liggesmeyer, "Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System", in SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, M. ROY, Ed.. [bibtex] [pdf]
[2013] M. Roth, P. Liggesmeyer, "Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen", in Funktionale Sicherheit, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2013, pp. 117-126. [bibtex] [doi]
[2013] M. Roth, P. Liggesmeyer, "Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees", in SAFECOMP 2013 - Workshop DECS (ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, M. ROY, Ed.. [bibtex] [pdf]
[2013] T. Khan et al., "Evolutionary Software Architecture Visualization - An Evaluation of a Non-Formal Modeling Approach", in ECCE 2011 Workshop on Non-formal modelling for interaction design, 2013. [bibtex]
[2013] K. Jamboti et al., "Modeling and analysis of State/Event Fault Trees using ESSaRel", in DEPEND 2013, The Sixth International Conference on Dependability, ThinkMind, pp. 48. [bibtex] [pdf]
2012
[2012] R. AlTarawneh et al., "ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems.", in SIGRAD 2012, Interactive Visual Analysis of Data. [bibtex]
[2012] K. Jamboti, P. Liggesmeyer, "A Framework for Generating Integrated Component Fault Trees from Architectural Views", in 14th International Symposium on High-Assurance Systems Engineering (HASE), 2012, pp. 114-121. [bibtex] [doi]
[2012] T. Khan et al., "Software Architecture Visualization in Theory and Practice", in ECCE 2012 Workshop: Visualization -- Beauty or The Beast, ACM Press. [bibtex]
[2012] P. Keller, V. Köppen and P. Liggesmeyer, "Sicherheit in der Fahrzeugtechnik", OBJEKTSpektrum, vol. 06/12, Jun 2012. [bibtex]
[2012] P. Liggesmeyer et al., "Quality Improvement Through Visualization of Software and Systems", in Quality Assurance and Management, M. Savsar, Ed., Rijeka, Croatia: InTech, 2012, pp. 315-334. [bibtex] [pdf]
[2012] T. Khan et al., "Visualization and Evolution of Software Architectures", in Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - IRTG 1131 Workshop, C. Garth, A. Middel, H. Hagen, Eds., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, pp. 25-42. [bibtex] [pdf] [doi]
[2012] Y. Yang, P. Keller and P. Liggesmeyer, "Visual Approach Facilitating the Importance Analysis of Component Fault Trees", in Computer Safety, Reliability, and Security - SAFECOMP 2012, F. Ortmeier, P. Daniel, Eds., Berlin/Heidelberg, Germany: Springer, pp. 486-497. [bibtex]
[2012] Y. Yang et al., "Improving Safety-Critical Systems by Visual Analysis", in Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011, C. Garth, A. Middel, H. Hagen, Eds., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, pp. 43-58. [bibtex] [pdf] [doi]
[2012] M. Steiner, P. Keller and P. Liggesmeyer, "Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems", in Computer Safety, Reliability, and Security, F. Ortmeier, P. Daniel, Eds., Springer Berlin Heidelberg, 2012, pp. 454-465. [bibtex] [doi]
[2012] M. Roth, M. Steiner and P. Liggesmeyer, "Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme", in Kommunikation unter Echtzeitbedingungen, W. A. Halang, Ed., Berlin / Heidelberg, Germany: Springer, 2012, pp. 109-118. [bibtex] [doi]
2011
[2011] Y. Yang et al., "ViSSaAn: Visual Support for Safety Analysis", in Scientific Visualization: Interactions, Features, Metaphors, H. Hagen, Ed., Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2011, pp. 378-395. [bibtex] [pdf] [doi]
[2011] S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2011 im Rahmen der SE 2011, pp. 45. [bibtex]
[2011] M. Trapp, T. Kuhn and P. Liggesmeyer, "Modellbasierte Entwicklung eingebetteter Softwaresysteme", ELEKTRONIKPRAXIS. Embedded Software, Engineering Report, no. 1, 2011. [bibtex]
[2011] P. Liggesmeyer, "Architekturen Eingebetteter Systeme", in Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb, 3rd ed. H. Balzert, Ed., Elsevier, Spektrum Akademischer Verlag, 2011, pp. 123; 125; 126; 397-411. [bibtex]
2010
[2010] S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2010 im Rahmen der SE 2010, pp. 250. [bibtex]
[2010] S. Wagner et al., "Softwarequalitätsmodelle – Praxisempfehlungen und Forschungsagenda", Informatik Spektrum, vol. 33, no. 1, 2010, pp. 37-44. [bibtex]
[2010] K. Nehring, P. Liggesmeyer, "Tracing Structural Changes of Adaptive Systems", in ADAPTIVE 2010: The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, Lisbon, Portugal: IARIA, pp. 142-145. [bibtex] [pdf]
[2010] A. Mouaffo et al., "Tool support for a safety- and security- based assessment model for software engineering processes", in Software Process Improvement And Capability dEtermination (SPICE) Conference, 2010. [bibtex]
[2010] P. Liggesmeyer, "2017. Reisefreuden - Reiseleiden", in Heinz' Life 1962 - 2032. Kleine Geschichte vom Kommen und Gehen des Computers, L. Heuser, Ed., Munich, Germany: Carl Hanser Verlag, 2010, pp. 257-261. [bibtex]
[2010] Z. Guo et al., "Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques", in Software Engineering Advances (ICSEA), 2010 Fifth International Conference on, IEEE, pp. 508-513. [bibtex] [doi]
[2010] C. Gomez, P. Liggesmeyer and A. Sutor, "Variability management of safety and reliability models: an intermediate model towards systematic reuse of component fault trees", in Proceedings of the 29th international conference on Computer safety, reliability, and security, Berlin / Heidelberg, Germany: Springer, 2010, pp. 28-40. [bibtex] [pdf]
[2010] C. Gomez et al., "A new approach towards systematic reuse of safety and reliability models", in Reliablity, Risk and Safety Back to the Future: Proceedings of the European Safety and Reliability conference 2010, London: CRC Press / Balkema, pp. 818-824. [bibtex]
[2010] J. Dörr, P. Liggesmeyer, "3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2010 - SE 2010, pp. 243. [bibtex]
2009
[2009] S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2009 im Rahmen der SE 2009, pp. 211. [bibtex]
[2009] P. Liggesmeyer, M. Trapp, "Trends in Embedded Software Engineering", IEEE Software, vol. 26, no. 3, 2009, pp. 19-25. [bibtex]
[2009] P. Liggesmeyer et al., "Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control", in Human-Computer Interaction. New Trends. 13th International Conference,HCI International 2009 - Proceedings, Part I, pp. 846-855. [bibtex]
[2009] P. Liggesmeyer, Software-Qualität, 2nd ed. Heidelberg, Germany: Spektrum-Verlag, 2009. [bibtex]
2008
[2008] S. Wagner et al., "Software-Qualitätsmodellierung und -bewertung", in SQMB 2008 - im Rahmen der SE 2008, pp. 295-297. [bibtex]
[2008] S. Wagner et al., "Eine Forschungsagenda für Softwarequalität", in Software-Qualitätsmodellierung und -bewertung - SQMB'08 Workshop-Band, pp. 47-59. [bibtex]
[2008] C. Robinson-Mallett et al., "Using communication coverage criteria and partial model generation to assist software integration testing", Software Quality Journal, vol. 16, no. 2, 2008, pp. 185-211. [bibtex]
[2008] P. Liggesmeyer, "Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense", in Industrialisierung des Software-Managements 2008, pp. 13. [bibtex]
[2008] J. Dörr, P. Liggesmeyer, "2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2008 - SE 2008. [bibtex]
[2008] C. Denger, M. Trapp and P. Liggesmeyer, "SafeSpection - A Systematic Customization Approach for Software Hazard Identification", in SAFECOMP 2008: The 27th International Conference on Computer Safety, Reliability and Security, pp. 44-57. [bibtex]
2007
[2007] P. Liggesmeyer, H. Rombach, "Software Engineering", in Technologieführer. Grundlagen - Anwendungen - Trends, H. J. Bullinger, Ed., Springer, 2007, pp. 166-169. [bibtex]
[2007] P. Liggesmeyer, "Formal Techniques in Software Engineering: Correct Software and Safe Systems", in 20th International Conference, Theorem Proving in Higher Order Logics - TPHOLs 2007, pp. 3-4. [bibtex]
[2007] J. Doerr, P. Liggesmeyer, "Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2007 - SE 2007, pp. 285-286. [bibtex]
[2007] C. Denger, P. Liggesmeyer and M. Trapp, "Safety Engineering für eingebettete Softwaresysteme", in Software Engineering 2007 - SE 2007, pp. 287-292. [bibtex]
2006
[2006] C. Robinson-Mallett et al., "Extended state identification and verification using a model checker", Information and Software Technology, vol. 48, no. 10, 2006, pp. 981-992. [bibtex]
[2006] C. Robinson-Mallett, P. Liggesmeyer, "State Identification and Verification using a Model Checker", in Software Engineering 2006 - SE 2006, pp. 131-142. [bibtex]
[2006] C. Robinson-Mallett, R. Hierons and P. Liggesmeyer, "Achieving communication coverage in testing", ACM SIGSOFT Software Engineering Notes, vol. 31, no. 6, 2006, pp. 1-10. [bibtex]
[2006] R. Kalcklösch, P. Liggesmeyer, "Communication Test for Object-Oriented Systems using Gossiped Data", in 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI): Informatik 2006 – Informatik für Menschen!, pp. 282-283. [bibtex]
2005
[2005] C. Robinson-Mallett et al., "Generating Optimal Distinguishing Sequences with a Model Checker", ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, 2005. [bibtex]
[2005] C. Robinson-Mallett et al., "Generating Optimal Distinguishing Sequences with a Model Checker", in 1st International Workshop on Advances in Model-Based Testing - A-MOST 2005. [bibtex]
[2005] P. Liggesmeyer, "Prüfung eingebetteter Software", in Software Engineering eingebetteter Systeme. Grundlagen – Methodik – Anwendungen, P. Liggesmeyer, H. Rombach, Eds., Elsevier, Spektrum Akademischer Verlag, 2005, pp. 205-225. [bibtex]
[2005] P. Liggesmeyer, "Einleitung und Überblick", in Software Engineering eingebetteter Systeme. Grundlagen – Methodik – Anwendungen, P. Liggesmeyer, H. Rombach, Eds., Elsevier, Spektrum Akademischer Verlag, 2005, pp. 1-12. [bibtex]
[2005] T. Bauer et al., "A Flexible Integration Strategy for In-Car Telematics Systems", ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, 2005. [bibtex]
[2005] T. Bauer et al., "A Flexible Integration Strategy for In-Car Telematics Systems", in 2nd International Workshop on Software Engineering for Automotive Systems - SEAS 2005. [bibtex]
2004
[2004] P. Liggesmeyer, O. Mäckel, "A Comprehensive Approach for Automated Safety and Reliability Analysis of Systems", in Probalistic Safety Assessment and Management - PSAM 7 - ESREL 04, 2004. [bibtex]
2003
[2003] P. Liggesmeyer, "Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme", It – Information Technology, vol. 45, no. 1, 2003, pp. 39-45. [bibtex]
[2003] B. Kaiser, P. Liggesmeyer and O. Mäckel, "A new component concept for fault trees", in 8th Australian Workshop on Industrial Experience with Safety Critical Systems and Software – SCS 2003. [bibtex]
2002
[2002] P. Liggesmeyer, Software-Qualität, Heidelberg, Germany: Spektrum-Verlag, 2002. [bibtex]
[2002] J. Gericke, P. Liggesmeyer, "Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen", Informatik – Forschung & Entwicklung, vol. 17, no. 2, 2002, pp. 60-67. [bibtex]
2001
[2001] P. Liggesmeyer, O. Mäckel, "Quantifying the reliability of embedded systems by automated analysis", in DSN 2001. [bibtex]
[2001] P. Liggesmeyer, O. Mäckel, "Automatic Reliability Analysis of Electronic Designs using Fault Trees", in 13. Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2001. [bibtex]
[2001] P. Liggesmeyer, "Bedingungsüberdeckungstesttechniken: Vergleich, Bewertung und Anwendung in der Praxis", Softwaretechnik Trends, vol. 21, no. 3, 2001, pp. 15-17. [bibtex]
[2001] P. Liggesmeyer, "Entwicklung technischer Software: Eine Situationsanalyse", in ADA-Deutschland Tagung 2001. [bibtex]
2000
[2000] A. Spillner, P. Liggesmeyer, "Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest", Informatik – Forschung & Entwicklung, vol. 15, no. 3, 2000, pp. 119-120. [bibtex]
[2000] P. Liggesmeyer, O. Mäckel, "Automatisierung erweiterter Fehlerbaumanalysen für komplexe technische Systeme", at - Automatisierungstechnik, vol. 48, no. 2, 2000, pp. 67-76. [bibtex]
[2000] P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", Softwaretechnik Trends, vol. 20, no. 3, 2000. [bibtex]
[2000] P. Liggesmeyer, "Qualitätsmanagement technischer Software – Standortbestimmung und Prognose der weiteren Entwicklung", LOG IN, vol. 20, no. 6, 2000, pp. 19-23. [bibtex]
[2000] P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", in Informatik 2000. [bibtex]
[2000] P. Liggesmeyer, "Automated Failure Modeling of Embedded Systems", in 17th International Conference on Testing Computer Software, 2000. [bibtex]
[2000] P. Liggesmeyer, Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg, Germany: Spektrum-Verlag, 2000. [bibtex]
1999
[1999] P. Liggesmeyer, O. Mäckel, "Statistische Messung und Prognose von Zuverlässigkeit", in Workshop der GI-Fachgruppen 2.1.4 und 3.6.2: Sicherheit und Zuverlässigkeit software-basierter Systeme, 1999. [bibtex]
[1999] P. Liggesmeyer, "Statistische Messung und Prognose von Zuverlässigkeit", Softwaretechnik-Trends, vol. 19, no. 1, 1999, pp. 7-8. [bibtex]
[1999] P. Liggesmeyer, "Quantified Risk Assessment and Test Support by Automated Fault Tree Analysis", in 7th European International Conference on Software Testing, Analysis and Review – EuroSTAR ´99, 1999. [bibtex]
[1999] P. Liggesmeyer, "Testing non-functional quality characteristics of software-based systems", in Conquest '99. [bibtex]
1998
[1998] M. Rettelbach, P. Liggesmeyer and M. Greiner, "Prediction of Project Quality by applying Stochastic Techniques to Measures based on Accounting Data: An Industrial Case Study", in 2nd International European Quality Week, 1998. [bibtex]
[1998] P. Liggesmeyer et al., "Qualitätssicherung softwarebasierter Systeme: Problembereiche und Lösungsansätze", Informatik-Spektrum, vol. 21, no. 5, 1998, pp. 249-258. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Towards Automated Proof of Fail-safe Behavior", in SAFECOMP 98, The 17th International Conference on Computer Safety, Reliability and Security, 1998, pp. 169-184. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Going beyond Correctness: Improving Software Robustness", in 11th International Software Quality Week, 1998. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Improving System Reliability with Automatic Fault Tree Generation", in 28th Annual Fault Tolerant Computing Symposium, 1998, pp. 90-99. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "System Safety Improvement by Automated Software Robustness Evaluation", in 15th International Conference on Testing Computer Software, 1998, pp. 71-77. [bibtex]
[1998] P. Liggesmeyer, M. Rothfelder, "Automating Reliability and Safety Analysis Based on Formal System Models", in International Conference and workshop: Engineering of Computer Based Systems, 1998, pp. 264-271. [bibtex]
[1998] P. Liggesmeyer, T. Ackermann, "Applying Reliability Engineering: Empirical Results, Lessons Learned, and Furthermore Improvements", in ISSRE ´98, The 9th International Symposium on Software Reliability Engineering, 1998, pp. 263-271. [bibtex]
1997
[1997] P. Liggesmeyer, P. Rüppel, "Problemlösung oder Problemquelle: Die Auswirkungen objektorientierter Systeme auf die Qualitätssicherung", COMPUTERWOCHE focus, Sep 1997, pp. 16-17. [bibtex]
1996
[1996] P. Liggesmeyer, P. Rüppel, "Die Prüfung von objektorientierter Systemen", OBJEKTspektrum, no. 6, 1996, pp. 68-78. [bibtex]
[1996] P. Liggesmeyer, "Methoden und Techniken für die Prüfung objektorientierter Systeme", in Object World, 1-7, 1996. [bibtex]
[1996] P. Liggesmeyer, "Qualitätssicherung von Telekommunikationssoftware und -systemen", in 1st G-IIA-Symposium, German Branch oft he International Informatization Academy (G-IIA), 1996, pp. 93-100. [bibtex]
[1996] P. Liggesmeyer, "Quantitative Bewertung von Software-Prüfverfahren durch unscharfe Logik", in GI-Fachtagung Softwaretechnik '96, pp. 81-88. [bibtex]
[1996] P. Liggesmeyer, "Fuzzy Logic based Decision Support for Improving the Testing Process", in 13th International Conference on Testing Computer Software, 1996, pp. 101-110. [bibtex]
[1996] P. Liggesmeyer, "Selecting Test Methods, Techniques, Metrics and Tools Using Systematic Decision Support", in 9th International Software Quality Week, 1996. [bibtex]
[1996] P. Liggesmeyer, "Selecting engineering techniques using fuzzy logic based decision support", in 1996 International IEEE Symposium on Engineering of Computer-Based Systems - ECBS ´96, pp. 427-434. [bibtex]
[1996] P. Liggesmeyer, "Die Bewertung und Verbesserung von Software-Entwicklungsprozessen mit Assessments", in Test, Analyse und Verifikation von Software, M. Müllerburg, A. Spillner, P. Liggesmeyer, Eds., Oldenbourg, 1996, pp. 155-168. [bibtex]
[1996] P. Liggesmeyer, "Metriken zur Planung, Steuerung und Optimierung des Softwaretests", in Software-Metriken in der Praxis, R. Dumke, C. Ebert, Eds., Springer, 1996, pp. 84-104. [bibtex]
1995
[1995] P. Liggesmeyer, "A set of complexity metrics for guiding the software test process", Software Quality Journal, vol. 4, no. 4, 1995, pp. 257-273. [bibtex]
[1995] P. Liggesmeyer, "The influence of object orientation and process orientation on software testing", in 3rd European International Conference on Software Testing, Analysis and Review – EuroSTAR ´95, 1995, pp. 25/1-25/10. [bibtex]
[1995] P. Liggesmeyer, "Software-Qualitätssicherung: Chancen und Risiken neuer Entwicklungen", in Software DevCon, 1995, pp. 101-106. [bibtex]
[1995] P. Liggesmeyer, "A framework for selecting appropriate test techniques", in 4th International Conference on Software Testing, Analysis and Review – STAR ´95, 1995, pp. 725-733. [bibtex]
[1995] P. Liggesmeyer, "Software Engineering und Software-Qualitätssicherung: Was kann man von neuen Techniken erwarten?", in 10. SAVE-Frühjahrstagung, 1995. [bibtex]
1994
[1994] P. Liggesmeyer, A. Spillner, "Software-Qualitätssicherung in der Praxis", Informatik Spektrum, vol. 17, no. 6, 1994, pp. 368-372. [bibtex]
[1994] P. Liggesmeyer, "Ein Überblick über objektorientiertes Testen", Softwaretechnik-Trends, vol. 15, no. 4, 1994, pp. 14-15. [bibtex]
[1994] P. Liggesmeyer, "Das Capability Maturity Model und die Bewertung von Software-Entwicklungsprozessen mit Assessments", Softwaretechnik-Trends, vol. 14, no. 2, 1994, pp. 11-12. [bibtex]
[1994] P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", Softwaretechnik-Trends, vol. 14, no. 1, 1994, pp. 11-12. [bibtex]
[1994] P. Liggesmeyer, "Software-Komplexitätsmetriken zur Testunterstützung", Informatik – Forschung & Entwicklung, vol. 9, no. 3, 1994, pp. 153-166. [bibtex]
[1994] P. Liggesmeyer, "Eine Methode zur Konstruktion von Prüfstrategien für Software", Informatik – Forschung & Entwicklung, vol. 9, no. 2, 1994, pp. 82-92. [bibtex]
[1994] P. Liggesmeyer, "Achieving reliable software by adapting test, analysis, and verification techniques to the requirements of the test process", in ICINAS-94 International Infomatization Forum II – International Conference on Informational Networks and Systems, 1994, pp. 73-83. [bibtex]
[1994] P. Liggesmeyer, "A method for the selection of suitable unit test techniques", in 2nd European International Conference on Software Testing, Analysis and Review – EuroSTAR ´94, 1994, pp. 23/1-23/10. [bibtex]
[1994] P. Liggesmeyer, "Selecting adequate test techniques in the real world", in 11th International Conference on Testing Computer Software, 1994, pp. 61-69. [bibtex]
1993
[1993] P. Liggesmeyer, "Wissensbasierte Qualitätsassistenz zur problemspezifischen Konstruktion von Prüfstrategien (Kurzfassung)", Softwaretechnik-Trends, vol. 13, no. 2, 1993, pp. 20-21. [bibtex]
[1993] P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", in GI-Fachtagung Softwaretechnik '93, pp. 103-110. [bibtex]
[1993] P. Liggesmeyer, "Werkzeuge für den Softwaretest – ein Vergleich", in CASE – Auswahl, Einführung, Erfahrungen, H. Balzert, Ed., Mannheim, Germany: BI Wissenschaftsverlag, 1993, pp. 127-148. [bibtex]
[1993] P. Liggesmeyer, Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
[1993] H. Balzert, P. Liggesmeyer, "Software-Qualitätssicherung: Neue Werkzeuge für Industrie und Lehre", RUBIN, 1993, pp. 40-45. [bibtex]
[1993] H. Balzert, P. Liggesmeyer, Systematisches Testen mit Tensor, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
1992
[1992] P. Liggesmeyer, A. Dregger and H. Balzert, "Ein experimentelles Testsystem für die Sprache HyperTalk", in Testen, Analysieren und Verifizieren von Software, P. Liggesmeyer, H. Sneed, A. Spillner, Eds., Berlin / Heidelberg, Germany: Springer, 1992, pp. 177-186. [bibtex]
[1992] P. Liggesmeyer, "Ein experimentelles Testsystem für die Sprache HyperTalk (Kurzfassung)", Softwaretechnik-Trends, vol. 12, no. 1, 1992, pp. 12-13. [bibtex]
[1992] P. Liggesmeyer, "Kriterien für die Auswahl von Test-, Analyse- und Verifikationsverfahren in der Praxis", HMD Theorie und Praxis der Wirtschaftsinformatik, vol. 29, no. 166, 1992, pp. 16-30. [bibtex]
[1992] P. Liggesmeyer, "Testen, Analysieren und Verifizieren von Software – eine klassifizierende Übersicht der Verfahren", in Testen, Analysieren und Verifizieren von Software, S. Liggesmeyer P., A. Spillner, Eds., Berlin / Heidelberg, Germany: Springer, 1992, pp. 1-25. [bibtex]
[1992] P. Liggesmeyer, "TensorC, TensorM, TensorP – Werkzeuge zur Testunterstützung", in CASE Systeme und Werkzeuge, H. Balzert, Ed., Mannheim, Germany: BI Wissenschaftsverlag, 1992, pp. 505-520. [bibtex]
1991
[1991] P. Liggesmeyer, "Klassifikation der Verfahren zur analytischen Software-Qualitätssicherung auf der Modulebene", Softwaretechnik-Trends, vol. 11, no. 2, 1991, pp. 54-55. [bibtex]
1990
[1990] P. Liggesmeyer, Modultest und Modulverifikation – State of the Art, Mannheim, Germany: BI Wissenschaftsverlag, 1990. [bibtex]
1988
[1988] P. Liggesmeyer, L. Sturm, "Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen", Angewandte Informatik, vol. 30, no. 6, 1988, pp. 252-258. [bibtex]