Peter Liggesmeyer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011)Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer. se 2011: 198

2010

3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der SystementwicklungJÃ¶rg DÃ¶rr, Peter Liggesmeyer. se 2010: 243

Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis TechniquesZhensheng Guo, Dirk Zeckzer, Peter Liggesmeyer, Oliver Mäckel. icsea 2010: 508-513 [doi]

Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault TreesCarolina Gómez, Peter Liggesmeyer, Ariane Sutor. safecomp 2010: 28-40 [doi]

SoftwarequalitÃ¤tsmodelle - Praxisempfehlungen und ForschungsagendaStefan Wagner, Manfred Broy, Florian DeiÃŸenbÃ¶ck, Michael KlÃ¤s, Peter Liggesmeyer, JÃ¼rgen MÃ¼nch, Jonathan Streit. insk, 33(1):37-44, 2010. [doi]

Software-QualitÃ¤tsmodellierung und -bewertung (SQMB)Stefan Wagner, Manfred Broy, Florian DeiÃŸenbÃ¶ck, JÃ¼rgen MÃ¼nch, Peter Liggesmeyer. se 2010: 250

2009

Software-Qualität - Testen, Analysieren und Verifizieren von Software (2. Aufl.)Peter Liggesmeyer. Spektrum Akademischer Verlag, 2009. [doi]

Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in KaiserslauternPeter Liggesmeyer, Gregor Engels, Jürgen Münch, Jörg Dörr, Norman Riegel, editors, Volume 143 of LNI, GI, 2009.

Trends in Embedded Software EngineeringPeter Liggesmeyer, Mario Trapp. IEEE Software, 26(3):19-25, 2009. [doi]

Visualization of Software and Systems as Support Mechanism for Integrated Software Project ControlPeter Liggesmeyer, Jens Heidrich, JÃ¼rgen MÃ¼nch, Robert KalcklÃ¶sch, Henning Barthel, Dirk Zeckzer. hci 2009: 846-855 [doi]

Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in KaiserslauternJürgen Münch, Peter Liggesmeyer, editors, Volume 150 of LNI, GI, 2009. [doi]

Software-Qualitätsmodellierung und -bewertung (SQMB 2009)Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer. se 2009: 211

2008

SafeSpection - A Systematic Customization Approach for Software Hazard IdentificationChristian Denger, Mario Trapp, Peter Liggesmeyer. safecomp 2008: 44-57 [doi]

2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der SystementwicklungJörg Dörr, Peter Liggesmeyer. se 2008: 449-450

2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der SystementwicklungJörg Dörr, Peter Liggesmeyer. se 2008: 300-301

Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common SensePeter Liggesmeyer. wimaw 2008: 13

Using communication coverage criteria and partial model generation to assist software integration testingChristopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer. sqj, 16(2):185-211, 2008. [doi]

Software-Qualitätsmodellierung und -bewertungStefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer. se 2008: 295-297

2007

WG7: Safety-Engineering für eingebettete SoftwaresystemeChristian Denger, Peter Liggesmeyer, Mario Trapp. se 2007: 287-292

WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der SystementwicklungJörg Dörr, Peter Liggesmeyer. se 2007: 285-286

Formal Techniques in Software Engineering: Correct Software and Safe SystemsPeter Liggesmeyer. tphol 2007: 3-4 [doi]

2006

Component-Base Modeling and Simulation, 18.-23. January 2004Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler, editors, Volume 04041 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

Communication Test for Object-Oriented Systems using Gossiped Data (Fast Abstract)Robert Kalcklösch, Peter Liggesmeyer. gi 2006: 282-283

Extended state identification and verification using a model checkerChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz. INFSOF, 48(10):981-992, 2006. [doi]

State Identification and Verification using a Model CheckerChristopher Robinson-Mallett, Peter Liggesmeyer. se 2006: 131-142

Achieving communication coverage in testingChristopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer. sigsoft, 31(6):1-10, 2006. [doi]

2005

2004

04041 Abstracts Collection - Component-Based Modeling and SimulationFernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler. dagstuhl 2006: [doi]

Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, ProceedingsMaritta Heisel, Peter Liggesmeyer, Stefan Wittmann, editors, Volume 3219 of Lecture Notes in Computer Science, Springer, 2004.

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, ProceediMathias Weske, Peter Liggesmeyer, editors, Volume 3263 of Lecture Notes in Computer Science, Springer, 2004.

2003

A New Component Concept for Fault TreesBernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel. scs 2004: 37-46 [doi]

Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine BestandsaufnahmePeter Liggesmeyer. it, 45(1):39-45, 2003. [doi]

2002

Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen SystemenJörg Gericke, Peter Liggesmeyer. ife, 17(2):60-67, 2002. [doi]

Software-Qualität - testen, analysieren und verifizieren von SoftwarePeter Liggesmeyer. Spektrum Akadem. Verl., 2002.

2001

Quantifying the Reliability of Embedded Systems by Automated AnalysisPeter Liggesmeyer, Oliver Mäckel. dsn 2001: 89-96 [doi]

2000

Editorial Themenheft: Aktuelle Entwicklungen im SoftwaretestAndreas Spillner 0002, Peter Liggesmeyer. ife, 15(3):119-120, 2000. [doi]

Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren EntwicklungPeter Liggesmeyer. login, 20(6):19, 2000.

Formale und stochastische Methoden zur Qualitätssicherung technischer Software (eingeladener Vortrag)Peter Liggesmeyer. stt, 20(3), 2000.

1998

Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und LösungsansätzePeter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann. insk, 21(5):249-258, 1998. [doi]

Towards Automated Proof of Fail-Safe BehaviourPeter Liggesmeyer, Martin Rothfelder. safecomp 1998: 169-184 [doi]

Improving System Reliability with Automatic Fault Tree GenerationPeter Liggesmeyer, Martin Rothfelder. ftcs 1998: 90-99

1996

Selecting Engineering Techniques using Fuzzy Logic Based Decision SupportPeter Liggesmeyer. ECBS 1996: 427-434 [doi]

1994

Software-Qualitätssicherung in der PraxisAndreas Spillner 0002, Peter Liggesmeyer. insk, 17(6):368-372, 1994.

Software-Komplexitätsmetriken zur TestunterstützungPeter Liggesmeyer. ife, 9(3):153-166, 1994.

Eine Methode zur Konstruktion von Prüfstrategien für SoftwarePeter Liggesmeyer. ife, 9(2):82-92, 1994.

1992

Ein experimentelles Testsystem für die Sprache HyperTalkPeter Liggesmeyer, Andreas Dregger, Helmut Balzert. testen 1992: 177-186

Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der VerfahrenPeter Liggesmeyer. testen 1992: 1-25

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 1992Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner 0002, editors, Informatik Aktuell, Springer, 1992.

1988

Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer AnwendungenPeter Liggesmeyer, L. Sturm. wi, 30(6):252-258, 1988.