2009 |
41 | | Peter Liggesmeyer,
Gregor Engels,
Jürgen Münch,
Jörg Dörr,
Norman Riegel:
Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern
GI 2009 |
40 | | 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- |
2008 |
39 | | Peter Liggesmeyer:
Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense.
Industrialisierung des Software Management 2008: 13 |
38 | EE | Christian Denger,
Mario Trapp,
Peter Liggesmeyer:
SafeSpection - A Systematic Customization Approach for Software Hazard Identification.
SAFECOMP 2008: 44-57 |
37 | | Stefan Wagner,
Manfred Broy,
Florian Deißenböck,
Jürgen Münch,
Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung.
Software Engineering 2008: 295-297 |
36 | | Jörg Dörr,
Peter Liggesmeyer:
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Software Engineering 2008: 300-301 |
35 | | Jörg Dörr,
Peter Liggesmeyer:
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Software Engineering (Workshops) 2008: 449-450 |
34 | EE | 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) |
2007 |
33 | | Jörg Dörr,
Peter Liggesmeyer:
WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.
Software Engineering 2007: 285-286 |
32 | | Christian Denger,
Peter Liggesmeyer,
Mario Trapp:
WG7: Safety-Engineering für eingebettete Softwaresysteme.
Software Engineering 2007: 287-292 |
31 | EE | Peter Liggesmeyer:
Formal Techniques in Software Engineering: Correct Software and Safe Systems.
TPHOLs 2007: 3-4 |
2006 |
30 | | Fernando J. Barros,
Axel Lehmann,
Peter Liggesmeyer,
Alexander Verbraeck,
Bernard P. Zeigler:
Component-Base Modeling and Simulation, 18.-23. January 2004
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
29 | | Robert Kalcklösch,
Peter Liggesmeyer:
Communication Test for Object-Oriented Systems using Gossiped Data (Fast Abstract).
GI Jahrestagung (2) 2006: 282-283 |
28 | | Christopher Robinson-Mallett,
Peter Liggesmeyer:
State Identification and Verification using a Model Checker.
Software Engineering 2006: 131-142 |
27 | EE | Christopher Robinson-Mallett,
Robert M. Hierons,
Peter Liggesmeyer:
Achieving communication coverage in testing.
ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006) |
26 | EE | 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) |
2005 |
25 | | Peter Liggesmeyer,
Klaus Pohl,
Michael Goedicke:
Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen
GI 2005 |
24 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
A-MOST 2005 |
23 | EE | 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) |
22 | EE | 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) |
2004 |
21 | | Maritta Heisel,
Peter Liggesmeyer,
Stefan Wittmann:
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings
Springer 2004 |
20 | | Mathias Weske,
Peter Liggesmeyer:
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
Springer 2004 |
19 | EE | 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 |
2003 |
18 | EE | Bernhard Kaiser,
Peter Liggesmeyer,
Oliver Mäckel:
A New Component Concept for Fault Trees.
SCS 2003: 37-46 |
17 | EE | Peter Liggesmeyer:
Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme.
it - Information Technology 45(1): 39-45 (2003) |
2002 |
16 | EE | 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 |
15 | EE | Peter Liggesmeyer,
Oliver Mäckel:
Quantifying the Reliability of Embedded Systems by Automated Analysis.
DSN 2001: 89-96 |
2000 |
14 | EE | Andreas Spillner,
Peter Liggesmeyer:
Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest.
Inform., Forsch. Entwickl. 15(3): 119-120 (2000) |
13 | | Peter Liggesmeyer:
Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren Entwicklung.
LOG IN 20(6): 19- (2000) |
12 | | Peter Liggesmeyer:
Formale und stochastische Methoden zur Qualitätssicherung technischer Software (eingeladener Vortrag).
Softwaretechnik-Trends 20(3): (2000) |
1998 |
11 | | Peter Liggesmeyer,
Martin Rothfelder:
Improving System Reliability with Automatic Fault Tree Generation.
FTCS 1998: 90-99 |
10 | EE | Peter Liggesmeyer,
Martin Rothfelder:
Towards Automated Proof of Fail-Safe Behaviour.
SAFECOMP 1998: 169-184 |
9 | EE | 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) |
1996 |
8 | EE | Peter Liggesmeyer:
Selecting Engineering Techniques using Fuzzy Logic Based Decision Support.
ECBS 1996: 427-434 |
1994 |
7 | | Peter Liggesmeyer:
Eine Methode zur Konstruktion von Prüfstrategien für Software.
Inform., Forsch. Entwickl. 9(2): 82-92 (1994) |
6 | | Peter Liggesmeyer:
Software-Komplexitätsmetriken zur Testunterstützung.
Inform., Forsch. Entwickl. 9(3): 153-166 (1994) |
5 | | Andreas Spillner,
Peter Liggesmeyer:
Software-Qualitätssicherung in der Praxis.
Informatik Spektrum 17(6): 368-372 (1994) |
1992 |
4 | | Peter Liggesmeyer,
Harry M. Sneed,
Andreas Spillner:
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
Springer 1992 |
3 | | Peter Liggesmeyer:
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren.
Testen, Analysieren und Verifizieren von Software 1992: 1-25 |
2 | | Peter Liggesmeyer,
Andreas Dregger,
Helmut Balzert:
Ein experimentelles Testsystem für die Sprache HyperTalk.
Testen, Analysieren und Verifizieren von Software 1992: 177-186 |
1988 |
1 | | 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) |