Peter B. Ladkin

34 papers A* 7A 1B 1C 4Journal 11Unranked 9
YearRankTypeTitle / Venue / Authors
2012 C conf
The Fukushima Accident.
SSS
Peter B. Ladkin
2009 C conf
Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies.
SSS
Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin
2004 — conf
Causal Analysis of the ACAS/TCAS Sociotechnical System.
SCS
Peter B. Ladkin
2003 — conf
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort.
SCS
Peter B. Ladkin, Jörn Stuphorn
2002 J jnl
Simple Reasoning with Time-Dependent Propositions.
Log. J. IGPL
Maroua Bouzid, Peter B. Ladkin
2000 B conf
Causal Reasoning about Aircraft Accidents.
SAFECOMP
Peter B. Ladkin
1999 J jnl
Lazy Caching in TLA.
Distributed Comput.
Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
1998 — conf
Cyber Threats (Panel).
FTCS
Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell
1998 J jnl
The Risks of Hubris.
Commun. ACM
Peter B. Ladkin
1997 — conf
Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.
FBT
Lutz Sommerfeld, Peter B. Ladkin
1997 J jnl
Fast Algebraic Methods for Interval Constraint Problems.
Ann. Math. Artif. Intell.
Peter B. Ladkin, Alexander Reinefeld
1997 J jnl
From logic to manuals again.
IEE Proc. Softw. Eng.
Harold W. Thimbleby, Peter B. Ladkin
1997 J jnl
Risks of Technological Remedy.
Commun. ACM
Peter B. Ladkin
1996 J jnl
From logic to manuals.
Softw. Eng. J.
Harold Thimbleby, Peter B. Ladkin
1996 — conf
Implementing and verifying MSC specifications using Promela/XSpin.
The Spin Verification System
Stefan Leue, Peter B. Ladkin
1995 — conf
A Proper Explanation When You Need One.
BCS HCI
Harold W. Thimbleby, Peter B. Ladkin
1995 J jnl
Interpreting Message Flow Graphs.
Formal Aspects Comput.
Peter B. Ladkin, Stefan Leue
1995 — ch.
Static Deadlock Analysis for CSP-Type Communications.
Responsive Computer Systems
Peter B. Ladkin, Barbara B. Simons
1994 J jnl
Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'.
Comput. Secur.
Peter B. Ladkin, Harold W. Thimbleby
1994 C conf
Four issues concerning the semantics of Message Flow Graphs.
FORTE
Peter B. Ladkin, Stefan Leue
1994 J jnl
On Binary Constraint Problems.
J. ACM
Peter B. Ladkin, Roger D. Maddux
1994 — conf
Static analysis of multiway synchronization.
CASCON
Peter B. Ladkin, Barbara B. Simons
1993 C conf
What Do Message Sequence Charts Mean?
FORTE
Peter B. Ladkin, Stefan Leue
1992 — conf
A Symbolic Approach to Interval Constraint Problems.
AISMC
Peter B. Ladkin, Alexander Reinefeld
1992 A conf
Compile-time analysis of communicating processes.
ICS
Peter B. Ladkin, Barbara Simons
1992 J jnl
Effective Solution of Qualitative Interval Constraint Problems.
Artif. Intell.
Peter B. Ladkin, Alexander Reinefeld
1992 — conf
On the Semantics of Message Sequence Charts.
FBT
Peter B. Ladkin, Stefan Leue
1991 A* conf
Integrating Metric and Qualitative Temporal Reasoning.
AAAI
Henry A. Kautz, Peter B. Ladkin
1988 A* conf
Satisfying First-Order Constraints About Time Intervals.
AAAI
Peter B. Ladkin
1987 A* conf
Models of Axioms for Time Intervals.
AAAI
Peter B. Ladkin
1987 A* conf
Specification of Time Dependencies and Synthesis of Concurrent Processes.
ICSE
Peter B. Ladkin
1987 A* conf
The Completeness of a Natural System for Reasoning with Time Intervals.
IJCAI
Peter B. Ladkin
1986 A* conf
Primitives and Units for Time Specification.
AAAI
Peter B. Ladkin
1986 A* conf
Time Representation: A Taxonomy of Internal Relations.
AAAI
Peter B. Ladkin