Information Technology Reference
In-Depth Information
References
1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J.
ACM 43(1), 116-146 (1996)
2. Atmel Corporation. AT91SAM7S-EK Evaluation Board User Guide (2007),
3. Barry, R.: FreeRTOS User Manual,
http://www.freertos.org
4. Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexam-
ples using causality. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643,
pp. 94-108. Springer, Heidelberg (2009)
5. Bhattacharyya, S., Huang, Z., Chandra, V., Kumar, R.: A discrete event systems
approach to network fault management: detection and diagnosis of faults. In: Amer-
ican Control Conference, vol. 6, pp. 5108-5113 (2004)
6. de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelli-
gence 32(1), 97-130 (1987)
7. de Moura, L., Bjørner, N.: Z3: An e
cient SMT solver. In: Ramakrishnan, C.R.,
Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg
(2008)
8. Dubey, A., Karsai, G., Kereskenyi, R., Mahadevan, N.: Towards a real-time com-
ponent framework for software health management. Technical Report ISIS-09-111,
Vanderbilt University (2009)
9. FDA. FDA MAUDE Database,
10. Generic PCA Infusion Pump Reference Implementation,
11. Gossler, G., Le Metayer, D., Raclet, J.-B.: Causality analysis in contract violation.
In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 270-284. Springer,
Heidelberg (2010)
12. Safety Requirements for the Generic PCA Pump,
13. Halpern, J.Y., Pearl, J.: Causes and Explanations: A Structural-Model Approach.
Part I: Causes. The British Journal for the Philosophy of Science 56(4), 843-887
(2005)
14. Kuntz, M., Leitner-Fischer, F., Leue, S.: From probabilistic counterexamples via
causality to fault trees. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFE-
COMP 2011. LNCS, vol. 6894, pp. 71-84. Springer, Heidelberg (2011)
15. Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. Tech-
nical Report soft-12-02, University of Konstanz (2012)
16. Lewis, D.: Counterfactuals, 2nd edn. Wiley-Blackwell (2001)
17. Mahadevan, N., Abdelwahed, S., Dubey, A., Karsai, G.: Distributed diagnosis of
complex systems using timed failure propagation graph models. In: The IEEE
Systems Readiness Technology Conference, pp. 1-6 (2010)
18. Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman and
Hall/CRC (1997)
19. Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press
(2009)
20. Pnueli, A.: The temporal logic of programs. In: Proceedings of FOCS 1977, pp.
46-57 (1977)
21. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1),
57-95 (1987)
