Initial Report on a Lisp Programmer's Apprentice. - Charles Rich; Howard E. Shrobe (IEEE Trans. Software Eng., 1978)

Overview of the Programmer's Apprentice. - Charles Rich; Howard E. Shrobe; Richard C. Waters (IJCAI, 1979)

Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures. - Howard E. Shrobe (IJCAI, 1979)

Guest Editorial: Programming Environments. - David R. Barstow; Howard E. Shrobe (IEEE Trans. Software Eng., 1981)

Diagnosis Based on Description of Structure and Function. - Randall Davis; Howard E. Shrobe; Walter Hamscher; Kären Wieckert; Mark Shirley; Steve Polit (AAAI, 1982)

Panel Discussion. - John K. Ousterhout; John A. Newkirk; Phil Petit; Howard E. Shrobe (COMPCON, 1982)

The Data Path Generator. - Howard E. Shrobe (COMPCON, 1982)

Representing Structure and Behavior of Digital Hardware. - Randall Davis; Howard E. Shrobe (Computer, 1983)

Interactive programming environments. - David R. Barstow; Howard E. Shrobe; Erik Sandewall; Stephen W. Smoliar (ACM SIGSOFT Softw. Eng. Notes, 1984)

Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning. - Steve Rowley; Howard E. Shrobe; Robert Cassels; Walter Hamscher (AAAI, 1987)

Towards a Virtual Parallel Inference Engine. - Howard E. Shrobe; John G. Aspinall; Neil L. Mayle (AAAI, 1988)

Guest Editor's Introduction: Object-Oriented Programming in AI. - Sherman R. Alpert; Scott W. Woyak; Howard J. Shrobe; Lloyd F. Arrowood (IEEE Expert, 1990)

OOP and AI (Panel). - Mamdouh Ibrahim; Daniel G. Bobrow; Carl Hewitt; Jean-François Perror; Reid G. Smith; Howard E. Shrobe (OOPSLA, 1991)

Providing Paradigm Orientation without Implementational Handcuffs. - Howard E. Shrobe (SIGART Bull., 1991)

Understanding Linkages. - Howard E. Shrobe (AAAI, 1993)

Supporting and Optimizing Full Unification in a Forward Chaining Rule System. - Howard E. Shrobe (AAAI, 1993)

What Is a Knowledge Representation? - Randall Davis; Howard E. Shrobe; Peter Szolovits (AI Mag., 1993)

The Japanese national Fifth Generation project: Introduction, survey, and evaluation. - Edward A. Feigenbaum; Howard E. Shrobe (Future Gener. Comput. Syst., 1993)

Knowledge-Based Systems Research and Applications in Japan, 1992. - Edward A. Feigenbaum; Peter Friedland; Bruce B. Johnson; H. Penny Nii; Herbert Schorr; Howard E. Shrobe; Robert S. Engelmore (AI Mag., 1994)

Knowledge-Based Systems in Japan (Report of the JTEC Panel). - Edward A. Feigenbaum; Peter Friedland; Bruce B. Johnson; H. Penny Nii; Herbert Schorr; Howard E. Shrobe; Robert S. Engelmore (Commun. ACM, 1994)

The Innovative Applications Conference Highlights and Changes. - Howard E. Shrobe; Ted E. Senator (AI Mag., 1995)

Evolutionary design of complex software (EDCS). - John Salasin; Howard E. Shrobe (ACM SIGSOFT Softw. Eng. Notes, 1995)

Diagnosing Delivery Problems in the White House Information-Distribution System. - Mark Nahabedian; Howard E. Shrobe (AI Mag., 1996)

The Innovative Applications of Artificial Intelligence Conference: Past and Future. - Howard E. Shrobe (AI Mag., 1996)

Two Challenging Domains. - Howard E. Shrobe (ACM Comput. Surv., 1996)

An architecture for constructing self-evolving software systems. - Chrysanthos Dellarocas; Mark Klein 001; Howard E. Shrobe (ISAW@FSE, 1998)

Generating Multiple New Designs from a Sketch. - Thomas F. Stahovich; Randall Davis; Howard E. Shrobe (Artif. Intell., 1998)

Software Technology of the Future. - Howard E. Shrobe (S&P, 1999)

Results of the First International Workshop on Self Adaptive Software. - Robert Laddaga; Paul Robertson 001; Howard E. Shrobe (IWSAS, 2000)

Introduction: The First International Workshop on Self-Adaptive Software. - Paul Robertson 001; Robert Laddaga; Howard E. Shrobe (IWSAS, 2000)

Active Trust Management for Autonomous Adaptive Survivable Systems. - Howard E. Shrobe; Jon Doyle (IWSAS, 2000)

Qualitative rigid-body mechanics. - Thomas F. Stahovich; Randall Davis; Howard E. Shrobe (Artif. Intell., 2000)

What Does the Future Hold? - Howard E. Shrobe (AI Mag., 2000)

Design Principles for Resource Management Systems for Intelligent Spaces. - Krzysztof Gajos; Luke Weisman; Howard E. Shrobe (IWSAS, 2001)

Introduction to Self-adaptive Software: Applications. - Robert Laddaga; Paul Robertson 001; Howard E. Shrobe (IWSAS, 2001)

Probabilistic Dispatch, Dynamic Domain Architecture, and Self-adaptive Software. - Robert Laddaga; Paul Robertson 001; Howard E. Shrobe (IWSAS, 2001)

Results of the Second International Workshop on Self-adaptive Software. - Robert Laddaga; Paul Robertson 001; Howard E. Shrobe (IWSAS, 2001)

Model-Based Diagnosis for Information Survivability. - Howard E. Shrobe (IWSAS, 2001)

Computational Vulnerability Analysis for Information Survivability. - Howard E. Shrobe (AI Mag., 2002)

Activity Zones for Context-Aware Computing. - Kimberle Koile; Konrad Tollmar; David Demirdjian; Howard E. Shrobe; Trevor Darrell (UbiComp, 2003)

Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network. - Radhika Nagpal; Howard E. Shrobe; Jonathan Bachrach (IPSN, 2003)

Using Semantic Networks for Knowledge Representation in an Intelligent Environment. - Stephen Peters; Howard E. Shrobe (PerCom, 2003)

A plan-based mission control center for autonomous vehicles. - Gary Look; Howard E. Shrobe (IUI, 2004)

One-Push Sharing: Facilitating Picture Sharing from Camera Phones. - Gary Look; Robert Laddaga; Howard E. Shrobe (Mobile HCI, 2004)

Experimental Results for and Theoretical Analysis of a Self-Organizing Global Coordinate System for Ad Hoc Sensor Networks. - Jonathan Bachrach; Radhika Nagpal; Michael Salib; Howard E. Shrobe (Telecommun. Syst., 2004)

A location representation for generating descriptive walking directions. - Gary Look; Buddhika Kottahachchi; Robert Laddaga; Howard E. Shrobe (IUI, 2005)

Simultaneous localization, calibration, and tracking in an ad hoc sensor network. - Christopher Taylor; Ali Rahimi; Jonathan Bachrach; Howard E. Shrobe; Anthony Grue (IPSN, 2006)

Cognitive Adaptive Radio Teams. - Richard Lau; Stephanie Demers; Yibei Ling; Bruce Siegell; Einar Vollset; Ken Birman; Robbert van Renesse; Howard E. Shrobe; Jonathan Bachrach; Lester Foster (SECON, 2006)

Towards intelligent mapping applications: a study of elements found in cognitive maps. - Gary Look; Howard E. Shrobe (IUI, 2007)

Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT. - Howard E. Shrobe; Robert Laddaga; Robert Balzer; Neil M. Goldman; David S. Wile; Marcelo Tallis; Tim Hollebeek; Alexander Egyed (SASO, 2007)

A Practical Activity Capture Framework for Personal, Lifetime User Modeling. - Max Van Kleek; Howard E. Shrobe (User Modeling, 2007)

AWDRAT: A Cognitive Middleware System for Information Survivability. - Howard E. Shrobe; Robert Laddaga; Robert Balzer; Neil M. Goldman; David S. Wile; Marcelo Tallis; Tim Hollebeek; Alexander Egyed (AI Mag., 2007)

Generating Baseball Summaries from Multiple Perspectives by Reordering Content. - Alice Oh; Howard E. Shrobe (INLG, 2008)

What if we got a do-over? - Howard E. Shrobe (CCSW, 2012)

Suppose We Got a Do-Over: A Revolution for Secure Computing. - Howard E. Shrobe; Daniel Adams (IEEE Secur. Priv., 2012)

On the Behavioural Formalization of the Cognitive Middleware AWDRAT. - Muhammad Taimoor Khan 001; Dimitrios N. Serpanos; Howard E. Shrobe (CoRR, 2014)

On the Formal Semantics of the Cognitive Middleware AWDRAT. - Muhammad Taimoor Khan 001; Dimitrios N. Serpanos; Howard E. Shrobe (CoRR, 2014)

Towards a Programmer's Apprentice (Again). - Howard Elliot Shrobe; Boris Katz; Randall Davis (AAAI, 2015)

Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. - Isaac Evans; Fan Long; Ulziibayar Otgonbaatar; Howard E. Shrobe; Martin C. Rinard; Hamed Okhravi; Stelios Sidiroglou-Douskos (CCS, 2015)

Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. - Sicun Gao; Le Xie 001; Armando Solar-Lezama; Dimitrios N. Serpanos; Howard E. Shrobe (CDC, 2015)

Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software. - Muhammad Taimoor Khan 001; Anastasios Fragopoulos; Dimitrios N. Serpanos; Howard E. Shrobe (WESS, 2015)

Missing the Point(er): On the Effectiveness of Code Pointer Integrity. - Isaac Evans; Sam Fingeret; Julian Gonzalez; Ulziibayar Otgonbaatar; Tiffany Tang; Howard E. Shrobe; Stelios Sidiroglou-Douskos; Martin C. Rinard; Hamed Okhravi (IEEE Symposium on Security and Privacy, 2015)

A rigorous and efficient run-time security monitor for real-time critical embedded system applications. - Muhammad Taimoor Khan 001; Dimitrios N. Serpanos; Howard E. Shrobe (WF-IoT, 2016)

Sound and Complete Runtime Security Monitor for Application Software. - Muhammad Taimoor Khan 001; Dimitrios N. Serpanos; Howard E. Shrobe (CoRR, 2016)

Behaviour-Based Security for Cyber-Physical Systems. - Dimitrios N. Serpanos; Howard E. Shrobe; Muhammad Taimoor Khan 001 (ERCIM News, 2016)

RADMAX: Risk and Deadline Aware Planning for Maximum Utility. - Jingkai Chen; Cheng Fang; Christian J. Muise; Howard E. Shrobe; Brian C. Williams; Peng Yu (AAAI Workshops, 2018)

There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection. - Ronald Gil; Hamed Okhravi; Howard E. Shrobe (SecDev, 2018)

Highly Assured Safety and Security of e-Health Applications. - Muhammad Taimoor Khan 001; Dimitrios Serpanos; Howard E. Shrobe (WiMob, 2018)

A Master Attack Methodology for an AI-Based Automated Attack Planner for Smart Cities. - Gregory Falco; Arun Viswanathan; Carlos Caldera; Howard E. Shrobe (IEEE Access, 2018)

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. - Bruno Bouchard 001; Kevin Bouchard; Noam Brown; Niyati Chhaya; Eitan Farchi; Sébastien Gaboury; Christopher W. Geib; Amelie Gyrard; Kokil Jaidka; Sarah Keren; Roni Khardon; Parisa Kordjamshidi; et al. (AI Mag., 2018)

Designing Safe and Secure Industrial Control Systems: A Tutorial Review. - Dimitrios N. Serpanos; Muhammad Taimoor Khan 001; Howard E. Shrobe (IEEE Des. Test, 2018)

IIoT Cybersecurity Risk Modeling for SCADA Systems. - Gregory Falco; Carlos Caldera; Howard E. Shrobe (IEEE Internet Things J., 2018)

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems. - Muhammad Taimoor Khan 001; Dimitrios N. Serpanos; Howard E. Shrobe (Proc. IEEE, 2018)

FirmFuzz: Automated IoT Firmware Introspection and Analysis. - Prashast Srivastava; Hui Peng; Jiahao Li; Hamed Okhravi; Howard E. Shrobe; Mathias Payer (IoT S&P@CCS, 2019)

Security of Cyberphysical Systems: Chaining Induction and Deduction. - Muhammad Taimoor Khan 001; Howard E. Shrobe (Computer, 2019)

Deriving Cyber-security Requirements for Cyber Physical Systems. - Robert Laddaga; Paul Robertson 001; Howard E. Shrobe; Dan Cerys; Prakash Manghwani; Patrik Meijer (CoRR, 2019)

Moving Target Defense Considerations in Real-Time Safety- and Mission-Critical Systems. - Nathan Burow; Ryan Burrow; Roger Khazan; Howard E. Shrobe; Bryan C. Ward (MTD@CCS, 2020)

Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems. - Muhammad Taimoor Khan 001; Dimitrios Serpanos; Howard E. Shrobe; Muhammad Murtaza Yousuf (ETFA, 2020)

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust. - Ufuk Topcu; Nadya Bliss; Nancy J. Cooke; Missy L. Cummings; Ashley J. Llorens; Howard E. Shrobe; Lenore D. Zuck (CoRR, 2020)

Runtime Protection of Real-time Critical Control Applications against Known Threats. - Muhammad Taimoor Khan 001; Martin Pinzger 001; Dimitrios Serpanos; Howard E. Shrobe (IEEE Des. Test, 2020)

One Giant Leap for Computer Security. - Hamed Okhravi; Nathan Burow; Richard Skowyra; Bryan C. Ward; Samuel Jero; Roger Khazan; Howard E. Shrobe (IEEE Secur. Priv., 2020)

Keeping Safe Rust Safe with Galeed. - Elijah Rivera; Samuel Mergendahl; Howard E. Shrobe; Hamed Okhravi; Nathan Burow (ACSAC, 2021)

Modeling human planning in a life-like search-and-rescue mission. - Zhutian Yang; Marta Kryven; Howard E. Shrobe; Josh Tenenbaum 001 (CogSci, 2021)

Towards Scalable Security of Real-time Applications: A Formally Certified Approach. - Muhammad Taimoor Khan 001; Dimitrios Serpanos; Howard E. Shrobe (ETFA, 2021)

TORTIS: Retry-Free Software Transactional Memory for Real-Time Systems. - Claire Nord; Shai Caspin; Catherine E. Nemitz; Howard E. Shrobe; Hamed Okhravi; James H. Anderson; Nathan Burow; Bryan C. Ward (RTSS, 2021)

Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance. - Gregory Falco; Paul Cornish; Sadie Creese; Madeline Carr; Myriam Dunn Cavelty; Claudia Eckert 001; Herbert Lin; Gen Goto; Jamie Saunders; Andrew Grotto; Howard E. Shrobe; Sean Kanuck; et al. (CoRR, 2021)

Preventing Kernel Hacks with HAKCs. - Derrick Paul McKee; Yianni Giannaris; Carolina Ortega; Howard E. Shrobe; Mathias Payer; Hamed Okhravi; Nathan Burow (NDSS, 2022)

TAG: Tagged Architecture Guide. - Samuel Jero; Nathan Burow; Bryan C. Ward; Richard Skowyra; Roger Khazan; Howard E. Shrobe; Hamed Okhravi (ACM Comput. Surv., 2023)