|
3
|
Faulty MDM removed
– Chris Bergin
- 2008
|
|
1069
|
The Byzantine Generals Problem
– Leslie Lamport, Robert Shostak, Marshall Pease
- 1982
|
|
38
|
Formally Specified Monitoring of Temporal Properties
– Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky
- 1999
|
|
27
|
Java-MOP: A monitoring oriented programming environment for Java
– Feng Chen
- 2005
|
|
10
|
RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties
– U Sammapun, I Lee, O Sokolsky
- 2005
|
|
3
|
ATSB preliminary factual report, in-flight upset, Qantas Airbus A330, 154 Km West of Learmonth
– Kerryn Macaulay
|
|
252
|
QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
– Koen Claessen, John Hughes
- 2000
|
|
25
|
Soapbox: Ariane 5: Who dunnit
– Bashar Nuseibeh
- 1997
|
|
163
|
An Investigation of the Therac-25 Accidents
– Nancy G. Leveson
- 1993
|
|
24
|
MJRTY - A Fast Majority Vote Algorithm
– Robert S. Boyer, Robert S. Boyer, J Strother Moore, J Strother Moore
- 1982
|
|
3
|
News and comment on the Aeroperu b757 accident; AeroPeru Flight 603
– Peter B Ladkin
- 1996
|
|
4
|
Copilot: A hard real-time runtime monitor
– Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
- 2010
|
|
2
|
Sampling-based program execution monitoring
– S Fischmeister, Y Ba
- 2010
|
|
3
|
Sampling-based runtime verification
– Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
- 2011
|
|
72
|
seL4: Formal Verification of an OS Kernel
– Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
- 2009
|
|
3
|
A safety-case approach for certifying adaptive systems
– John Rushby
- 2009
|
|
8
|
The Use of Proof in Diversity Arguments,” in
– Bev Littlewood
- 2000
|
|
10
|
The Use of Multi-Legged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN of an Idealized Example
– B Littlewood, D Wright
- 2007
|
|
11
|
Evaluating, testing, and animating PVS specifications
– Judy Crow, Sam Owre, John Rushby, N. Shankar, Dave Stringer-calvert
- 2001
|
