Floyd-Hoare Verifiers "Considered Harmful" by Shrobe, Howard E.

Get full text

Understanding LISP Programs: Towards a Programmer's Apprentice by Rich, Charles, Shrobe, Howard E.

Get full text

Initial Report on a LISP Programmer's Apprentice by Rich, Charles, Shrobe, Howard E.

Get full text

Interactive programming environments / by Barstow, David R., Shrobe, Howard E., Sandewall, Erik

Computer Aided Evolutionary Design for Software Engineering by Rich, Charles, Shrobe, Howard E., Waters, Richard C.

Get full text

A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis by Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J.

Get full text

A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems by Khan, Muhammad Taimoor, Serpanos, Dimitrios, Khan, Muhammad, Shrobe, Howard E

Get full text

Programming Viewed as an Engineering Activity by Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.

Get full text

Control Jujutsu by Evans, Isaac, Long, Fan, Otgonbaatar, Ulziibayar, Shrobe, Howard E, Rinard, Martin C, Okhravi, Hamed, Sidiroglou-Douskos, Stelios

Get full text
Get full text
Get full text
Get full text
Get full text

Missing the Point(er): On the Effectiveness of Code Pointer Integrity by Evans, Isaac, Fingeret, Samuel (Samuel P.), González, Julián Armando, Otgonbaatar, Ulziibayar, Tang, Tiffany(Tiffany L.), Shrobe, Howard E, Sidiroglou, Stylianos, Rinard, Martin C, Okhravi, Hamed

Get full text

Runtime Monitoring of PLCs In Critical Real-Time Systems by Hilke, Joshua

Other Authors: “…Shrobe, Howard E.…”
Get full text

A decision model on optimising cybersecurity controls using organisation preferences by Ansaria, Afra

Other Authors: “…Shrobe, Howard E.…”
Get full text