Fachbereich Informatik

Lehrstuhl Software Engineering: Dependability

Sitemap
Suche

Publikationen

2021

 

2020

 
  •  S. Theobald, A. Schmitt, “Dependencies of Agile Teams – An Analysis of the Scaled Agile Framework”, Second International Workshop on Autonomous Agile Teams, at the International Conference on Agile Software Development, 2020, DOI:doi.org/10.1007/978-3-030-58858-8_22.
 
 
  • S. Theobald, N. Prenner, A. Krieg, K. Schneider, “Agile Leadership and Agile Management on Organizational Level – A Systematic Literature Review”, in International Conference on Product-Focused Software Process Improvement, 2020, DOI:doi.org/10.1007/978-3-030-64148-1_2.
 
 
  • P. Guckenbiehl, S. Theobald, “Impediment Management of Agile Software Development Teams”, in International Conference on Product-Focused Software Process Improvement, 2020, DOI:doi.org/10.1007/978-3-030-64148-1_4.
 
 
  • C.H. Koo, N. Laxman and  F. Möhrle, “Runtime safety analysis for reconfigurable production systems”, in the 30th European Safety and Reliability Conference (ESREL). Research Publishing, Singapore , 2020.
 
 
  • N. Laxman, C. H. Koo and P. Liggesmeyer,  “U-Map: A Reference Map for Safe Handling of Runtime Uncertainties”, in International Symposium on Model-Based Safety and Assessment Springer, Cham, 2020, pp. 227-241, DOI:doi.org/10.1007/978-3-030-58920-2_15.
 
 
  • N. Laxman and P. Liggesmeyer,” Should we “Safely” handle uncertainties at runtime? - A rather seldom asked question”, in the 31st International Symposium on Software Reliability Engineering (ISSRE), 2020, DOI:10.1109/ISSREW51248.2020.00065.
 
 
  • K. Marner, S. Theobald and S. Wagner, "Release Planning in a Hybrid Project Environment", in Advances in Agile and User-Centred Software Engineering, Springer, Cham, 2020, pp. 19-40, DOI:doi.org/10.1007/978-3-030-37534-8_2.
 
 
  • E. Cioroaica, et al., ”Towards Creation of Automated Prediction Systems for Trust and Dependability Evaluation”, in International Conference on Software, Telecommunications and Computer Networks (SoftCOM). IEEE, 2020. p. 1-6, DOI:10.23919/SoftCOM50211.2020.9238329.
 
 
  • E. Cioroaica, B. Buhnova, T. Kuhn, and D. Schneider, “Building trust in the untrustable”, in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, 2020, DOI: doi.org/10.1145/3377815.3381378.
 
 
  • E. Cioroaica, S. Chren, B. Buhnova, T. Kuhn and D. Dimitrov, "Reference Architecture for Trust-Based Digital Ecosystems, "IEEE International Conference on Software Architecture Companion (ICSA-C), Salvador, Brazil, 2020, pp. 266-273, DOI: 10.1109/ICSA-C50368.2020.<wbr />00051.
 
 
  • Z. Müller-Zhang, P. O. Antonino and T. Kuhn, "Dynamic Process Planning using Digital Twins and Reinforcement Learning," in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vienna, Austria, 2020, pp. 1757-1764, doi: 10.1109/ETFA46521.2020.9211946.
 

2019

  • J. Jahic et al., "Mitigating the Influence of Embedded Software Development Environments and Toolsets (ESDT) on Software Architecture",  IEEE International Conference on Software Architecture (ICSA), 2019, pp. 111-120. [bibtex] [doi]
  • S. Theobald, A. Schmitt and P. Diebold, "Comparing scaling agile frameworks based on underlying practices", in International Conference on Agile Software Development, 2019, pp. 88-96. [bibtex]
  • A. Schmitt, S. Theobald and P. Diebold, "Comparison of Agile Maturity Models", in International Conference on Product-Focused Software Process Improvement, 2019, pp. 661-671. [bibtex]
  • K. Marner, S. Theobald and S. Wagner, "Real-Life challenges in automotive release planning",in Federated Conference on Computer Science and Information Systems (FedCSIS), 2019, pp. 831-839. [bibtex]
  • C. Hildebrandt et al., "EURECA: epistemic uncertainty classification scheme for runtime information exchange in collaborative system groups", SICS Software-Intensive Cyber-Physical Systems, vol. 34, no. 4, 2019, pp. 177-190. [bibtex] [doi]
  • P. Guckenbiehl, S. Theobald, "Assessment of Agile Culture", in Projektmanagement und Vorgehensmodelle 2019, pp. 165. [bibtex]
  • P. Diebold et al., "Stepwise transition to agile: From three agile practices to Kanban adaptation", Journal of Software: Evolution and Process, vol. 31, no. 5, 2019, pp. e2167. [bibtex]
  • E. Cioroaica et al., "Towards creation of a reference architecture for trust-based digital ecosystems", in Proceedings of the 13th European Conference on Software Architecture-Volume 2, 2019, pp. 273-276. [bibtex]
  • E. Cioroaica et al., "Simulation methods and tools for collaborative embedded systems: with focus on the automotive smart ecosystems", SICS Software-Intensive Cyber-Physical Systems, vol. 34, no. 4, 2019, pp. 213-223. [bibtex]
  • E. Cioroaica et al., "Predictive Runtime Simulation for Building Trust in Cooperative Autonomous Systems", in 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2019, pp. 86-89. [bibtex]
  • E. Cioroaica, T. Kuhn and B. Buhnova, "(Do not) trust in ecosystems", in IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2019, pp. 9-12. [bibtex]
  • P. O. Antonino et al., "Blueprints for architecture drivers and architecture solutions for Industry 4.0 shopfloor applications", in Proceedings of the 13th European Conference on Software Architecture-Volume 2, 2019, pp. 261-268. [bibtex]

2018

  • D. T. Daniel et al., "Towards Viewpoint-driven Visual Analysis for Effective Architecture Recovery", in  IEEE Working Conference on Software Visualization (VISSOFT), 2018, pp. 132-136. [bibtex]
  • C. Wolschke et al., "Mining Test Inputs for Autonomous Vehicles", in Commercial Vehicle Technology 2018, Springer, 2018, pp. 102-113. [bibtex]
  • S. Theobald, P. Diebold, "Interface Problems of Agile in a Non-agile Environment", in International Conference on Agile Software Development, 2018, pp. 123-130. [bibtex]
  • F. L. Leite, D. Schneider and R. Adler, "Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systems", in International Conference on Computer Safety, Reliability, and Security, 2018, pp. 126-138. [bibtex]
  • A. Krieg, S. Theobald and S. Küpper, "Erfolgreiche agile Projekte benötigen ein agiles Umfeld - Was definiert eine agile Organisation?", in Projektmanagement und Vorgehensmodelle, 2018. [bibtex]
  • B. Kaiser et al., "Advances in Component Fault Trees", in Safety and Reliability -- Safe Societies in a Changing World: Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway, Taylor & Francis (CRC Press). [bibtex]
  • P. Hohl et al., "Mapping Agility to Automotive Software Product Line Concerns", in International Conference on Product-Focused Software Process Improvement, 2018, pp. 409-421. [bibtex]
  • P. Feth et al., "Multi-aspect Safety Engineering for Highly Automated Driving", in International Conference on Computer Safety, Reliability, and Security, 2018, pp. 59-72. [bibtex]
  • P. Feth et al., "Dynamic Risk Assessment for Vehicles of Higher Automation Levels by Deep Learning", arXiv preprint arXiv:1806.07635, 2018. [bibtex]
  • P. Feth, R. Adler and D. Schneider, "A Context-Aware, Confidence-Disclosing and Fail-Operational Dynamic Risk Assessment Architecture", in 2018 14th European Dependable Computing Conference (EDCC), pp. 190-194. [bibtex]
  • P. Diebold, A. Schmitt and S. Theobald, "Scaling Agile – How to Select the Most Appropriate Framework", in Proceedings of the 19th International Conference on Agile Software Development, 2018. [bibtex]
  • P. Diebold, S. Theobald, "How is agile development currently being used in regulated embedded domains?", Journal of Software: Evolution and Process, 2018, pp. e1935. [bibtex]
  • E. Cioroaica, T. Kuhn and T. Bauer, "Prototyping Automotive Smart Ecosystems", in 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pp. 255-262. [bibtex]

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]
  • C. Wolschke et al., "Observation Based Creation of Minimal Test Suites for Autonomous Vehicles", in IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017,  pp. 294-301. [bibtex]
  • P. Liggesmeyer, Smart Everything - welche Macht hat IT?, W. Blocher, D. Heckmann, H. Zech (Hrsg.): Jahrbuch der Deutschen Gesellschaft für Recht und Informatik (DGRI), Verlag Dr. Otto Schmidt KG, Köln, 2017, pp. 65-70. [bibtex]
  • P. Liggesmeyer, "Alles 4.0! Oder manchmal doch 3.5?", Informatik-Spektrum, vol. 40, no. 2, 2017, pp. 210-215. [bibtex]
  • A. Prohaska, "Dependency-Aware Fault Trees", in Proc. of the Embedded World Conference, 2017. [bibtex]
  • P. Liggesmeyer, M. Trapp, "Safety in der Industrie 4.0: Herausforderungen und Lösungsansätze", in Handbuch Industrie 4.0 Bd.\, 1: Produktion, 2 ed. B. Vogel-Heuser, T. Bauernhansl, M. ten Hompel, Eds., Berlin: Springer, 2017, pp. 107-123. [bibtex] [doi]

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] [doi]
  • 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: Proc. of ESREL., 2016, pp. 1380-1387. [bibtex]
  • P. Liggesmeyer, "IoT, Industrie 4.0 und Big Data: Herausforderungen für die Informatik und die GI.", in GI-Jahrestagung, 2016, pp. 45-46. [bibtex]
  • 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]
  • R. AlTarawneh et al., "Improving the failure understanding in embedded systems through interactive visual support: an evaluation study", in Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!, 2016, pp. 32. [bibtex]
  • K. Bizik et al., "Modular Safety Assurance, Springer International", in Advanced Model-Based Engineering of Embedded Systems: Extensions of the SPES 2020 Methodology, 2016. [bibtex] [doi]

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]
  • 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]
  • T. Khan et al., "Visual analytics of software structure and metrics", in Software Visualization (VISSOFT), 2015 IEEE 3rd Working Conference on, pp. 16-25. [bibtex]
  • T. Khan et al., "An Interactive Approach for Inspecting Software System Measurements", in Human-Computer Interaction, 2015, pp. 1-8. [bibtex]
  • K. Jamboti et al., "Improved nomenclature schemes for Component Fault Trees and State/Event Fault Trees", Nutritional Care of the Patient with Gastrointestinal Disease, 2015, pp. 145. [bibtex]
  • T. Eymann et al., "Addressing grand challenges", Business & Information Systems Engineering, vol. 57, no. 6, 2015, pp. 409-416. [bibtex]
  • R. AlTarawneh et al., "Layman: A visual interactive tool to support failure analysis in embedded systems", in Proceedings of the  European Conference on Software Architecture Workshops, 2015, pp. 68. [bibtex]
  • 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]
  • C. Schmitt et al., "Bedrohungen kennen und sich erfolgreich dagegen schützen: Effektive Analyse von IT-Security-Risiken in einem heterogenen Produkt- und Lösungsportfolio", in OBJEKTspektrum, 2015, pp. 14-18. [bibtex]

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]
  • 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]
  • R. AlTarawneh, J. Schultz and S. R. Humayoun, "CluE: An Algorithm for Expanding Clustered Graphs", in Pacific Visualization Symposium (PacificVis), 2014, pp. 233-237. [bibtex] [doi]
  • R. AlTarawneh et al., "Poster: 3DintEx - A tool to explore interactively the structural and behavioral aspects of system models in 3D environments", in 3D User Interfaces (3DUI), 2014 IEEE Symposium on, pp. 141-142. [bibtex] [doi]
  • P. Liggesmeyer, B. Monien, "Preface to the self-portrayals of the GI Junior Fellows", it-Information Technology, vol. 56, no. 5, 2014, pp. 254-254. [bibtex]
  • D. T. Daniel et al., "Polyptychon: A hierarchically-constrained classified dependencies visualization", in Software Visualization (VISSOFT), 2014 Second IEEE Working Conference on, pp. 83-86. [bibtex]
  • R. AlTarawneh et al., "Essavis++: an interactive 2d plus 3d visual environment to help engineers in understanding the safety aspects of embedded systems", in Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, pp. 201-204. [bibtex]
  • R. AlTarawneh et al., "Does Visualization Speed Up the Safety Analysis Process?", in International Conference on Computer Safety, Reliability, and Security, 2014, pp. 431-443. [bibtex]
  • 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]
  • H. Mohammad, P. Patil, "Verification of Transport Protocol's Parallel Routing of a Vehicle Gateway System", Vehicular 2014, The Third International Conference on Advances in Vehicular Systems, Technologies and Applications, 2014, pp. 39-45. [bibtex]
  • H. Mohammad, S. M. Shamoon, "Handling conflicts to test transport protocol's parallel routing on a vehicle gateway system", Federated Conference on Computer Science and Information Systems (FedCSIS), 2014, pp. 1559-1568. [bibtex] [doi]
  • 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]
  • 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

  • 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]
  • R. Altarawneh et al., "ESSAVis: A 2Dplus3D Visual Platform for Speeding Up the Maintenance Process of Embedded Systems", in 27th Int. British Computer Society Human Computer Interaction Conference (HCI 2013). [bibtex]
  • 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]
  • R. AlTarawneh, S. R. Humayoun, "Evolving Prototypes Towards The Best-suited Design and Interaction Schema Using The Genetic Algorithm.", in MobileHCI, Workshop: PID-MAD 2013 (Best Paper Award). [bibtex]
  • R. AlTarawneh, S. R. Humayoun, "A Two-Perspective Visualization Approach for Utilizing Visualization Power in Computer Science Education.", in ACM Computer Science Education Research Conference (CSERC13), 2013. [bibtex]
  • R. AlTarawneh et al., "The Extended Stereoscopic Highlighting Technique For Node-Link Diagrams: An Empirical Study", in 14th IASTED International Conference on Computer Graphics and Imaging (CGIM 2013). [bibtex]
  • M. Trapp, D. Schneider and P. Liggesmeyer, "A safety roadmap to cyber-physical systems", in Perspectives on the future of software engineering, Springer, 2013, pp. 81-94. [bibtex]
  • 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]
  • 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]
  • R. AlTarawneh, S. R. Humayoun, "Evolving Mobile Prototypes Towards The Best-suited Design and Interaction Schema Using The Genetic Algorithm.", International Journal of Mobile Human Computer Interaction (IJMHCI), 2013. [bibtex]
  • R. AlTarawneh et al., "The Reflection Layer Extension to the Stereoscopic Highlight Technique for Node-Link Diagrams: An Empirical Study", in Advances in Visual Computing, G. Bebis et al., Eds., Berlin/Heidelberg: Springer, 2013, pp. 1-12. [bibtex] [doi]

2012

  • R. AlTarawneh et al., "ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems.", in SIGRAD 2012, Interactive Visual Analysis of Data. [bibtex]
  • A. M. Tiadjio, K. Jamboti, "Requirements and Evaluation of Safety Analysis Techniques for Ambient Assisted Living Systems", in 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), 2012, pp. 319-324. [bibtex] [doi]
  • 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]
  • R. AlTarawneh, "A Framework for Utilizing Visualization Power in Computer Science Education.", in CSERC 2012, Visualization Power in Computer, Visualization in University Level Computer Science Education Workshop. [bibtex]
  • T. Khan et al., "Software Architecture Visualization in Theory and Practice", in ECCE 2012 Workshop: Visualization -- Beauty or The Beast, ACM Press. [bibtex]
  • P. Keller, V. Köppen and P. Liggesmeyer, "Sicherheit in der Fahrzeugtechnik", OBJEKTSpektrum, vol. 06/12, Jun 2012. [bibtex]
  • 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]
  • Y. I. Al-Zokari et al., "Towards Advanced Visualization and Interaction Techniques for Fault Tree Analyses Comparing existing methods and tools", in PSAM11 - ESREL2012. [bibtex]
  • 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]
  • 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]
  • 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]
  • 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]
  • K. Höfig, "Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis", in Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, J. Schmitt, Ed., Berlin / Heidelberg: Springer, 2012, pp. 61-75. [bibtex] [doi]

2011

  • R. AlTarawneh, P. Keller and A. Ebert, "A General Introduction To Graph Visualization Techniques", in IRTG 1131 Workshop 2011, OASICS. [bibtex]
  • S. Wagner et al., Eds., Tagungsband 4. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011), Electronic Publication. [bibtex]
  • S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2011 im Rahmen der SE 2011, pp. 45. [bibtex]
  • M. Trapp, T. Kuhn and P. Liggesmeyer, "Modellbasierte Entwicklung eingebetteter Softwaresysteme", ELEKTRONIKPRAXIS. Embedded Software, Engineering Report, no. 1, 2011. [bibtex]
  • 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]
  • S. Kemmann, M. Trapp, "SAHARA - A Systematic Approach for Hazard and Risk Assessment", SAE, Rep. 2011-01-1003. [bibtex] [doi]
  • K. Höfig, D. Domis, "Failure-dependent execution time analysis", in Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, New York: ACM, 2011, pp. 115-122. [bibtex] [doi]
  • K. Breiner et al., "Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote", in Human-Computer Interaction. Design and Development Approaches, J. Jacko, Ed., Berlin / Heidelberg: Springer, 2011, pp. 165-174. [bibtex] [doi]
  • R. Adler et al., "Integration of Component Fault Trees into the UML", in Models in Software Engineering, J. Dingel, A. Solberg, Eds., Berlin / Heidelberg, Germany: Springer, 2011, pp. 312-327. [bibtex] [doi]

2010

  • D. Domis, K. Höfig and M. Trapp, "A Consistency Check Algorithm for Component-Based Refinements of Fault Trees", in Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on, IEEE, pp. 171-180. [bibtex] [doi]
  • K. Breiner et al., "Kontextmodellierung und automatische Anpassung von Aufgabenmodellen in intelligenten Produktionsumgebungen am Beispiel der SmartMote", in Proceedings of USEWARE 2010 - Nutzergerechte Gestaltung technischer Systeme, VDI Wissensforum. [bibtex]
  • S. Wagner et al., Eds., Tagungsband 3. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2010), Electronic Publication. [bibtex]
  • S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2010 im Rahmen der SE 2010, pp. 250. [bibtex]
  • S. Wagner et al., "Softwarequalitätsmodelle – Praxisempfehlungen und Forschungsagenda", Informatik Spektrum, vol. 33, no. 1, 2010, pp. 37-44. [bibtex]
  • 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]
  • 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]
  • K. Höfig et al., "Pattern-based Safety Engineering: Semantic Enrichment of System-Architecture Models for Semi-Automated Safety Analysis", in ESREL, Proceedings of, 2010. [bibtex]
  • 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]
  • 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]
  • 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

  • S. Wagner et al., Eds., Tagungsband 2. Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2009), Electronic Publication. [bibtex]
  • S. Wagner et al., "Software-Qualitätsmodellierung und –bewertung (SQMB)", in SQMB 2009 im Rahmen der SE 2009, pp. 211. [bibtex]
  • M. Trapp et al., "Efficient Safety Analysis of Automotive Software Systems", SAE International Journal of Passenger Cars - Electronic and Electrical Systems, vol. 2, no. 1, 2009, pp. 258-270. [bibtex] [doi]
  • J. Münch, P. Liggesmeyer, Eds., Software Engineering 2009 – Workshop-Band, Fachtagung des GI-Fachbereichs Softwaretechnik, Kaiserslautern, Germany, March 02-06, 2009, Köllen Verlag. [bibtex]
  • P. Liggesmeyer et al., Eds., Software Engineering 2009, Fachtagung des GI-Fachbereichs Softwaretechnik, Kaiserslautern, Germany, March 02-06, 2009 - Proceedings, Köllen Verlag. [bibtex]
  • D. Domis, M. Trapp, "Component-Based Abstraction in Fault Tree Analysis", in Computer Safety, Reliability, and Security, B. Buth, G. Rabe, T. Seyfarth, Eds., Berlin: Springer, 2009, pp. 297-310. [bibtex] [doi]
  • D. Domis et al., "Safety Concept Trees", in 2009 Proc. Ann. Reliability & Maintainability Symp., Piscataway, NJ: IEEE, pp. 212-217. [bibtex] [doi]

2008

  • R. Adler et al., "Probabilistic analysis of safety-critical adaptive systems with temporal dependences", in Reliability and Maintainability Symposium, 2008. RAMS 2008. Annual, IEEE, pp. 149-154. [bibtex] [doi]
  • S. Wagner et al., "Software-Qualitätsmodellierung und -bewertung", in SQMB 2008 - im Rahmen der SE 2008, pp. 295-297. [bibtex]
  • S. Wagner et al., "Eine Forschungsagenda für Softwarequalität", in Software-Qualitätsmodellierung und -bewertung - SQMB'08 Workshop-Band, pp. 47-59. [bibtex]
  • 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]
  • P. Liggesmeyer, "Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense", in Industrialisierung des Software-Managements 2008, pp. 13. [bibtex]
  • M. Kläs et al., "The use of simulation techniques for hybrid software cost estimation and risk analysis", in Advances in computers, M. V. Zelkowitz, Ed., London: Academic Press, 2008, pp. 115-174. [bibtex]
  • D. Domis, M. Trapp, "Integrating Safety Analyses and Component-Based Design", in Computer Safety, Reliability, and Security, M. Harrison, M. Sujan, Eds., Berlin / Heidelberg, Germany: Springer, 2008, pp. 58-71. [bibtex] [doi]
  • J. Dörr, P. Liggesmeyer, "2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2008 - SE 2008. [bibtex]
  • 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

  • P. Müller, P. Liggesmeyer, E. Maehle, Eds., Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007). [bibtex]
  • P. Liggesmeyer, H. Rombach, "Software Engineering", in Technologieführer. Grundlagen - Anwendungen - Trends, H. J. Bullinger, Ed., Springer, 2007, pp. 166-169. [bibtex]
  • 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]
  • M. Kläs et al., "Prozessverbesserung über Fehlerstrommessung bei einem mittelständischen Unternehmen", in MetriKon 2007 - Praxis der Software-Messung - Tagungsband, G. Büren, M. Bundschuh, R. R. Dumke, Eds., Aachen: Shaker-Verlag. [bibtex]
  • J. Doerr, P. Liggesmeyer, "Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung", in Software Engineering 2007 - SE 2007, pp. 285-286. [bibtex]
  • C. Denger, P. Liggesmeyer and M. Trapp, "Safety Engineering für eingebettete Softwaresysteme", in Software Engineering 2007 - SE 2007, pp. 287-292. [bibtex]

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]
  • C. Robinson-Mallett, P. Liggesmeyer, "State Identification and Verification using a Model Checker", in Software Engineering 2006 - SE 2006, pp. 131-142. [bibtex]
  • 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]
  • 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]
  • B. F. J. et al., Eds., Abstracts Collection – Component-Based Modeling and Simulation, Dagstuhl Seminar Proceedings, January 18-23, 2004, Electronic Publication, 2006. [bibtex]

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]
  • 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]
  • P. Liggesmeyer, K. Pohl, M. Goedicke, Eds., Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen, Germany, March 08-11, 2005 - Proceedings, Köllen Verlag. [bibtex]
  • 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]
  • 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]
  • T. Bauer et al., "A Flexible Integration Strategy for In-Car Telematics Systems", ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, 2005. [bibtex]
  • 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

  • M. Weske, P. Liggesmeyer, Eds., 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), Erfurt, Germany, September 27-30, 2004 - Proceedings, Springer. [bibtex]
  • 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]
  • M. Heisel, P. Liggesmeyer, S. Wittmann, Eds., Computer Safety, Reliability, and Security, 23rd International Conference (SAFECOMP 2004), Potsdam, Germany, September 21-24, 2004 - Proceedings, Springer. [bibtex] [doi]

2003

  • P. Liggesmeyer, "Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme", It – Information Technology, vol. 45, no. 1, 2003, pp. 39-45. [bibtex]
  • 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

  • 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

  • P. Liggesmeyer, O. Mäckel, "Quantifying the reliability of embedded systems by automated analysis", in DSN 2001. [bibtex]
  • 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]
  • P. Liggesmeyer, "Bedingungsüberdeckungstesttechniken: Vergleich, Bewertung und Anwendung in der Praxis", Softwaretechnik Trends, vol. 21, no. 3, 2001, pp. 15-17. [bibtex]
  • P. Liggesmeyer, "Entwicklung technischer Software: Eine Situationsanalyse", in ADA-Deutschland Tagung 2001. [bibtex]

2000

  • A. Spillner, P. Liggesmeyer, "Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest", Informatik – Forschung & Entwicklung, vol. 15, no. 3, 2000, pp. 119-120. [bibtex]
  • P. Liggesmeyer, O. Mäckel, "Automatisierung erweiterter Fehlerbaumanalysen für komplexe technische Systeme", at - Automatisierungstechnik, vol. 48, no. 2, 2000, pp. 67-76. [bibtex]
  • P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", Softwaretechnik Trends, vol. 20, no. 3, 2000. [bibtex]
  • P. Liggesmeyer, "Qualitätsmanagement technischer Software – Standortbestimmung und Prognose der weiteren Entwicklung", LOG IN, vol. 20, no. 6, 2000, pp. 19-23. [bibtex]
  • P. Liggesmeyer, "Formale und stochastische Methoden zur Qualitätssicherung technischer Software", in Informatik 2000. [bibtex]
  • P. Liggesmeyer, "Automated Failure Modeling of Embedded Systems", in 17th International Conference on Testing Computer Software, 2000. [bibtex]
  • P. Liggesmeyer, Qualitätssicherung softwareintensiver technischer Systeme, Heidelberg, Germany: Spektrum-Verlag, 2000. [bibtex]

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]
  • P. Liggesmeyer, "Statistische Messung und Prognose von Zuverlässigkeit", Softwaretechnik-Trends, vol. 19, no. 1, 1999, pp. 7-8. [bibtex]
  • 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]
  • P. Liggesmeyer, "Testing non-functional quality characteristics of software-based systems", in Conquest '99. [bibtex]

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]
  • P. Liggesmeyer et al., "Qualitätssicherung softwarebasierter Systeme: Problembereiche und Lösungsansätze", Informatik-Spektrum, vol. 21, no. 5, 1998, pp. 249-258. [bibtex]
  • 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]
  • P. Liggesmeyer, M. Rothfelder, "Going beyond Correctness: Improving Software Robustness", in 11th International Software Quality Week, 1998. [bibtex]
  • P. Liggesmeyer, M. Rothfelder, "Improving System Reliability with Automatic Fault Tree Generation", in 28th Annual Fault Tolerant Computing Symposium, 1998, pp. 90-99. [bibtex]
  • 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]
  • 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]
  • 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

  • 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

  • M. Muellerburg, 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), Oldenbourg, 1996. [bibtex]
  • P. Liggesmeyer, P. Rüppel, "Die Prüfung von objektorientierter Systemen", OBJEKTspektrum, no. 6, 1996, pp. 68-78. [bibtex]
  • P. Liggesmeyer, "Methoden und Techniken für die Prüfung objektorientierter Systeme", in Object World, 1-7, 1996. [bibtex]
  • 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]
  • P. Liggesmeyer, "Quantitative Bewertung von Software-Prüfverfahren durch unscharfe Logik", in GI-Fachtagung Softwaretechnik '96, pp. 81-88. [bibtex]
  • 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]
  • P. Liggesmeyer, "Selecting Test Methods, Techniques, Metrics and Tools Using Systematic Decision Support", in 9th International Software Quality Week, 1996. [bibtex]
  • 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]
  • 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]
  • 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

  • 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]
  • 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]
  • P. Liggesmeyer, "Software-Qualitätssicherung: Chancen und Risiken neuer Entwicklungen", in Software DevCon, 1995, pp. 101-106. [bibtex]
  • 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]
  • P. Liggesmeyer, "Software Engineering und Software-Qualitätssicherung: Was kann man von neuen Techniken erwarten?", in 10. SAVE-Frühjahrstagung, 1995. [bibtex]

1994

  • P. Liggesmeyer, A. Spillner, "Software-Qualitätssicherung in der Praxis", Informatik Spektrum, vol. 17, no. 6, 1994, pp. 368-372. [bibtex]
  • P. Liggesmeyer, "Ein Überblick über objektorientiertes Testen", Softwaretechnik-Trends, vol. 15, no. 4, 1994, pp. 14-15. [bibtex]
  • 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]
  • P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", Softwaretechnik-Trends, vol. 14, no. 1, 1994, pp. 11-12. [bibtex]
  • P. Liggesmeyer, "Software-Komplexitätsmetriken zur Testunterstützung", Informatik – Forschung & Entwicklung, vol. 9, no. 3, 1994, pp. 153-166. [bibtex]
  • P. Liggesmeyer, "Eine Methode zur Konstruktion von Prüfstrategien für Software", Informatik – Forschung & Entwicklung, vol. 9, no. 2, 1994, pp. 82-92. [bibtex]
  • 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]
  • 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]
  • P. Liggesmeyer, "Selecting adequate test techniques in the real world", in 11th International Conference on Testing Computer Software, 1994, pp. 61-69. [bibtex]

1993

  • P. Liggesmeyer, "Wissensbasierte Qualitätsassistenz zur problemspezifischen Konstruktion von Prüfstrategien (Kurzfassung)", Softwaretechnik-Trends, vol. 13, no. 2, 1993, pp. 20-21. [bibtex]
  • P. Liggesmeyer, "Software-Komplexitätsmetriken als Basis zur Auswahl von Prüfverfahren", in GI-Fachtagung Softwaretechnik '93, pp. 103-110. [bibtex]
  • 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]
  • P. Liggesmeyer, Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Software-Komponenten, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]
  • H. Balzert, P. Liggesmeyer, "Software-Qualitätssicherung: Neue Werkzeuge für Industrie und Lehre", RUBIN, 1993, pp. 40-45. [bibtex]
  • H. Balzert, P. Liggesmeyer, Systematisches Testen mit Tensor, Mannheim, Germany: BI Wissenschaftsverlag, 1993. [bibtex]

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]
  • P. Liggesmeyer, "Ein experimentelles Testsystem für die Sprache HyperTalk (Kurzfassung)", Softwaretechnik-Trends, vol. 12, no. 1, 1992, pp. 12-13. [bibtex]
  • 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]
  • 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]
  • 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

  • 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

  • P. Liggesmeyer, Modultest und Modulverifikation – State of the Art, Mannheim, Germany: BI Wissenschaftsverlag, 1990. [bibtex]

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]
Zum Seitenanfang