The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter Liggesmeyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fernando J. Barros, Axel Lehmann, Peter Liggesmeyer, Alexander Verbraeck, Bernard P. Zeigler
    04041 Abstracts Collection - Component-Based Modeling and Simulation. [Citation Graph (0, 0)][DBLP]
    Component-Base Modeling and Simulation, 2004, pp:- [Conf]
  2. Peter Liggesmeyer, Oliver Mäckel
    Quantifying the Reliability of Embedded Systems by Automated Analysis. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:89-96 [Conf]
  3. Peter Liggesmeyer
    Selecting Engineering Techniques using Fuzzy Logic Based Decision Support. [Citation Graph (0, 0)][DBLP]
    ECBS, 1996, pp:427-434 [Conf]
  4. Peter Liggesmeyer, Martin Rothfelder
    Improving System Reliability with Automatic Fault Tree Generation. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:90-99 [Conf]
  5. Robert Kalcklösch, Peter Liggesmeyer
    Communication Test for Object-Oriented Systems using Gossiped Data (Fast Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2006, pp:282-283 [Conf]
  6. Peter Liggesmeyer, Martin Rothfelder
    Towards Automated Proof of Fail-Safe Behaviour. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1998, pp:169-184 [Conf]
  7. Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel
    A New Component Concept for Fault Trees. [Citation Graph (0, 0)][DBLP]
    SCS, 2003, pp:37-46 [Conf]
  8. Christopher Robinson-Mallett, Peter Liggesmeyer
    State Identification and Verification using a Model Checker. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2006, pp:131-142 [Conf]
  9. Peter Liggesmeyer
    Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren. [Citation Graph (0, 0)][DBLP]
    Testen, Analysieren und Verifizieren von Software, 1992, pp:1-25 [Conf]
  10. Peter Liggesmeyer, Andreas Dregger, Helmut Balzert
    Ein experimentelles Testsystem für die Sprache HyperTalk. [Citation Graph (0, 0)][DBLP]
    Testen, Analysieren und Verifizieren von Software, 1992, pp:177-186 [Conf]
  11. Jörg Gericke, Peter Liggesmeyer
    Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2002, v:17, n:2, pp:60-67 [Journal]
  12. Peter Liggesmeyer
    Software-Komplexitätsmetriken zur Testunterstützung. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1994, v:9, n:3, pp:153-166 [Journal]
  13. Peter Liggesmeyer
    Eine Methode zur Konstruktion von Prüfstrategien für Software. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1994, v:9, n:2, pp:82-92 [Journal]
  14. Andreas Spillner, Peter Liggesmeyer
    Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2000, v:15, n:3, pp:119-120 [Journal]
  15. Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
    Extended state identification and verification using a model checker. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:10, pp:981-992 [Journal]
  16. Peter Liggesmeyer, Martin Rothfelder, Michael Rettelbach, Thomas Ackermann
    Qualitätssicherung Software-basierter technischer Systeme - Problembereiche und Lösungsansätze. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1998, v:21, n:5, pp:249-258 [Journal]
  17. Andreas Spillner, Peter Liggesmeyer
    Software-Qualitätssicherung in der Praxis. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1994, v:17, n:6, pp:368-372 [Journal]
  18. Peter Liggesmeyer
    Testen sicherheitskritischer Software zwischen Theorie und Praxis: Eine Bestandsaufnahme. [Citation Graph (0, 0)][DBLP]
    it - Information Technology, 2003, v:45, n:1, pp:39-45 [Journal]
  19. Peter Liggesmeyer
    Qualitätsmanagement technischer Software - Standortbestimmung und Prognose der weiteren Entwicklung. [Citation Graph (0, 0)][DBLP]
    LOG IN, 2000, v:20, n:6, pp:19-0 [Journal]
  20. Peter Liggesmeyer
    Formale und stochastische Methoden zur Qualitätssicherung technischer Software (eingeladener Vortrag). [Citation Graph (0, 0)][DBLP]
    Softwaretechnik-Trends, 2000, v:20, n:3, pp:- [Journal]
  21. Peter Liggesmeyer, L. Sturm
    Ein Vorschlag für die Erweiterung von Prädikats-Trasitions-Netzen zur Spezifikation komplexer Anwendungen. [Citation Graph (0, 0)][DBLP]
    Angewandte Informatik, 1988, v:30, n:6, pp:252-258 [Journal]
  22. Christian Denger, Peter Liggesmeyer, Mario Trapp
    WG7: Safety-Engineering für eingebettete Softwaresysteme. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:287-292 [Conf]
  23. Jörg Dörr, Peter Liggesmeyer
    WG6: Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:285-286 [Conf]
  24. Peter Liggesmeyer
    Formal Techniques in Software Engineering: Correct Software and Safe Systems. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:3-4 [Conf]

  25. Visualization of Software and Systems as Support Mechanism for Integrated Software Project Control. [Citation Graph (, )][DBLP]


  26. SafeSpection - A Systematic Customization Approach for Software Hazard Identification. [Citation Graph (, )][DBLP]


  27. Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. [Citation Graph (, )][DBLP]


  28. Software-Qualitätsmodellierung und -bewertung. [Citation Graph (, )][DBLP]


  29. 2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. [Citation Graph (, )][DBLP]


  30. 2. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. [Citation Graph (, )][DBLP]


  31. Software-Qualitätsmodellierung und -bewertung (SQMB 2009). [Citation Graph (, )][DBLP]


  32. 3. Workshop zur Erhebung, Spezifikation und Analyse nichtfunktionaler Anforderungen in der Systementwicklung. [Citation Graph (, )][DBLP]


  33. Software-Qualitätsmodellierung und -bewertung (SQMB). [Citation Graph (, )][DBLP]


  34. Software-Qualitätssicherung gestern und heute: Theorie und Erfahrung, Standards und Common Sense. [Citation Graph (, )][DBLP]


  35. Generating optimal distinguishing sequences with a model checker. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002