Publikationen

Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg

Sammlung/Stundenplan Modulbelegung

Home | Rechtliches | Kontakt | Hilfe

Suche:

Lehr-
veranstaltungen

Personen/
Einrichtungen



	Darstellung
		Druckansicht ausführliche Fassung

Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>

Lehrstuhl für Informatik 11 (Software Engineering)

	2020 The Project SMARTEST: Testing for the Presence of Exploitable Software Vulnerabilities
	2019 Comparative Evaluation of Security Fuzzing Approaches Comparative Evaluation of Security Fuzzing Approaches Software-Zuverlässigkeit
	2018 Beiträge von FAU-SWE zum BMWi-geförderten Verbundprojekt SMARTEST Constraint-based Testing for Buffer Overflows Constraint-based Testing for Buffer Overflows Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents Ongoing Work in Smart Testing of Safety-Critical Networks Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen Testen zur Fehlererkennung und zum Zuverlässigkeitsnachweis - Vom Softwaretest zum Testen kooperativer Roboter Testing for Security - Systematic and Heuristic Search for Exploitable Software Vulnerabilties Von FAU-SWE im Verbundprojekt SMARTEST erzielte Ergebnisse und Vorschläge für ein Fortsetzungsvorhaben
	2017 Analysis of Potential Code Vulnerabilities involving Overlapping Instructions Analysis of Potential Code Vulnerabilities involving Overlapping Instructions CPN Modelling and Testing of Cooperating Mobile Robots Evaluation of Testing Techniques for IT Security Checks in Automatic Control Software for Nuclear Power Plants / Sub-Project: Model-based Testing Strategies Ongoing Work in Smart Testing of Safety-Critical Networks Reliability Analysis for Interacting Agents Reliability Analysis of Mobile Agents based on CPN Models Testing for Fault Detection and for Reliability Assessment: from Classical Software Engineering to Robot Cooperation
	2016 Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems Analysis of Informed Attacks and Appropriate Countermeasures for Cyber-Physical Systems Evaluation of Testing Techniques for IT Security Checks in Automatic Control Software for Nuclear Power Plants / Sub-Project: Model-based Testing Strategies Fault, Safety and Context Analysis for Interacting Agents Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration Modellbasiertes Testen kooperierender Roboter Quantitative Reliability Assessment for Mobile Cooperative Systems Quantitative Reliability Assessment for Mobile Cooperative Systems Systematic and Probabilistic Testing of Autonomous Mobile Robots Systematic and Probabilistic Testing of Autonomous Mobile Robots Testverfahren zur Fehlererkennung und zur Zuverlässigkeitsbewertung für kooperierende mobile Agenten
	2015 Fault, Safety and Context Analysis for Interacting Agents (Status of Work Package "Fault and Reliability Analysis") Forschungsprojekte zum Thema Softwarezuverlässigkeit am Erlanger Lehrstuhl für Software Engineering Lässt sich Software-Zuverlässigkeit quantifizieren? Model-based Design and Testing of Decisional Autonomy and Cooperation in Cyber-physical Systems Model-based Design and Testing of Decisional Autonomy and Cooperation in Cyber-physical Systems Presentation of Work Package on "Fault and Reliability Analysis" Quantitative Bewertung der Softwarezuverlässigkeit unter Berücksichtigung der Komponenteninteraktionen Quantitative Bewertung der Softwarezuverlässigkeit unter Berücksichtigung der Komponenteninteraktionen Reconfigurable ROS-based Resilient Reasoning Robotic Co-operating Systems (R5-COP) - a member's project Reconfiguration Testing for Cooperative Autonomous Agents Reconfiguration Testing for Cooperative Autonomous Agents Research on Software Reliability at the Chair of Software Engineering Safety and Context Analysis for Interacting Agents Status of Work Package on "Fault and Reliability Analysis"
	2014 A Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation A Testing Pattern for Automatic Control Software Addressing Different Degrees of Process Autonomy and Cooperation Cooperation and Decisional Autonomy in Systems-of-Systems Klassische Zuverlässigkeit vs. Softwarezuverlässigkeit Presentation of Work Package "Fault and Reliability Analysis" Qualitative und quantitative Bewertung der Softwarezuverlässigkeit Resilient Reasoning Robotic Co-operating Systems, R3-COP Software Testing - When is it enough for certification? Target-Specific Adaptations of Coupling-Based Software Reliability Testing Target-Specific Adaptations of Coupling-Based Software Reliability Testing Testing and Operational Evidence of Safety-Critical Software: when is it enough for Certification? Testing the Cooperation of Autonomous Robotic Agents Testing the Cooperation of Autonomous Robotic Agents Zuverlässigkeit von Softwareprodukten mit wiederverwendbaren Komponenten - Anleitung für Funktionalität und Prüfungen
	2013 Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software Dynamische Programmanalyse: Funkionale, strukturelle und modell-basierte Software-Tests Identification of Test Scenario and Generation of Test Data I Identification of Test Scenarios and Generation of Test Data - "Testing of Cooperating Autonomous Systems" Identification of Test Scenarios and Generation of Test Data II Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets Resilient Reasoning Robotic Co-operating Systems (R3-COP) - a member's project in Advanced Research and Technology for Embedded Intelligence and Systems (ARTEMIS) Test Case Generation and Testing Robustness in Cooperating Autonomous Systems - Status of Workpackage on "Testing Cooperating Autonomous Systems" Test Scenario Identification and Test Case Generation - Status of Workpackage on "Testing Cooperating Autonomous Systems"
	2012 Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest Communication and Coverage Analysis - "Testing of Cooperating Autonomous Systems" Communication and Coverage Analysis - Status of Workpackage on "Testing of Cooperating Autonomous Systems" Communication and Coverage Analysis I Communication and Coverage Analysis II CPN-based Testing of Cooperating Forklifts - Progress Achieved Model-based Testing of Autonomous Systems based on Coloured Petri Nets Model-based Testing of Autonomous Systems based on Coloured Petri Nets Model-based Testing of Autonomous Systems based on Coloured Petri Nets Property-based Testing of Cooperating Systems Software Reliability Testing Covering Subsystem Interactions Software Reliability Testing Covering Subsystem Interactions Structural and Statistical Testing Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets
	2011 Communication and Coverage Analysis - Status of Workpackage on "Testing of Cooperating Autonomous Systems" Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents Model-based Representation of Cooperative, Autonomous Systems Software Reliability Assessment based on Operational Representativeness and Interaction Coverage Software Reliability Assessment based on Operational Representativeness and Interaction Coverage Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung Testing of Cooperating Autonomous Systems
	2010 Automated Unit and Integration Testing for Component-based Software Systems Automated Unit and Integration Testing for Component-based Software Systems Bewertung der Zuverlässigkeit von Software - Betriebserfahrung an einer Getriebesteuerung nutzen Erhöhung und Bewertung der Softwarezuverlässigkeit durch modellbasierte und statistische Testverfahren Evaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle Evaluierung des Fehlererkennungspotentials modellbasierter Komponenten- und Integrationstestfälle In primo luogo la sicurezza: L'affidabilità del software per dispositivi ad alto rischio Open Source Software Assessment by Evaluating Past Operational Experience and by Integration Testing Quantitative Bewertung der Softwarezuverlässigkeit komponentenbasierter Systeme durch statistische Auswertung der Betriebserfahrung Redundanz zur Beherrrschung von Kommunikationsfehlern Report on the European Workshop on Industrial Computer Systems Software Reliability Assessment - What was achieved? What has changed? What is still challenging? Software Reliability Assessment Based on the Evaluation of Operational Experience Software-Zuverlässigkeit Test and Reliability Assessment for Highly Dependable Software Systems Testing for Dependable Embedded Software Testing for Dependable Embedded Software Verifica e validazione di sistemi software ad alta affidabilità realizzati per il controllo automatico di applicazioni a rischio
	2009 Fehlerkennung und Zuverlässigkeitsbewertung durch Testen komponentenbasierter Softwaresysteme Integration and Reliability Testing for Component-based Software Systems Integration and Reliability Testing for Component-based Software Systems Lehrkonzepte und Lehrinhalte zum Thema Softwarezuverlässigkeit Safety and Model-Based Systems Engineering Safety first! - Sicherheitssoftware und Softwaresicherheit Safety, Security, Survivability - Bericht über eine gemeinsame Taxonomie Software Reliability Assessment for a Gearbox Controller by Analysis of Operating Experience Softwarezuverlässigkeit - Betrachtungen auf Systemebene, konstruktive und analytische Verfahren Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test Visualisierung überdeckter sowie zu überdeckender Modellelemente im modellbasierten Test Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung Zuverlässigkeitsbewertung einer Getriebesteuerungs-Software durch Auswertung der Betriebserfahrung
	2008 Auswertung der Betriebserfahrung zum Zuverlässigkeitsnachweis sicherheitskritischer Softwaresysteme Automatic Generation of Optimized Integration Test Data by Genetic Algorithms Automatic Generation of Optimized Integration Test Data by Genetic Algorithms Automatische Generierung optimaler modellbasierter Regressionstests Automatische Generierung optimaler modellbasierter Regressionstests Automatisches Softwaretesten - Mit möglichst wenigen Testfällen möglichst vollständig testen Automatisches Softwaretesten - Mit möglichst wenigen Testfällen möglichst vollständig testen! Common Analysis and Verification Techniques for Safety- and Security-Critical Software Common Analysis and Verification Techniques for Safety- and Security-Critical Software Systems Nachweis hoher Softwarezuverlässigkeit auf der Basis von Test- und Betriebserfahrung mit wiederverwendbaren Komponenten Qualität und Zuverlässigkeit im Software Engineering Reliability Estimation of Component-based Software by Evaluation of Operating Evidence of Software Components Reliability Estimation of Component-based Software by Evaluation of Operating Evidence of Software Components Software Reliability Assessment by Statistical Analysis of Operational Experience Techniques and Tools for the Automatic Generation of Optimal Test Data at Code, Model and Interface Level Teststrategien zur Verifikation und Validierung hochzuverlässiger Software Verfahren zur Erzielung und zur Bewertung hoher Zuverlässigkeit für komponentenbasierte Softwaresysteme Verifikation und Validierung hochzuverlässiger Softwaresysteme mit Sicherheitsverantwortung - Probleme und Lösungsansätze White and Grey-Box Verification and Validation Approaches for Safety- and Security-Critical Software Systems
	2007 Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken Automatische Testdatengenerierung mittels multi-objektiver Optimierung Automatische Testdatengenerierung mittels multi-objektiver Optimierung Automatische, modellbasierte Testdatengenerierung durch Einsatz evolutionärer Verfahren Automatische, modellbasierte Testdatengenerierung durch Einsatz evolutionärer Verfahren Computer Safety, Reliability, and Security Einheitliche Modellierung von funktionaler Sicherheit und Datensicherheit Interface Coverage Criteria Supporting Model-Based Integration Testing Interface Coverage Criteria Supporting Model-Based Integration Testing Opening and Welcome Address Teaching Software Reliability Engineering
	2006 Automatic Generation and Optimization of Software Test Data Automatic Test Data Generation by Multi-Objective Optimisation Automatic Test Data Generation by Multi-Objective Optimisation Interaktion zwischen funktionaler Sicherheit und Datensicherheit Interaktion zwischen funktionaler Sicherheit und Datensicherheit Invitation to Safecomp 2007 Sicher ist sicher - Einheitliche Betrachtung von Funktions- und Informationssicherheit Software-Zuverlässigkeit
	2005 A Technique to Improve the Quality of Software Requirements in Natural Language Assessing Software Safety and Security for Critical Infrastructures Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software Beherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen Beherrschung von Schnittstelleninkonsistenzen in komponentenbasierten Softwaresystemen Certification and Licensing of Pre-Developed Components for Safety-Relevant Applications Convergence of Security, Safety and Critical Information Infrastructure Protection Convergence of Security, Safety and Critical Information Infrastructure Protection Diversity Supporting Component Re-usage in a New Application Context Statistisches Testen hochzuverlässiger Software Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults Tolerieren von Inkonsistenzen in komponentenbasierten Systemen Tolerieren von Inkonsistenzen in komponentenbasierten Systemen
	2004 A Data Flow Approach to Testing Object-Oriented Java-Programs A Data Flow Approach to Testing Object-Oriented Java-Programs A Technique to Improve the Quality of Software Requirements in Natural Language Automatic Dataflow-oriented Test Case Generation for Object-oriented Software Systems by Evolutionary Algorithms Automatische Generierung optimaler datenflussorientierter Testdaten mittels evolutionärer Verfahren Automatische Generierung optimaler datenflussorientierter Testdaten mittels evolutionärer Verfahren Baukastenprinzip - UML-Profile für die Komponentenintegration Certification and Licensing of Pre-Developed Software Components for Safety- Relevant Applications Classification, Analysis and Detection of Interface Inconsistencies in Safety-Relevant Component-based Systems Classification, Analysis and Detection of Interface Inconsistencies in Safety-Relevant Component-based Systems Eine einheitliche Kohäsionsmetrik für Methoden, Klassen und Komponenten Eine einheitliche Kohäsionsmetrik für Methoden, Klassen und Komponenten Interface Inconsistencies in Safety-Relevant Computer Systems Licensing Reliable Embedded Software for Safety-Critical Applications Sicherheit und Zuverlässigkeit für automobile Informationstechnik Software für sicherheitskritische Automatisierungssysteme: Wie ist ihre Zuverlässigkeit zertifizierbar?
	2003 A Study of the Applicability of ISO / IEC 17799 and the German Baseline Protection Manual to the Needs of Safety Critical Systems Anforderungen an Software in sicherheitsrelevanten Automatisierungssystemen Anforderungen an Software in sicherheitsrelevanten Automatisierungssystemen Normierung von Sicherheitsanforderungen an Software Safety of Computer Control Systems: Challenges and Results in Software Development T. Grams: Grundlagen des Qualitäts- und Risikomanagements: Zuverlässigkeit, Sicherheit, Bedienbarkeit (Rezension) Technische Sicherheit und Informationssicherheit - Unterschiede und Gemeinsamkeiten The Impact of Maintenance on Process Quality & Product Quality Zuverlässige Software für sicherheitskritische Anwendungen
	2002 Cognitive Ergonomics Oriented Design of Safety Related Control Software Einführung zur Begriffsbildung der Sicherheit - Schutz und Zuverlässigkeit Entwicklung methodischer Grundlagen zur Erfassung und Bewertung der Zuverlässigkeit vorgefertigter Software Neueste Entwicklungen im European Network of Clubs for Reliability and Safety of Software-Intensive Systems” Pre-Developed Software to be re-used in Safety-Relevant Component-based Systems Softwarezuverlässigkeit - 20 Jahre später Zuverlässigkeit von Computerprogrammen durch Software Engineering erlangen
	2001 Certification & Licensing Problems using COTS in Safety Critical Systems - an Approach for Small & Medium Enterprises Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems Reliability and Safety of Software-based Systems: Criticality and Sensitivity Analysis for Off-the-Shelf-Components in Safety-Relevant Systems Systematische Vorgehensweisen zur Erzielung und Bewertung von Softwarezuverlässigkeit The Standardisation and Regulatory Environment for the Application of Worldwide Standards Relevant to the Use of Programmable Electronic Systems in Safety Related and Security Applications, part 2
	2000 A Short Collection of Success Stories Deduktive Analyse- und Validierungstechniken zur Realisierung systematischer Sicherheitskonzepte für komplexe Systeme der Informationstechnik Effective Handling of Software Anomalies in Computer Based Systems at Nuclear Power Plants ENCRESS in Germany Erzielung und Bewertung hoher Softwarezuverlässigkeit: Begriffe, Probleme und Lösungsansätze Evaluation of Pre-Developed Software for Usage in Safety-Critical Sysems Evaluation of Pre-Developed Software for Usage in Safety-Critical Systems Induktive und deduktive Verfahren zur Analyse und Validierung sicherheitskritischer Systeme Quantitative Techniques of Software Assessment for Safety-Critical Systems Statistical Significance of Expert Judgement for Ultrahigh Software Reliability Demands Statistical Significance of Expert Judgement for Ultrahigh Software Reliability Demands Systematische Vorgehensweisen zum Entwurf und zur Analyse sicherheitsrelevanter Software Verfahren zur Erzielung und Bewertung von Softwarezuverlässigkeit Verlässlichkeit und Fehlertoleranz in Rechensystemen: Fortschritte, Probleme, Herausforderungen ”Systematische Vorgehensweisen zur Entwicklung und zur Bewertung sicherer und zuverlässiger Softwaresysteme”
	1999 Combination of Formal and Informal Approaches to Validate Embedded Software Der Fachausschuß "Verläßlichkeit und Fehlertoleranz" Formal and Informal Methods for V & V of Embedded Software: Strengths, Limits and Complementarity Formal and Informal Methods for V & V of Embedded Software: Strengths, Limits and Complementarity Sicherheit und Zuverlässigkeit software-basierter Systeme Software Certification for Embedded Systems: Statistical Significance of Non-Operational Experience Software Certification for Embedded Systems: Statistical Significance of Non-Operational Experience Statistical Significance of Process Attributes Systematische Verfahren zur Unterstützung der Analyse, des Entwurfs und der Validierung eingebetteter sicherheitsrelevanter Systeme Systematische Vorgehensweisen zur Analyse, zum Entwurf und zur Validierung hochzuverlässiger Echtzeitsysteme
	1998 A Formal Method to Support the Design of Fault-Tolerant Software A Formal Method to Support the Design of Fault-Tolerant Software Einsatz binärer Entscheidungsdiagramme zur Realisierung systematischer Analyse-, Entwurfs- und Verifikationsverfahren Hochzuverlässige Software für eingebettete Systeme mit Sicherheitsrelevanz: Probleme und Lösungsansätze Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets Limits of Engineering Judgement for Safety-Critical Software-based Embedded Systems Limits of Engineering Judgement for Safety-Critical Software-based Embedded Systems Software Diversity – Problems and Approaches to Design and Assess Fault-Tolerant Software Verfahren zur quantitativen Abschätzung von Zuverlässigkeitskenngrößen für Softwareprodukte
	1997 Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams ENCRESS in Germany Fehlertolerierende Software in eingebetteten Systemen mit Sicherheitsrelevanz Formale Methoden und Fehlertoleranz in eingebetteten Software-Systemen Maßnahmen zur Vermeidung, Aufdeckung und Beherrschung von Software-Fehlern Rechnergetützte Sicherheitsleittechnik – IEC-Normen und Aktivitäten nationaler Spiegelgremien Software-Intensive High Risk Systems for the Application in the Transportation and Nuclear Industry Sector
	1996 Besondere sicherheitsrelevante Aspekte hinsichtlich der Nach- und Umrüstung konventioneller Sicherheitsleittechnik Design and Assessment of Fault-Tolerant Software Die Entwicklung des Rechencodes MIKADO als Fallstudie zur Softwarequalitätssicherung Fault Tolerance of High Risk Systems, in the Transport and Nuclear Sectors Fehlerbaumanalyse mittels Ordered Binary Decision Diagrams PSA to Support the Design of Software Architecture PSA to Support the Design of Software Architecture Software-Sicherheit
	1995 Decision Rules Supporting the Design of Fault-Tolerant Software Einwirkungsmöglichkeiten von Innentätern auf sicherheits- und sicherungsrelevante Software und davor schützende Sicherungsmaßnahmen Kombination von Analyse- und Testverfahren zum Zwecke der Programmverifikation Software Metrics at the Institute for Safety Technology
	1994 Dependability of Real-Time Software - Guest Editor's Introduction Fault Tolerance by Software Diversity: How and When? Fault Tolerance by Software Diversity: How and When? Qualitative and Quantitative Analysis of Software Fault Tolerance Qualitätssichernde Analyse des Codes MIKADO zur Berechnung der Migration durch konvergenzgetriebene Advektion im Endlagerbergwerk Software-Komplexität Strategien zur Realisierung und zur Bewertung diversitärer Software
	1993 Analysis and Conclusions of the Final Back-to-Back-Testing Phase of the DARTS Experiment Architecture and Safety Qualification of Large Software Systems Definition of Testing Strategies for the Back-to-Back Phase of the DARTS Project Entwurf und Bewertung fehlertolerierender Software Fault Tolerance of Software Guidelines for the Design of Diverse Software Exemplified by the DARTS Project Metrics at ISTec Modelling and Supporting Program Understanding Qualitative and Quantitative Analysis of Software Fault Tolerance Richtlinien zum Entwurf und zur Bewertung fehlertolerierender Software
	1992 A Comparative Evaluation of V&V Procedures for Conventional Software and Expert Systems A Comparative Evaluation of V&V Procedures for Conventional Software and Expert Systems Integration of Software Reliability Predictions to Achieve Modelling Fault Tolerance Integration of Software Reliability Predictions to Achieve Modelling Fault Tolerance Software Fault Tolerance Software Fault Tolerance - Achievement and Assessment Strategies Software-Diversität für Steuerungen mit Sicherheitsverantwortung Structural Testing Strategies Applied to Knowledge-based Systems Structural Testing Strategies Applied to Knowledge-based Systems System Assessment Plan for the DARTS Project Tolerierung von Software-Fehlern durch Einsatz von Diversität Verfahren zur Software-Verifikation
	1991 A Classification of Software Diversity Degrees Induced by an Analysis of Fault Types to be Tolerated A Classification of Software Diversity Degrees Induced by an Analysis of Fault Types to be Tolerated A Comparative Evaluation of V&V Procedures for Conventional Software and Expert Systems An Error Analysis for AI-Systems leading to a New Test Adequacy Criterion An Error Analysis for AI-Systems leading to a New Test Adequacy Criterion Assessment of Software Requirement Specification of Channel 4 for the DARTS Project Design Assessment of Channel 4 for the DARTS Project Systematic Software Testing Strategies as Explanatory Variables of Proportional Hazards Systematic Software Testing Strategies as Explanatory Variables of Proportional Hazards Systematic Software Testing Strategies as Explanatory Variables of Proportional Hazards Techniques to Evaluate Software Fault Tolerance and to Optimize its Effectiveness The Impact of Forced Diversity on the Failure Behaviour of Multi-Version Software The Impact of Forced Diversity on the Failure Behaviour of Multiversion Software The Impact of Forced Diversity on the Failure Behaviour of Multiversion Software
	1990 Ergebnisse des EG-Forschungsprojektes REQUEST zur Softwarequalität und Softwarezuverlässigkeit Integration of Different Software Dependability Evaluations into a Tool with Unique Final Result Location of Checkpoints in Fault-Tolerant Software Modelli e strategie per valutazione di affidabilità del software Software Diversity Metrics Quantifying Dissimilarity in the Input Partition Software Fault-Tolerant Techniques and Methods to Evaluate and Optimize their Effectiveness Software Fault-Tolerant Techniques and Methods to Evaluate and Optimize their Effectiveness Specification of Acceptance Tests for the DARTS Project Specification of the Design of the Experiment of the DARTS Project Strategies for the Achievement and Assessment of Software Fault Tolerance Strategies for the Achievement and Assessment of Software Fault Tolerance
	1989 Application of the Diversity Concept to Achieve Fault Tolerance during the Software Testing Process and the Software Reliability Prediction Phase Final Report on Adjudication Mechanisms Process Dissimilarities Reducing Failure Dependence in Diverse Software Strategies for the Achievement and Assessment of Software Fault Tolerance The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability
	1988 A Theoretical Evaluation of the Acceptance Test as a Means to Achieve Software Fault-Tolerance A Theoretical Evaluation of the Acceptance Test as a Means to Achieve Software Fault-Tolerance Back-to-back Teststrategien zur Validation fehlertolerierender Software-Systeme Intermediate Report on Adjudication Mechanisms Optimal Combination of Software Testing Strategies Software Diversity and Fail-Safe Programs Software-Zuverlässigkeitsmodelle
	1987 Methods of Measuring and Demonstrating Ultrahigh Reliability Modelling of Fault-Tolerant Architectures Quantitative Assessment of Fault-Tolerant Software Architecture Quantitative Assessment of Fault-Tolerant Software Architecture
	1986 Benefits and Limitations of Software Diversity Considerations on Software Diversity Considerations on Software Diversity on the Basis of Experimental and Theoretical Work Considerations on Software Diversity on the Basis of Experimental and Theoretical Work Methodologies for Achieving Ultra-high Reliability in Software Software Diversity - Some Considerations about its Benefits and its Limitations Software Diversity - Some Considerations about its Benefits and its Limitations
	1985 Über eine Klasse linearer Abbildungen, die zur Kantor-Koecher-Tits-Konstruktion von Lie-Algebren führt



	UnivIS ist ein Produkt der Config eG, Buckenhof