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

Peter Liggesmeyer Home Page Coauthor index pubzone.org

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

DBLP keys2011
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Yang, Dirk Zeckzer, Peter Liggesmeyer, Hans Hagen: ViSSaAn: Visual Support for Safety Analysis. Scientific Visualization: Interactions, Features, Metaphors 2011
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
2010
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhensheng 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarolina 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
50Electronic Edition 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
49Electronic Edition 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
48Electronic 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
47no 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Münch, Peter Liggesmeyer: Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in Kaiserslautern GI 2009
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Liggesmeyer: Software-Qualität - Testen, Analysieren und Verifizieren von Software (2. Aufl.). Spektrum Akademischer Verlag 2009: I-XV, 1-526
44Electronic 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
43no 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-
42Electronic 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
41Electronic Edition 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
40Electronic 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
39Electronic Edition 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
38Electronic Edition 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
37no 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
36Electronic 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
35no 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
34no 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
33Electronic 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
32no 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
31Electronic Edition 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
30Electronic Edition 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
29Electronic 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)
28Electronic 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
27no 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
26Electronic 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
25Electronic 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)
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. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
2004
23no 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
22no 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
21Electronic 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
20Electronic 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
19Electronic 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Liggesmeyer: Software-Qualität - testen, analysieren und verifizieren von Software. Spektrum Akadem. Verl. 2002: I-XV, 1-523
17Electronic 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
16Electronic 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
15Electronic 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)
14no 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)
13no 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
12Electronic Edition 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
11Electronic 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
10Electronic 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
9Electronic 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
1995
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Liggesmeyer: A set of complexity metrics for guiding the software test process. Software Quality Journal 4(4): 257-273 (1995)
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 [10]
2Helmut Balzert [2]
3Fernando J. Barros [21] [32]
4Henning Barthel [44]
5Thomas Bauer [25]
6Manfred Broy [39] [43] [48] [49] [53]
7Florian Deißenböck (Florian Deissenboeck) [39] [43] [48] [49] [53]
8Christian Denger [34] [40]
9Jörg Dörr [35] [37] [38] [47] [50]
10Andreas Dregger [2]
11Gregor Engels [47]
12Jörg Gericke [17]
13Michael Goedicke [27]
14Ursula Goltz [24] [26] [28]
15Carolina Gómez [51]
16Zhensheng Guo [52]
17Hans Hagen [54]
18Jens Heidrich [44]
19Maritta Heisel [23]
20Jens Herrmann [25]
21Robert M. Hierons [29] [36]
22Bernhard Kaiser [20]
23Robert Kalcklösch [31] [44]
24Michael Kläs (Michael Klaes) [48]
25Axel Lehmann [21] [32]
26Oliver Mäckel [16] [20] [52]
27Tilo Mücke [24] [26] [28]
28Jürgen Münch [39] [43] [44] [46] [47] [48] [49] [53]
29Klaus Pohl [27]
30Jesse H. Poore [36]
31Michael Rettelbach [10]
32Norman Riegel [47]
33Christopher Robinson-Mallett [24] [25] [26] [28] [29] [30] [36]
34Martin Rothfelder [10] [11] [12]
35Harry M. Sneed [4]
36Andreas Spillner [4] [5] [15]
37Jonathan Streit [48]
38L. Sturm [1]
39Ariane Sutor [51]
40Mario Trapp [34] [40] [42]
41Alexander Verbraeck [21] [32]
42Stefan Wagner [39] [43] [48] [49] [53]
43Mathias Weske [22]
44Stefan Wittmann [23]
45Yi Yang [54]
46Dirk Zeckzer [44] [52] [54]
47Bernard P. Zeigler [21] [32]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page