Peter Liggesmeyer Home Page Coauthor index DBLP Vis pubzone.org

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

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)