Peter B. Ladkin

According to our database, Peter B. Ladkin authored at least 34 papers between 1986 and 2012.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2012

The Fukushima Accident.

Peter B. Ladkin

Proceedings of the Achieving Systems Safety, 2012

2009

Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies.

Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2004

Causal Analysis of the ACAS/TCAS Sociotechnical System.

Peter B. Ladkin

Proceedings of the Safety Critical Systems and Software 2004, 2004

2003

Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort.

Peter B. Ladkin, Jörn Stuphorn

Proceedings of the Safety Critical Systems and Software 2003, 2003

2002

Simple Reasoning with Time-Dependent Propositions.

Maroua Bouzid, Peter B. Ladkin

Log. J. IGPL, 2002

2000

Causal Reasoning about Aircraft Accidents.

Peter B. Ladkin

Proceedings of the Computer Safety, 2000

1999

Lazy Caching in TLA.

Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel

Distributed Comput., 1999

1998

The Risks of Hubris.

Peter B. Ladkin

Commun. ACM, 1998

Cyber Threats (Panel).

Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

From logic to manuals again.

Harold W. Thimbleby, Peter B. Ladkin

IEE Proc. Softw. Eng., 1997

Risks of Technological Remedy.

Peter B. Ladkin

Commun. ACM, 1997

Fast Algebraic Methods for Interval Constraint Problems.

Peter B. Ladkin, Alexander Reinefeld

Ann. Math. Artif. Intell., 1997

Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.

Lutz Sommerfeld, Peter B. Ladkin

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

From logic to manuals.

Harold Thimbleby, Peter B. Ladkin

Softw. Eng. J., 1996

Implementing and verifying MSC specifications using Promela/XSpin.

Stefan Leue, Peter B. Ladkin

Proceedings of the Spin Verification System, 1996

1995

Interpreting Message Flow Graphs.

Peter B. Ladkin, Stefan Leue

Formal Aspects Comput., 1995

A Proper Explanation When You Need One.

Harold W. Thimbleby, Peter B. Ladkin

Proceedings of the People and Computers X, 1995

Static Deadlock Analysis for CSP-Type Communications.

Peter B. Ladkin, Barbara B. Simons

Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995

1994

On Binary Constraint Problems.

Peter B. Ladkin, Roger D. Maddux

J. ACM, 1994

Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'.

Peter B. Ladkin, Harold W. Thimbleby

Comput. Secur., 1994

Four issues concerning the semantics of Message Flow Graphs.

Peter B. Ladkin, Stefan Leue

Proceedings of the Formal Description Techniques VII, 1994

Static analysis of multiway synchronization.

Peter B. Ladkin, Barbara B. Simons

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993

What Do Message Sequence Charts Mean?

Peter B. Ladkin, Stefan Leue

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Effective Solution of Qualitative Interval Constraint Problems.

Peter B. Ladkin, Alexander Reinefeld

Artif. Intell., 1992

Compile-time analysis of communicating processes.

Peter B. Ladkin, Barbara Simons

Proceedings of the 6th international conference on Supercomputing, 1992

On the Semantics of Message Sequence Charts.

Peter B. Ladkin, Stefan Leue

Proceedings of the Formale Methoden für verteilte Systeme, 1992

A Symbolic Approach to Interval Constraint Problems.

Peter B. Ladkin, Alexander Reinefeld

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1991

Integrating Metric and Qualitative Temporal Reasoning.

Henry A. Kautz, Peter B. Ladkin

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1988

Satisfying First-Order Constraints About Time Intervals.

Peter B. Ladkin

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

The Completeness of a Natural System for Reasoning with Time Intervals.

Peter B. Ladkin

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Specification of Time Dependencies and Synthesis of Concurrent Processes.

Peter B. Ladkin

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Models of Axioms for Time Intervals.

Peter B. Ladkin

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Time Representation: A Taxonomy of Internal Relations.

Peter B. Ladkin

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Primitives and Units for Time Specification.

Peter B. Ladkin

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986