| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yi Yang, Dirk Zeckzer, Peter Liggesmeyer, Hans Hagen |
ViSSaAn: Visual Support for Safety Analysis.  |
Scientific Visualization: Interactions, Features, Metaphors  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan 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 |
DBLP BibTeX RDF |
|
| 1 | Stefan 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  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolina 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhensheng Guo, Dirk Zeckzer, Peter Liggesmeyer, Oliver Mäckel |
Identification of Security-Safety Requirements for the Outdoor Robot RAVON Using Safety Analysis Techniques.  |
ICSEA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Software-Qualitätsmodellierung und -bewertung (SQMB).  |
Software Engineering  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Dörr, Peter Liggesmeyer |
3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.  |
Software Engineering  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer, Mario Trapp |
Trends in Embedded Software Engineering.  |
IEEE Software  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Software-Qualität - Testen, Analysieren und Verifizieren von Software (2. Aufl.).  |
|
2009 |
DOI RDF |
|
| 1 | Peter 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  |
2009 |
DBLP DOI BibTeX RDF |
Software Project Control Centers, Visualization Mechanisms, Data Visualization, GQM |
| 1 | Jürgen Münch, Peter Liggesmeyer (eds.) |
Software Engineering 2009 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03.2009 in Kaiserslautern  |
Software Engineering (Workshops)  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Software-Qualitätsmodellierung und -bewertung (SQMB 2009).  |
Software Engineering  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer, Gregor Engels, Jürgen Münch, Jörg Dörr, Norman Riegel (eds.) |
Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern  |
Software Engineering  |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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  |
2008 |
DBLP DOI BibTeX RDF |
Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria |
| 1 | Christian Denger, Mario Trapp, Peter Liggesmeyer |
SafeSpection - A Systematic Customization Approach for Software Hazard Identification.  |
SAFECOMP  |
2008 |
DBLP DOI BibTeX RDF |
Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety |
| 1 | Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer |
Software-Qualitätsmodellierung und -bewertung.  |
Software Engineering  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg Dörr, Peter Liggesmeyer |
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.  |
Software Engineering (Workshops)  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg Dörr, Peter Liggesmeyer |
2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.  |
Software Engineering  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense.  |
Industrialisierung des Software Management  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Denger, Peter Liggesmeyer, Mario Trapp |
WG7: Safety-Engineering für eingebettete Softwaresysteme.  |
Software Engineering  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jörg Dörr, Peter Liggesmeyer |
WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung.  |
Software Engineering  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Formal Techniques in Software Engineering: Correct Software and Safe Systems.  |
TPHOLs  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz |
Extended state identification and verification using a model checker.  |
Information & Software Technology  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer |
Achieving communication coverage in testing.  |
ACM SIGSOFT Software Engineering Notes  |
2006 |
DBLP DOI BibTeX RDF |
timed state-based specifications, distributed systems, conformance testing, coverage criteria |
| 1 | Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler (eds.) |
Component-Base Modeling and Simulation, 18.-23. January 2004  |
Component-Base Modeling and Simulation  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christopher Robinson-Mallett, Peter Liggesmeyer |
State Identification and Verification using a Model Checker.  |
Software Engineering  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Robert Kalcklösch, Peter Liggesmeyer |
Communication Test for Object-Oriented Systems using Gossiped Data (Fast Abstract).  |
GI Jahrestagung  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz |
Generating optimal distinguishing sequences with a model checker.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification |
| 1 | Thomas Bauer, Jens Herrmann, Peter Liggesmeyer, Christopher Robinson-Mallett |
A flexible integration strategy for in-car telematics systems.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
components, automotive, message sequence charts, integration testing, telematics, test planning |
| 1 | Peter Liggesmeyer, Klaus Pohl, Michael Goedicke (eds.) |
Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, 8.-11.3.2005 in Essen  |
Software Engineering  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz |
Generating optimal distinguishing sequences with a model checker.  |
A-MOST  |
2005 |
DBLP DOI BibTeX RDF |
model checking, verification, test generation, extended finite state machines, distinguishing sequence, state identification |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.) |
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings  |
SAFECOMP  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mathias Weske, Peter Liggesmeyer (eds.) |
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  |
Net.ObjectDays  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme.  |
it - Information Technology  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel |
A New Component Concept for Fault Trees.  |
SCS  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jörg Gericke, Peter Liggesmeyer |
Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen.  |
Inform., Forsch. Entwickl.  |
2002 |
DBLP DOI BibTeX RDF |
Softwareanforderung, Anforderungsverfolgung, Sicherheit (safety), UML |
| 1 | Peter Liggesmeyer |
Software-Qualität - testen, analysieren und verifizieren von Software.  |
|
2002 |
RDF |
|
| 1 | Peter Liggesmeyer, Oliver Mäckel |
Quantifying the Reliability of Embedded Systems by Automated Analysis.  |
DSN  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren Entwicklung.  |
LOG IN  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andreas Spillner 0002, Peter Liggesmeyer |
Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest.  |
Inform., Forsch. Entwickl.  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Formale und stochastische Methoden zur Qualitätssicherung technischer Software (eingeladener Vortrag).  |
Softwaretechnik-Trends  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann |
Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze.  |
Informatik Spektrum  |
1998 |
DBLP DOI BibTeX RDF |
Qualitätssicherung, technisches System, Zuverlässigkeit, Messung, Test, Software, Sicherheit |
| 1 | Peter Liggesmeyer, Martin Rothfelder |
Towards Automated Proof of Fail-Safe Behaviour.  |
SAFECOMP  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Liggesmeyer, Martin Rothfelder |
Improving System Reliability with Automatic Fault Tree Generation.  |
FTCS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Selecting Engineering Techniques using Fuzzy Logic Based Decision Support. (PDF / PS)  |
ECBS  |
1996 |
DBLP DOI BibTeX RDF |
testing, metrics, tools, Decision support, methods, techniques |
| 1 | Peter Liggesmeyer |
A set of complexity metrics for guiding the software test process.  |
Software Quality Journal  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Eine Methode zur Konstruktion von Prüfstrategien für Software.  |
Inform., Forsch. Entwickl.  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Software-Komplexitätsmetriken zur Testunterstützung.  |
Inform., Forsch. Entwickl.  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andreas Spillner 0002, Peter Liggesmeyer |
Software-Qualitätssicherung in der Praxis.  |
Informatik Spektrum  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer |
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren.  |
Testen, Analysieren und Verifizieren von Software  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer, Harry M. Sneed, Andreas Spillner 0002 (eds.) |
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  |
Testen, Analysieren und Verifizieren von Software  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer, Andreas Dregger, Helmut Balzert |
Ein experimentelles Testsystem für die Sprache HyperTalk.  |
Testen, Analysieren und Verifizieren von Software  |
1992 |
DBLP BibTeX RDF |
|
| 1 | Peter Liggesmeyer, L. Sturm |
Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen.  |
Angewandte Informatik  |
1988 |
DBLP BibTeX RDF |
|