- AX001-1-2/02 Events in both Cockpits
- A WBA of the Royal Majesty Accident Peter Husemann, Peter B. Ladkin, Jan Sanders, Jorn Stuphorn
- Proof of a GCD Algorithm on an MC68020 R. S. Boyer
- Indeterminacy and the 6.1 Logical Analysis of Handover Failures
- Ariane notes 1 of 3 09/19/2005 01:13 PM
- Safely Sliding Windows: The Specs Thorsten Gerdsmeier, Dirk Henkel, Peter B. Ladkin
- The 1993 Warsaw Accident (with Michael Hohl)
- An Example of Everyday Risk Assessment Peter B. Ladkin
- Literaturverzeichnis [Albrecht83] Allan J. Albrecht, John E. Gaffney Software Function, Source Li
- Specifying ATC Procedures As suggested by the Di erence Condition in Chapter 4.2, we must analyse ATC
- Formal Completeness and Correctness Proof
- Formal Proof of Correctness The PARDIA Classi cation
- Integrating Metric and Qualitative Temporal Reasoning
- AD : Airworthiness Directive ADC : Air Data Computer
- Theoretical Approaches to Systems Diplomarbeit im Fach naturwissenschaftliche Informatik, an der technischen
- Lazy Cache Implements Complete Cache Draft Version 1
- Syntactic De nition of Textual WBGs in Extended
- Fast Algebraic Methods for Interval Constraint Problems \Lambda Peter B. Ladkin
- United States General Accounting Office GAO Report to the Chairman, Subcommittee
- The Crash of AA587: A Guide Peter B. Ladkin
- Federal Department of the Environment, transport, Energy and Communications N A024
- Privacy Enhancing Technology Concepts for RFID Technology Scrutinised
- Legend and Statistics AC crashes into landing
- EL Proof-Step Templates B.1 The High-Level Template
- Diplomarbeit Vergleichende Analyse von elektronischen
- Building a Parser for ATC language in the project seminar
- We have explained the WBA method, and demonstrated on a small example its suciency to explain incidents causally from a rough but accurate history. WBA
- Towards \Why...Because"-Analysis of Failures
- Hydrocarbon in Catalyst in
- Aviation Incident Reports We aim to explain incidents with air trac systems involving new-generation air-
- How to Generate Fault Trees from Causal In uence Diagrams
- On Binary Constraint Problems Peter B. Ladkin \Lambda
- United States General Accounting Office GAO High-Risk Series
- A WBAnalysis The incident that forms our running example occurred on 5 September 1995 at
- Developing an ATC Grammar using the Review of the Cushing Grammar
- The Logic of Time Representation Peter Bernard Ladkin
- Fur die Entwicklung von Softwareprodukten sind entsprechende Verfahren, Metho-den und Werkzeuge erforderlich. Die Disziplin Software-Entwicklung umfat das
- Airbus A320 Braking as Predicate-Action Peter B. Ladkin
- Checking and Comparison of WB-Graphs Peter B. Ladkin
- Causal Analysis of the ACAS/TCAS Sociotechnical System Peter B. Ladkin
- The Logic EL In order formally to verify that a causal explanation is indeed correct and relatively
- Practical Static Methods for Exact Deadlock Prediction in Message Passing Concurrent
- Safely Sliding Windows Dirk Henkel
- Universit at Bielefeld Technische Fakult at
- Comments on a Proposed Semantics for Basic Message Sequence Charts
- The WB-Graph of the 1994 Nagoya Accident
- Building a Corpus for Cockpit Voice Recorder Transcripts
- ABAP/4BeispielProgramme 62 SAP Schulungsprogramme umfassen die ABAP/4BeispielAuswahl. Der jeweil
- Causal Reasoning About Aircraft Accidents Peter B. Ladkin
- Zusammenfassung und Ausblick F ur die von der SAP AG entwickelte Programmiersprache ABAP/4 sind in der Lite
- GPS RISK ASSESSMENT STUDY FINAL REPORT
- Bibliography [AAIC96] Japan Aircraft Accident Investigation Commission, Ministry of Trans-
- fl 1997 PBLadkin Correctness in System Engineering
- Review of the Cushing Grammar in the project seminar
- F ur die Entwicklung von Softwareprodukten sind entsprechende Verfahren, Metho den und Werkzeuge erforderlich. Die Disziplin SoftwareEntwicklung umfat das
- Rechnernetze und Verteilte Systeme
- deh`@VIhU@r@yshh(tr@pd(U`YXefpVIgh"ahpxUxU`iUsg y@rUkjltumhnyn@j
- Halstead: Detaillierte Ubersicht der ABAP 4-Interpretation
- built by airport authority for
- Die theoretischen Grundlagen der Diplomarbeit werden in diesem Kapitel beschrie ben. Im Kapitel 2.1 folgt neben einem kurzen geschichtlichem Prolog, eine Einf uh
- Comments on a paper by Voas, Payne & Cohen
- Flight Phases and System Flights are divided into phases, in which the state of the system is di erentiated
- FLIGHT TEST RESULTS OF THE CONTROLLED FLIGHT INTO TERRAIN
- Literaturverzeichnis Albrecht83 Allan J. Albrecht, John E. Ga ney Software Function, Source Li-
- 1.2.3. internal event and
- Formal But Lively Buffers in TLA + Peter B. Ladkin
- Formale Beschreibung von DATR Diplomarbeit
- Procedure Speci cations in 10.1 Real Time Theorems
- 1.2.3. internal event and
- Halstead: Detaillierte der ABAP/4Interpretation
- Universitat Bielefeld Technische Fakultat
- Using The Temporal Logic of Actions: A Tutorial on TLA Verification
- FORMALISM HELPS IN DESCRIBING ACCIDENTS Peter Ladkin, Universitt Bielefeld, Germany
- Zusammenfassung und Ausblick Fur die von der SAP AG entwickelte Programmiersprache ABAP 4 sind in der Lite-
- Simple Reasoning with Time-Dependent Propositions Maroua Bouzid Peter B. Ladkin
- Lazy Cache Implements Complete Cache Draft Version1
- Fast Algebraic Methods for Interval Constraint Problems* Peter B. Ladkin Alexander Reinefeld
- Integrating Metric and Qualitative Temporal Reasoning
- Simple Reasoning with TimeDependent Propositions Maroua Bouzid
- Beschreibung eines vagen EchtzeitHybridSystems in TLA +
- Notes on the Foundations of System Safety and Risk
- internal event and its description
- Steps Towards a Robust Analysis of Procedure: New Formal Methods for Human-Machine Cooperative Tasks
- Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies
- WB-Analysis of the attack on the Nakula and Antareja machines in January 2002
- An Example of Everyday Risk Assessment Peter B. Ladkin
- EMI, TWA 800 and Swissair 111 Peter B. Ladkin and Willi Schepper
- Opinion Taking Software Seriously P. B. Ladkin
- Ontological Analysis P. B. Ladkin
- Universitt Bielefeld Technische Fakultt
- Universitat Bielefeld Technische Fakultat
- University of Bielefeld WS 2004/2005 Faculty of Technology
- Universitat Bielefeld Technische Fakultat
- Analysis of a Technical Description of the Airbus A320 Braking System
- 11 December 1995 Journal of Requirements Engineering, 1(1) March 1996, pp 27-46
- 1.2.1.3.1.3.1.1 ROZOandROMEO
- Federal Aviation Administration Human Factors Team
- Prepared by: Shawn Coyle, Aircraft Certification, Flight Test. Transport Canada, Ottawa, Ontario.
- PILOT AUTHORITY AND AIRCRAFT PROTECTIONS
- Analysis Topic: Runway Overrun at Sao Paulo-
- National Transportation Safety Board FACTUAL REPORT
- Aviation Safety Council Taipei, Taiwan
- SAFETY REGULATION GROUP FLIGHT OPERATIONS
- TRASADINGEN Track B757-200
- CFIT at 2700 ft MSL on GPWS inactive
- AIRCRAFT SERIOUS INCIDENT REPORT OCCURRENCE NUMBER 00/2518
- Airbus A330 C-GGWD, Airbus A340 TC-JDN AAIB Bulletin No: 6/2001 Ref: EW/C2000/10/2 Category: 1.1
- Corboy & Demetrio Award for Contributions to
- United States General Accounting Office GAO Report to the Secretary of
- United States General Accounting Office GAO High-Risk Series
- United States General Accounting Office GAO High-Risk Series
- University of Bielefeld Rechnernetze und
- AAIB Bulletin No: 2/2005 Ref: EW/C2003/08/11 Category: 1.1 Aircraft Type and Registration: Airbus A320-200, C-FTDF
- EMI, TWA 800 and Swissair 111 Peter B. Ladkin and Willi Schepper
- 1.1.1.1.1.1 AP 1.1.1.1.2.1
- Comments on Confusing Conversation at Cali
- Universit at Bielefeld Technische Fakult at
- Preserving Privacy in RFID Deployment RVSOcc0401
- Air Transat Flight 236: The Azores Glider Peter B. Ladkin
- Preserving Privacy in RFID Deployment RVS-Occ-04-01
- Formal But Lively Buffers in TLA+ Peter B. Ladkin
- Comments on a Proposed Semantics for Basic Message Sequence Charts
- selfdestruct system of the launcher is triggered
- ABAP 4-Beispiel-Programme 62 SAP Schulungsprogramme umfassen die ABAP 4-Beispiel-Auswahl. Der jeweil-
- Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort
- Building a Parser for ATC language in the project seminar
- Hydrocarbon in Catalyst in
- Why-Because Analysis of the Glenbrook, NSW Rail Accident and Comparison with Hopkins's Accimap
- Static Analysis of Interprocess Communication 1 Peter B. Ladkin
- Sucient and Contrastive Explanation
- Informal Formal WBA of Important Incidents
- Safely Sliding Windows: The Specs Thorsten Gerdsmeier, Dirk Henkel, Peter B. Ladkin
- Safely Sliding Windows Dirk Henkel
- Using The Temporal Logic of Actions: A Tutorial on TLA Verification
- On Binary Constraint Problems Peter B. Ladkin* Roger D. Madduxy
- cO1997 PBLadkin Correctness in System Engineering
- Comments on a paper by Voas, Payne & Cohen
- Towards "Why...Because"-Analysis of Failures
- Herleitung einer Berechnung von Littlewood und Strigini 16.1 Bayessche Wahrscheinlichkeitsrechnung
- A Sustainable System Development Method with Applications
- Abbildungsverzeichnis 2.1 Die Welt der Objekte . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
- Probabilistische Risiko-Analyse Paul Marks of the New Scientist has a couple of good recent articles on the volcanic-
- Ontological Hazard Analysis --berblick 8.1 Introduction
- Systemanforderungsanalyse von Bahnbetriebsverfahren mit Hilfe der
- Beispiel einer Why-Because-Analyse Christoph Goeker 2010
- An Overview of IEC 61508 on E/E/PE Functional Safety Peter B. Ladkin 2008
- Definitionen und Terminologie This chapter contains terms to be defined (singular definiendum), definitions of those
- Unfall-Analyse We show how objective, rigorous causal reasoning in the analysis of air transportation
- Software-Richtlinien fr IEC 61508 Peter Ladkin 2010
- Computer-Safety 27. Juli 2011
- Functional Safety of Software-Based Critical Systems Peter Bernard Ladkin
- OHA-Beispiel --Automobil-Kommunikationsbus Peter B. Ladkin 2010
- Securing the Interface: Safety-Critical Interaction between Humans and Mobile Robots
- Securing the Interface: Safety-Critical Interaction between Humans and Mobile Robots
- OHA-Beispiel --Zugleitbetrieb nach FV-NE Bernd Sieker
- Murphy Was an Optimist Kevin R. Driscoll
- The Fukushima Accident Peter Bernard Ladkin
- The Assurance of Cyber-Physical Systems: Auffahr Accidents and Rational Cognitive Model Checking
