Peter Liggesmeyer

According to our database1, Peter Liggesmeyer authored at least 106 papers between 1988 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019

2018
Towards Viewpoint-driven Visual Analysis for Effective Architecture Recovery.
Proceedings of the 2018 IEEE Working Conference on Software Visualization, 2018

A Conceptual Framework for Safe Reconfiguration in Open System of Systems.
Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2018

2017
Safety in der Industrie 4.0.
Proceedings of the Handbuch Industrie 4.0 Bd.1, Produktion., 2017

Autonome Systeme.
Informatik Spektrum, 2017

Alles 4.0! Oder manchmal doch 3.5?
Informatik Spektrum, 2017

NFR 2017 - 3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Proceedings of the Software Engineering 2017, 2017

Systematic Composition of Services from Distributed Systems for Highly Dynamic Collaboration Processes.
Proceedings of the Computer Safety, Reliability, and Security, 2017

A Runtime Risk Assessment Concept for Safe Reconfiguration in Open Adaptive Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Observation Based Creation of Minimal Test Suites for Autonomous Vehicles.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016
Dynamic Safety Contracts for Functional Cooperation of Automotive Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Interaction with Mobile Systems as part of Smart Ecosystems.
Proceedings of the Mensch und Computer 2016, 2016

Safety Assurance for Emergent Collaboration of Open Distributed Systems.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

IoT, Industrie 4.0 und Big Data: Herausforderungen für die Informatik und die GI.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

Improving the Failure Understanding in Embedded Systems through Interactive Visual Support: An Evaluation Story.
Proceedings of the HCI 2016, 2016

2015
Deutschlands digitale Köpfe.
Informatik Spektrum, 2015

Getting Grip on Security Requirements Elicitation by Structuring and Reusing Security Requirements Sources.
CSIMQ, 2015

Addressing Grand Challenges - Implications for BISE Research.
Business & Information Systems Engineering, 2015

Visual analytics of software structure and metrics.
Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015

Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2015

A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime.
Proceedings of the Computer Safety, Reliability, and Security, 2015

A Model for Structuring and Reusing Security Requirements Sources and Security Requirements.
Proceedings of the Joint Proceedings of REFSQ-2015 Workshops, 2015

Instantiating a model for structuring and reusing security requirements sources.
Proceedings of the 2nd IEEE Workshop on Evolving Security and Privacy Requirements Engineering, 2015

Efficient reachability graph development for qualitive analysis of state/event fault trees.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Automated compositional safety analysis using component fault trees.
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

An Interactive Approach for Inspecting Software System Measurements.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

Big Data, Industrie 4.0 und Co.: Wie sich die Welt verändert.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015

LayMan: A Visual Interactive Tool to Support Failure Analysis in Embedded Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

2014
Preface to the self-portrayals of the GI Junior Fellows.
it - Information Technology, 2014

Big Data in Smart Ecosystems.
Informatik Spektrum, 2014

Die Vorstandsperspektive.
Informatik Spektrum, 2014

Polyptychon: A Hierarchically-Constrained Classified Dependencies Visualization.
Proceedings of the Second IEEE Working Conference on Software Visualization, 2014

Implications of the Operational Environmental on Software Security Requirements Engineering.
Proceedings of the WOSIS 2014, 2014

Does Visualization Speed Up the Safety Analysis Process?
Proceedings of the Computer Safety, Reliability, and Security, 2014

Enhancing understanding of safety aspects in embedded systems through an interactive visual tool.
Proceedings of the 19th International Conference on Intelligent User Interfaces, 2014

ESSAVis++: an interactive 2Dplus3D visual environment to help engineers in understanding the safety aspects of embedded systems.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

eCITY+: A Tool to Analyze Software Architectural Relations through Interactive Visual Support.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

2013
Die Vorstandsperspektive.
Informatik Spektrum, 2013

Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System.
Proceedings of the SAFECOMP 2013, 2013

Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees.
Proceedings of the SAFECOMP 2013, 2013

Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen.
Proceedings of the Funktionale Sicherheit, 2013

Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

eCITY: A Tool to Track Software Structural Changes Using an Evolving City.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

A Safety Roadmap to Cyber-Physical Systems.
Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012
Die Vorstandsperspektive.
Informatik Spektrum, 2012

ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems.
Proceedings of SIGRAD 2012, 2012

Safety-Focused Deployment Optimization in Open Integrated Architectures.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Visual Approach Facilitating the Importance Analysis of Component Fault Trees.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme.
Proceedings of the Kommunikation unter Echtzeitbedingungen, 2012

A Framework for Generating Integrated Component Fault Trees from Architectural Views.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Modeling Quality Aspects: Safety.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011
Improving Safety-Critical Systems by Visual Analysis.
Proceedings of the Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering, 2011

Visualization and Evolution of Software Architectures.
Proceedings of the Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering, 2011

Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011).
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

eCITY: Evolutionary Software Architecture Visualization - An Evaluation.
Proceedings of the Building Bridges: HCI, Visualization, and Non-formal Modeling, 2011

ViSSaAn: Visual Support for Safety Analysis.
Proceedings of the Scientific Visualization: Interactions, Features, Metaphors, 2011

2010
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda.
Informatik Spektrum, 2010

Software-Qualitätsmodellierung und -bewertung (SQMB).
Proceedings of the Software Engineering 2010, 2010

3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Proceedings of the Software Engineering 2010, 2010

Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees.
Proceedings of the Computer Safety, 2010

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009
Trends in Embedded Software Engineering.
IEEE Software, 2009

Software-Qualitätsmodellierung und -bewertung (SQMB 2009).
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control.
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009

Software-Qualität - Testen, Analysieren und Verifizieren von Software, 2. Auflage.
Spektrum Akademischer Verlag, ISBN: 978-3-8274-2056-5, 2009

2008
Using communication coverage criteria and partial model generation to assist software integration testing.
Software Quality Journal, 2008

Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense.
Proceedings of the Industrialisierung des Software-Managements: Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -Wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 12., 2008

Software-Qualitätsmodellierung und -bewertung.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Proceedings of the Software Engineering 2008, 2008

2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

SafeSpection - A Systematic Customization Approach for Software Hazard Identification.
Proceedings of the Computer Safety, 2008

2007
Formal Techniques in Software Engineering: Correct Software and Safe Systems.
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Proceedings of the Software Engineering 2007, 2007

WG7: Safety-Engineering für eingebettete Softwaresysteme.
Proceedings of the Software Engineering 2007, 2007

2006
Achieving communication coverage in testing.
ACM SIGSOFT Software Engineering Notes, 2006

Extended state identification and verification using a model checker.
Information & Software Technology, 2006

State Identification and Verification using a Model Checker.
Proceedings of the Software Engineering 2006, 2006

Communication Test for Object-Oriented Systems using Gossiped Data (Fast Abstract).
Proceedings of the Informatik 2006, 2006

2005
A flexible integration strategy for in-car telematics systems.
ACM SIGSOFT Software Engineering Notes, 2005


Generating optimal distinguishing sequences with a model checker.
Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, 2005

2004
04041 Abstracts Collection - Component-Based Modeling and Simulation.
Proceedings of the Component-Base Modeling and Simulation, 18.-23. January 2004, 2004

2003
Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme.
it - Information Technology, 2003

A New Component Concept for Fault Trees.
Proceedings of the Safety Critical Systems and Software 2003, 2003

2002
Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen.
Inform., Forsch. Entwickl., 2002

Software-Qualität - testen, analysieren und verifizieren von Software.
Spektrum Akadem. Verl., ISBN: 978-3-8274-1118-1, 2002

2001
Quantifying the Reliability of Embedded Systems by Automated Analysis.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
Formale und stochastische Methoden zur Qualitätssicherung technischer Software (eingeladener Vortrag).
Softwaretechnik-Trends, 2000

Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren Entwicklung.
LOG IN, 2000

Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest.
Inform., Forsch. Entwickl., 2000

Formale und stochastische Methoden zur Qualitätssicherung technischer Software.
Proceedings of the Informatik 2000, 2000

1998
Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.
Informatik Spektrum, 1998

Towards Automated Proof of Fail-Safe Behaviour.
Proceedings of the Computer Safety, 1998

Improving System Reliability with Automatic Fault Tree Generation.
Proceedings of the Digest of Papers: FTCS-28, 1998

1996
Selecting Engineering Techniques using Fuzzy Logic Based Decision Support.
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

1995
A set of complexity metrics for guiding the software test process.
Software Quality Journal, 1995

1994
Software-Qualitätssicherung in der Praxis.
Informatik Spektrum, 1994

Software-Komplexitätsmetriken zur Testunterstützung.
Inform., Forsch. Entwickl., 1994

Eine Methode zur Konstruktion von Prüfstrategien für Software.
Inform., Forsch. Entwickl., 1994

1993
Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Softwarekomponenten.
PhD thesis, 1993

1992
Ein experimentelles Testsystem für die Sprache HyperTalk.
Proceedings of the Testen, 1992

Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren.
Proceedings of the Testen, 1992

1990
Modultest und Modulverifikation.
Angewandte Informatik 4, BI-Wissenschaftsverlag, ISBN: 978-3-411-14361-0, 1990

1988
Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen.
Angewandte Informatik, 1988


  Loading...