-
3
-
-
72249120603
-
seL4: Formal verification of an OS kernel
-
ACM
-
Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., et al.: seL4: Formal verification of an OS kernel. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, pp. 207-220. ACM (2009)
-
(2009)
Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles
, pp. 207-220
-
-
Klein, G.1
Elphinstone, K.2
Heiser, G.3
Andronick, J.4
Cock, D.5
Derrin, P.6
Elkaduwe, D.7
Engelhardt, K.8
Kolanski, R.9
Norrish, M.10
-
4
-
-
29244461775
-
A unified fault-tolerance protocol
-
Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. Springer, Heidelberg
-
Miner, P., Geser, A., Pike, L., Maddalon, J.: A unified fault-tolerance protocol. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 167-182. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3253
, pp. 167-182
-
-
Miner, P.1
Geser, A.2
Pike, L.3
Maddalon, J.4
-
5
-
-
84872704525
-
Formal verification of conflict detection algorithms for arbitrary trajectories
-
Narkawicz, A., Muñoz, C.: Formal verification of conflict detection algorithms for arbitrary trajectories. Reliable Computing 17, 209-237 (2012)
-
(2012)
Reliable Computing
, vol.17
, pp. 209-237
-
-
Narkawicz, A.1
Muñoz, C.2
-
6
-
-
84867321379
-
Reasoning about the reliability of diverse two-channel systems in which one channel is "possibly perfect"
-
Littlewood, B., Rushby, J.: Reasoning about the reliability of diverse two-channel systems in which one channel is "possibly perfect". IEEE Transactions on Software Engineering 38, 1178-1194 (2012)
-
(2012)
IEEE Transactions on Software Engineering
, vol.38
, pp. 1178-1194
-
-
Littlewood, B.1
Rushby, J.2
-
8
-
-
0011964572
-
-
Society of Automotive Engineers: Aerospace Recommended Practice (ARP) 4754: Also issued as EUROCAE ED-79; revised as ARP 4754A December
-
Society of Automotive Engineers: Aerospace Recommended Practice (ARP) 4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems (1996), Also issued as EUROCAE ED-79; revised as ARP 4754A (December 2010)
-
(1996)
Certification Considerations for Highly-Integrated or Complex Aircraft Systems
-
-
-
9
-
-
84886428894
-
Requirements and Technical Concepts for Aviation (RTCA) Washington, DC
-
This document is known as EUROCAE ED-12B in Europe
-
Requirements and Technical Concepts for Aviation (RTCA) Washington, DC: DO-178B: Software Considerations in Airborne Systems and Equipment Certification (1992), This document is known as EUROCAE ED-12B in Europe
-
(1992)
DO-178B: Software Considerations in Airborne Systems and Equipment Certification
-
-
-
10
-
-
84886407854
-
The Ontological Argument in PVS
-
Shilov, N. (ed.)
-
Rushby, J.: The Ontological Argument in PVS. In: Shilov, N. (ed.) Fun With Formal Methods, St Petersburg, Russia (2013), Workshop in association with CAV 2013
-
Fun with Formal Methods, St Petersburg, Russia (2013), Workshop in Association with CAV 2013
-
-
Rushby, J.1
-
11
-
-
78649809428
-
Formalism in safety cases
-
Dale, C., Anderson, T. (eds.) Springer
-
Rushby, J.: Formalism in safety cases. In: Dale, C., Anderson, T. (eds.) Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, pp. 3-17. Springer (2010)
-
(2010)
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK
, pp. 3-17
-
-
Rushby, J.1
-
12
-
-
84886380600
-
Tool Integration with the Evidential Tool Bus
-
Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. Springer, Heidelberg
-
Cruanes, S., Hamon, G., Owre, S., Shankar, N.: Tool Integration with the Evidential Tool Bus. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 275-294. Springer, Heidelberg (2013)
-
(2013)
LNCS
, vol.7737
, pp. 275-294
-
-
Cruanes, S.1
Hamon, G.2
Owre, S.3
Shankar, N.4
-
13
-
-
84924180488
-
-
Updated edition. Cambridge University Press the original is dated
-
Toulmin, S.E.: The Uses of Argument, Updated edition. Cambridge University Press (2003) (the original is dated 1958)
-
(1958)
The Uses of Argument
-
-
Toulmin, S.E.1
-
14
-
-
33746582694
-
The future of goal-based assurance cases
-
Bishop, P., Bloomfield, R., Guerra, S.: The future of goal-based assurance cases. In: DSN Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy (2004)
-
DSN Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy (2004)
-
-
Bishop, P.1
Bloomfield, R.2
Guerra, S.3
-
15
-
-
84870948103
-
Work Models that Compute to support the design of multi-agent socio-technical systems
-
under review
-
Pritchett, A.R., Feigh, K.M., Kim, S.Y., Kannan, S.: Work Models that Compute to support the design of multi-agent socio-technical systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (under review)
-
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
-
-
Pritchett, A.R.1
Feigh, K.M.2
Kim, S.Y.3
Kannan, S.4
-
16
-
-
83755177715
-
Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking
-
Bolton, M.L., Bass, E.J.: Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking. In: IEEE International Conference on Systems, Man, and Cybernetics, Anchorage, AK, pp. 1788-1794 (2011)
-
(2011)
IEEE International Conference on Systems, Man, and Cybernetics, Anchorage, AK
, pp. 1788-1794
-
-
Bolton, M.L.1
Bass, E.J.2
-
17
-
-
75749093651
-
Software model checking takes off
-
Miller, S.P., Whalen, M.W., Cofer, D.D.: Software model checking takes off. Communications of the ACM 53, 58-64 (2010)
-
(2010)
Communications of the ACM
, vol.53
, pp. 58-64
-
-
Miller, S.P.1
Whalen, M.W.2
Cofer, D.D.3
-
19
-
-
84930613638
-
Formal modeling and analysis for interactive hybrid systems
-
Fourth International Workshop on Formal Methods for Interactive Systems: FMIS 2011, Limerick, Ireland
-
Bass, E.J., Feigh, K.M., Gunter, E., Rushby, J.: Formal modeling and analysis for interactive hybrid systems. In: Fourth International Workshop on Formal Methods for Interactive Systems: FMIS 2011, Limerick, Ireland. Electronic Communications of the EASST, vol. 45 (2011)
-
(2011)
Electronic Communications of the EASST
, vol.45
-
-
Bass, E.J.1
Feigh, K.M.2
Gunter, E.3
Rushby, J.4
-
20
-
-
80455143352
-
New challenges in certification for aircraft software
-
Baruah, S., Fischmeister, S. (eds.) Association for Computing Machinery
-
Rushby, J.: New challenges in certification for aircraft software. In: Baruah, S., Fischmeister, S. (eds.) Proceedings of the Ninth ACM International Conference on Embedded Software: EMSOFT, Taipei, Taiwan, pp. 211-218. Association for Computing Machinery (2011)
-
(2011)
Proceedings of the Ninth ACM International Conference on Embedded Software: EMSOFT, Taipei, Taiwan
, pp. 211-218
-
-
Rushby, J.1
|