Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter Liggesmeyer
Author information
- University of Kaiserslautern
2010 – today
- 2013
[j20]- 2012
- [j19]
- [c35]Kavyashree Jamboti, Peter Liggesmeyer: A Framework for Generating Integrated Component Fault Trees from Architectural Views. HASE 2012: 114-121
- [c34]Michael Roth, Max Steiner, Peter Liggesmeyer: Ein Ansatz zur integrierten Sicherheitsanalyse komplexer Systeme. Echtzeit 2012: 109-118
- [c33]Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp, Peter Liggesmeyer: Safety-Focused Deployment Optimization in Open Integrated Architectures. SAFECOMP 2012: 328-339
- [c32]Max Steiner, Patric Keller, Peter Liggesmeyer: Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems. SAFECOMP Workshops 2012: 454-465
- [c31]Yi Yang, Patric Keller, Peter Liggesmeyer: Visual Approach Facilitating the Importance Analysis of Component Fault Trees. SAFECOMP Workshops 2012: 486-497
- [c30]Ragaad AlTarawneh, Jens Bauer, Patric Keller, Achim Ebert, Peter Liggesmeyer: ESSAVis: A Framework to Visualize Safety Aspects in Embedded Systems. SIGRAD 2012: 59-66
- [p1]Kai Höfig, Mario Trapp, Bastian Zimmer, Peter Liggesmeyer: Modeling Quality Aspects: Safety. Model-Based Engineering of Embedded Systems 2012: 107-118
- 2011
- [c29]Yi Yang, Dirk Zeckzer, Peter Liggesmeyer, Hans Hagen: ViSSaAn: Visual Support for Safety Analysis. Scientific Visualization: Interactions, Features, Metaphors 2011: 378-395
- [c28]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). Software Engineering 2011: 198
- [c27]Taimur Khan, Henning Barthel, Achim Ebert, Peter Liggesmeyer: Visualization and Evolution of Software Architectures. VLUDS 2011: 25-42
- [c26]Yi Yang, Patric Keller, Yarden Livnat, Peter Liggesmeyer: Improving Safety-Critical Systems by Visual Analysis. VLUDS 2011: 43-58
- 2010
- [j18]Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit: Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. Informatik Spektrum 33(1): 37-44 (2010)
- [c25]Zhensheng Guo, Dirk Zeckzer, Peter Liggesmeyer, Oliver Mäckel: Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques. ICSEA 2010: 508-513
- [c24]Carolina Gómez, Peter Liggesmeyer, Ariane Sutor: Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. SAFECOMP 2010: 28-40
- [c23]Jörg Dörr, Peter Liggesmeyer: 3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. Software Engineering 2010: 243
- [c22]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung (SQMB). Software Engineering 2010: 250
2000 – 2009
- 2009
- [b2]Peter Liggesmeyer: Software-Qualität - Testen, Analysieren und Verifizieren von Software (2. Aufl.). Spektrum Akademischer Verlag 2009, ISBN 978-3-8274-2056-5, pp. I-XV, 1-526
- [j17]Peter Liggesmeyer, Mario Trapp: Trends in Embedded Software Engineering. IEEE Software 26(3): 19-25 (2009)
- [c21]Peter Liggesmeyer, Jens Heidrich, Jürgen Münch, Robert Kalcklösch, Henning Barthel, Dirk Zeckzer: Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control. HCI (1) 2009: 846-855
- [c20]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung (SQMB 2009). Software Engineering 2009: 211-
- [e7]Peter Liggesmeyer, Gregor Engels, Jürgen Münch, Jörg Dörr, Norman Riegel (Eds.): Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern. LNI 143, GI 2009, ISBN 978-3-88579-237-6
- [e6]Jürgen Münch, Peter Liggesmeyer (Eds.): Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in Kaiserslautern. LNI 150, GI 2009, ISBN 978-3-88579-244-4
- 2008
- [j16]Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer: Using communication coverage criteria and partial model generation to assist software integration testing. Software Quality Journal 16(2): 185-211 (2008)
- [c19]Christian Denger, Mario Trapp, Peter Liggesmeyer: SafeSpection - A Systematic Customization Approach for Software Hazard Identification. SAFECOMP 2008: 44-57
- [c18]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung. Software Engineering 2008: 295-297
- [c17]Jörg Dörr, Peter Liggesmeyer: 2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. Software Engineering 2008: 300-301
- [c16]Jörg Dörr, Peter Liggesmeyer: 2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. Software Engineering (Workshops) 2008: 449-450
- [c15]Peter Liggesmeyer: Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense. Industrialisierung des Software Management 2008: 13
- 2007
- [c14]Jörg Dörr, Peter Liggesmeyer: WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. Software Engineering 2007: 285-286
- [c13]Christian Denger, Peter Liggesmeyer, Mario Trapp: WG7: Safety-Engineering für eingebettete Softwaresysteme. Software Engineering 2007: 287-292
- [c12]Peter Liggesmeyer: Formal Techniques in Software Engineering: Correct Software and Safe Systems. TPHOLs 2007: 3-4
- 2006
- [j15]Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Extended state identification and verification using a model checker. Information & Software Technology 48(10): 981-992 (2006)
- [j14]Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer: Achieving communication coverage in testing. ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006)
- [c11]Robert Kalcklösch, Peter Liggesmeyer: Communication Test for Object-Oriented Systems using Gossiped Data (Fast Abstract). GI Jahrestagung (2) 2006: 282-283
- [c10]Christopher Robinson-Mallett, Peter Liggesmeyer: State Identification and Verification using a Model Checker. Software Engineering 2006: 131-142
- [e5]Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler (Eds.): Component-Base Modeling and Simulation, 18.-23. January 2004. Dagstuhl Seminar Proceedings 04041, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- 2005
- [j13]Thomas Bauer, Jens Herrmann, Peter Liggesmeyer, Christopher Robinson-Mallett: A flexible integration strategy for in-car telematics systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
- [j12]Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
- [c9]Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. A-MOST 2005
- [e4]Peter Liggesmeyer, Klaus Pohl, Michael Goedicke (Eds.): Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen. LNI 64, GI 2005, ISBN 3-88579-393-8
- 2004
- [c8]Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler: 04041 Abstracts Collection - Component-Based Modeling and Simulation. Component-Base Modeling and Simulation 2004
- [e3]Mathias Weske, Peter Liggesmeyer (Eds.): Object-Oriented and Internet-Based Technologies, 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a NetworkedWorld, Net.ObjectDays 2004, Erfurt, Germany, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3263, Springer 2004, ISBN 3-540-23201-X
- [e2]Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (Eds.): Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Lecture Notes in Computer Science 3219, Springer 2004, ISBN 3-540-23176-5
- 2003
- [j11]Peter Liggesmeyer: Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme. it - Information Technology 45(1): 39-45 (2003)
- [c7]Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel: A New Component Concept for Fault Trees. SCS 2003: 37-46
- 2002
- [b1]Peter Liggesmeyer: Software-Qualität - testen, analysieren und verifizieren von Software. Spektrum Akadem. Verl. 2002, ISBN 978-3-8274-1118-1, pp. I-XV, 1-523
- [j10]Jörg Gericke, Peter Liggesmeyer: Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. Inform., Forsch. Entwickl. 17(2): 60-67 (2002)
- 2001
- [c6]Peter Liggesmeyer, Oliver Mäckel: Quantifying the Reliability of Embedded Systems by Automated Analysis. DSN 2001: 89-96
- 2000
- [j9]Andreas Spillner, Peter Liggesmeyer: Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest. Inform., Forsch. Entwickl. 15(3): 119-120 (2000)
- [j8]Peter Liggesmeyer: Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren Entwicklung. LOG IN 20(6): 19- (2000)
- [j7]Peter Liggesmeyer: Formale und stochastische Methoden zur Qualitätssicherung technischer Software (eingeladener Vortrag). Softwaretechnik-Trends 20(3) (2000)
1990 – 1999
- 1998
- [j6]Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann: Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. Informatik Spektrum 21(5): 249-258 (1998)
- [c5]Peter Liggesmeyer, Martin Rothfelder: Improving System Reliability with Automatic Fault Tree Generation. FTCS 1998: 90-99
- [c4]Peter Liggesmeyer, Martin Rothfelder: Towards Automated Proof of Fail-Safe Behaviour. SAFECOMP 1998: 169-184
- 1996
- [c3]Peter Liggesmeyer: Selecting Engineering Techniques using Fuzzy Logic Based Decision Support. ECBS 1996: 427-434
- 1995
- [j5]Peter Liggesmeyer: A set of complexity metrics for guiding the software test process. Software Quality Journal 4(4): 257-273 (1995)
- 1994
- [j4]Peter Liggesmeyer: Eine Methode zur Konstruktion von Prüfstrategien für Software. Inform., Forsch. Entwickl. 9(2): 82-92 (1994)
- [j3]Peter Liggesmeyer: Software-Komplexitätsmetriken zur Testunterstützung. Inform., Forsch. Entwickl. 9(3): 153-166 (1994)
- [j2]Andreas Spillner, Peter Liggesmeyer: Software-Qualitätssicherung in der Praxis. Informatik Spektrum 17(6): 368-372 (1994)
- 1992
- [c2]Peter Liggesmeyer: Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. Testen, Analysieren und Verifizieren von Software 1992: 1-25
- [c1]Peter Liggesmeyer, Andreas Dregger, Helmut Balzert: Ein experimentelles Testsystem für die Sprache HyperTalk. Testen, Analysieren und Verifizieren von Software 1992: 177-186
- [e1]Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner (Eds.): Testen, Analysieren und Verifizieren von Software, Arbeitskreis Testen, Analysieren und Verifizieren von Software der Fachgruppe Software-Engineering der GI, Proceedings der Treffen in Benthe und Bochum Juni 1991 und Februar 1992. Informatik Aktuell, Springer 1992, ISBN 3-540-55860-8
1980 – 1989
- 1988
- [j1]Peter Liggesmeyer, L. Sturm: Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen. Angewandte Informatik 30(6): 252-258 (1988)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team