dblp.uni-trier.dewww.uni-trier.de

Peter Liggesmeyer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
43 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
42EEPeter 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
41 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-
40EEPeter Liggesmeyer, Mario Trapp: Trends in Embedded Software Engineering. IEEE Software 26(3): 19-25 (2009)
2008
39 Peter Liggesmeyer: Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense. Industrialisierung des Software Management 2008: 13
38EEChristian 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
34EEChristopher 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
31EEPeter 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
27EEChristopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer: Achieving communication coverage in testing. ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006)
26EEChristopher 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
24EEChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. A-MOST 2005
23EEThomas 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)
22EEChristopher 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
19EEFernando 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
18EEBernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel: A New Component Concept for Fault Trees. SCS 2003: 37-46
17EEPeter Liggesmeyer: Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme. it - Information Technology 45(1): 39-45 (2003)
2002
16EEJö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
15EEPeter Liggesmeyer, Oliver Mäckel: Quantifying the Reliability of Embedded Systems by Automated Analysis. DSN 2001: 89-96
2000
14EEAndreas 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
10EEPeter Liggesmeyer, Martin Rothfelder: Towards Automated Proof of Fail-Safe Behaviour. SAFECOMP 1998: 169-184
9EEPeter 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
8EEPeter 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)

Coauthor Index

1Thomas Ackermann [9]
2Helmut Balzert [2]
3Fernando J. Barros [19] [30]
4Henning Barthel [42]
5Thomas Bauer [23]
6Manfred Broy [37] [41]
7Florian Deißenböck (Florian Deissenboeck) [37] [41]
8Christian Denger [32] [38]
9Jörg Dörr [33] [35] [36] [43]
10Andreas Dregger [2]
11Gregor Engels [43]
12Jörg Gericke [16]
13Michael Goedicke [25]
14Ursula Goltz [22] [24] [26]
15Jens Heidrich [42]
16Maritta Heisel [21]
17Jens Herrmann [23]
18Robert M. Hierons [27] [34]
19Bernhard Kaiser [18]
20Robert Kalcklösch [29] [42]
21Axel Lehmann [19] [30]
22Oliver Mäckel [15] [18]
23Tilo Mücke [22] [24] [26]
24Jürgen Münch [37] [41] [42] [43]
25Klaus Pohl [25]
26Jesse H. Poore [34]
27Michael Rettelbach [9]
28Norman Riegel [43]
29Christopher Robinson-Mallett [22] [23] [24] [26] [27] [28] [34]
30Martin Rothfelder [9] [10] [11]
31Harry M. Sneed [4]
32Andreas Spillner [4] [5] [14]
33L. Sturm [1]
34Mario Trapp [32] [38] [40]
35Alexander Verbraeck [19] [30]
36Stefan Wagner [37] [41]
37Mathias Weske [20]
38Stefan Wittmann [21]
39Dirk Zeckzer [42]
40Bernard P. Zeigler [19] [30]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)