John Rushby (born 1949) is a British computer scientist now based in the United States and working for SRI International. He previously taught and did...
4 KB (229 words) - 20:27, 16 February 2023
Rushby is a surname. Notable people with the surname include: John Rushby (born 1949), British computer scientist Tom Rushby (1880–1962), English cricketer...
297 bytes (77 words) - 00:02, 11 July 2021
at SRI International's Computer Science Laboratory Summary of PVS by John Rushby at the Mechanized Reasoning database of Michael Kohlhase and Carolyn...
2 KB (200 words) - 01:46, 15 December 2022
of mode error at Usability First An Example of a mode error in Excel John Rushby. Using Model Checking to Help Discover Mode Confusions and Other Automation...
25 KB (3,170 words) - 04:26, 31 July 2024
machines Simulation of Hybrid Systems Using Stateflow Gregoire Hamon; John Rushby. "An Operational Semantics for Stateflow" (PDF). Presented at Fundamental...
4 KB (312 words) - 19:36, 7 May 2023
verification) becomes feasible. The term trusted computing base goes back to John Rushby, who defined it as the combination of operating system kernel and trusted...
12 KB (1,632 words) - 01:15, 29 March 2023
Modeling Language (UML ’99), pages 416-429, Fort Collins, CO, October 1999. John Rushby. Automated Test Generation and Verified Software. Verified Software:...
15 KB (1,875 words) - 05:13, 18 May 2024
a distributed environment. The concept was introduced by John Rushby in a 1981 paper. Rushby proposed the separation kernel as a solution to the difficulties...
6 KB (858 words) - 14:31, 15 August 2022
Baskerville 1999 1999 Splodge Ken Harrison 2000 2001 Come to Beanotown John Rushby 2000 2002 Dasher Gary Whitlock 2001 2001 Freddie Fear Son of a Witch...
66 KB (873 words) - 17:56, 14 July 2024
Things Brian Pendleton (1944–2001), rhythm guitarist, The Pretty Things John Rushby, computer scientist Bill Mitchell (1951–2017), founder of site-specific...
18 KB (1,584 words) - 19:53, 8 August 2024
Ground The Adalynne Haye Stadium Capacity 500 Chairman Dave Clark Manager John Rushby & Mark Nadin Coach Regan Edridge & Pete Gore League United Counties League...
3 KB (264 words) - 10:02, 24 May 2024
ReachLocal Peter Rowlinson - Ig Nobel Prize winner for Veterinary Medicine John Rushby - computer scientist Camilla Rutherford - actress Jonathan Sacks - former...
94 KB (6,739 words) - 22:11, 20 July 2024
(Billy Bunter) John Ridgway – (Young Marvelman) Andy Riley – (The Book of Bunny Suicides) Bill Ritchie – (Smiffy, Baby Crockett) John Rushby – (Team Toxic)...
187 KB (15,905 words) - 11:42, 27 July 2024
with emerging threats [4] Multiple Levels of Security Secure by design John Rushby (1981). "Design and Verification of Secure Systems" (PDF). Proc. 8th...
6 KB (603 words) - 17:31, 10 November 2022
(with Chris Rushby) 1992 "A Million Ways", as Stoned Democracy (with Chris Rushby) 1993 "In My World", as High On Love (with Chris Rushby) 1993 "Close...
19 KB (1,862 words) - 15:44, 30 June 2024
Terry Benzel, Final Evaluation Report of SCOMP, CSC-EPL-85/001, 1985 John Rushby (1981). "Design and Verification of Secure Systems" (PDF). ACM Operating...
11 KB (1,189 words) - 01:09, 11 December 2023
Levels of Security" or MILS, an architectural concept developed by Dr. John Rushby that combines high-assurance security separation with high-assurance...
17 KB (2,487 words) - 15:38, 29 July 2024
2006: Johns Frederick (Jeff) Rulifson". SRI International. 2006. Archived from the original on 2013-07-01. Retrieved 2012-09-23. "John Rushby Bio". Center...
53 KB (2,553 words) - 07:51, 24 July 2023
Fellows in the Computer Science Laboratory at SRI are Peter G. Neumann, John Rushby, Patrick Lincoln and Carolyn Talcott. "Natarajan Shankar". Federated...
3 KB (211 words) - 23:26, 5 October 2021
'64 (Spring). pp. 67–87. doi:10.1145/1464122.1464130. S2CID 32598553. "John Rushby: Recent Papers". SRI Computer Science Laboratory. Archived from the original...
8 KB (779 words) - 11:17, 29 February 2024
Victor Basili 2004 Elaine Weyuker 2006 John C. Knight 2007 Bev Littlewood 2009 Bertrand Meyer 2011 John Rushby 2012 Lionel Briand 2014 Patrick Cousot...
9 KB (1,053 words) - 16:31, 12 June 2024
Cambridge University Press. Retrieved 18 July 2023. "The Cambridge Companion to John Cage". Cambridge University Press. Retrieved 18 July 2023. "The Cambridge...
64 KB (1,272 words) - 14:04, 9 June 2024
Legends of the Brethren Court: Wild Waters, 2009 Rushby, Kevin. Hunting Pirate Heaven, 2001 W. E. Johns. Biggles and the Pirate Treasure, 1954 Tubella Casadevall...
12 KB (1,349 words) - 18:59, 26 June 2024
Carlton respectively, both defected to the Conservative Party in August 2020. John Cattanach, elected as a Conservative Party councillor for Cawood and Wistow...
28 KB (358 words) - 18:28, 8 May 2024
Bike Sport News. bikesportnews.com Ltd. 8 May 2016. Retrieved 6 June 2018. Rushby, Oli (24 May 2016). "Kneen and Mar-Train to miss 2016 TT". Motor Cycle News...
78 KB (8,134 words) - 11:36, 6 January 2024
Mitchell, E. H. R. " To The memory of J.C.S." in First Fruits: Poems, p. 79. Rushby, Kevin (3 September 2013). "Yorkshire - God's own country is the best place...
19 KB (2,103 words) - 12:07, 3 August 2024
2001 to 2003, he had a recurring role in the British drama series Judge John Deed, playing Row Colemore. On the stage, he appeared as Henry Higgins in...
10 KB (611 words) - 12:58, 7 June 2024
ISBN 0-679-75574-8. "Wire: Chairs Missing". Uncut. No. 106. March 2006. p. 106. Ian Rushby (13 June 2018). "Chairs Missing (Special Edition Reissue)". Under the Radar...
20 KB (1,055 words) - 14:56, 1 August 2024
Adrian John Rawlins (born 27 March 1958) is an English actor best known for playing Arthur Kidd in The Woman in Black and James Potter in the Harry Potter...
18 KB (271 words) - 21:15, 1 June 2024
tasting skills are a fraud and possesses no talent for wine tasting! Emily Rushby (work name Emily James) is played by Alexandra Moen. She appeared at the...
73 KB (4,551 words) - 03:14, 6 August 2024