Howard E. Shrobe

Publication Activity (10 Years)

Years Active: 1978-2023
Publications (10 Years): 26

Top Topics

Moving Target Defense

Formal Semantics

Top Venues

Publications

Samuel Jero, Nathan Burow, Bryan C. Ward, Richard Skowyra, Roger Khazan, Howard E. Shrobe, Hamed Okhravi
TAG: Tagged Architecture Guide. ACM Comput. Surv. 55 (6) (2023)
Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow
Preventing Kernel Hacks with HAKCs. NDSS (2022)
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe
Towards Scalable Security of Real-time Applications: A Formally Certified Approach. ETFA (2021)
Gregory Falco, Paul Cornish, Sadie Creese, Madeline Carr, Myriam Dunn Cavelty, Claudia Eckert, Herbert Lin, Gen Goto, Jamie Saunders, Andrew Grotto, Howard E. Shrobe, Sean Kanuck, Lawrence Susskind, Arvind Parthasarathi
Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance. CoRR (2021)
Claire Nord, Shai Caspin, Catherine E. Nemitz, Howard E. Shrobe, Hamed Okhravi, James H. Anderson, Nathan Burow, Bryan C. Ward
TORTIS: Retry-Free Software Transactional Memory for Real-Time Systems. RTSS (2021)
Zhutian Yang, Marta Kryven, Howard E. Shrobe, Josh Tenenbaum
Modeling human planning in a life-like search-and-rescue mission. CogSci (2021)
Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow
Keeping Safe Rust Safe with Galeed. ACSAC (2021)
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf
Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems. ETFA (2020)
Muhammad Taimoor Khan, Martin Pinzger, Dimitrios Serpanos, Howard E. Shrobe
Runtime Protection of Real-time Critical Control Applications against Known Threats. IEEE Des. Test 37 (6) (2020)
Ufuk Topcu, Nadya Bliss, Nancy Cooke, Missy L. Cummings, Ashley Llorens, Howard E. Shrobe, Lenore Zuck
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust. CoRR (2020)
Nathan Burow, Ryan Burrow, Roger Khazan, Howard E. Shrobe, Bryan C. Ward
Moving Target Defense Considerations in Real-Time Safety- and Mission-Critical Systems. MTD@CCS (2020)
Hamed Okhravi, Nathan Burow, Richard Skowyra, Bryan C. Ward, Samuel Jero, Roger Khazan, Howard E. Shrobe
One Giant Leap for Computer Security. IEEE Secur. Priv. 18 (4) (2020)
Muhammad Taimoor Khan, Howard E. Shrobe
Security of Cyberphysical Systems: Chaining Induction and Deduction. Computer 52 (7) (2019)
Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer
FirmFuzz: Automated IoT Firmware Introspection and Analysis. IoT S&P@CCS (2019)
Robert Laddaga, Paul Robertson, Howard E. Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer
Deriving Cyber-security Requirements for Cyber Physical Systems. CoRR (2019)
Dimitrios N. Serpanos, Muhammad Taimoor Khan, Howard E. Shrobe
Designing Safe and Secure Industrial Control Systems: A Tutorial Review. IEEE Des. Test 35 (3) (2018)
Ronald Gil, Hamed Okhravi, Howard E. Shrobe
There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection. SecDev (2018)
Gregory Falco, Arun Viswanathan, Carlos Caldera, Howard E. Shrobe
A Master Attack Methodology for an AI-Based Automated Attack Planner for Smart Cities. IEEE Access 6 (2018)
Gregory Falco, Carlos Caldera, Howard E. Shrobe
IIoT Cybersecurity Risk Modeling for SCADA Systems. IEEE Internet Things J. 5 (6) (2018)
Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu
RADMAX: Risk and Deadline Aware Planning for Maximum Utility. AAAI Workshops (2018)
Bruno Bouchard, Kevin Bouchard, Noam Brown, Niyati Chhaya, Eitan Farchi, Sébastien Gaboury, Christopher W. Geib, Amelie Gyrard, Kokil Jaidka, Sarah Keren, Roni Khardon, Parisa Kordjamshidi, David R. Martinez, Nicholas Mattei, Martin Michalowski, Reuth Mirsky, Joseph C. Osborn, Cem Sahin, Onn Shehory, Arash Shaban-Nejad, Amit P. Sheth, Ilan Shimshoni, Howard E. Shrobe, Arunesh Sinha, Atanu R. Sinha, Biplav Srivastava, William W. Streilein, Georgios Theocharous, Kristen Brent Venable, Neal Wagner, Anna Zamansky
Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. 39 (4) (2018)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems. Proc. IEEE 106 (1) (2018)
Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe
Highly Assured Safety and Security of e-Health Applications. WiMob (2018)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
A rigorous and efficient run-time security monitor for real-time critical embedded system applications. WF-IoT (2016)
Dimitrios N. Serpanos, Howard E. Shrobe, Muhammad Taimoor Khan
Behaviour-Based Security for Cyber-Physical Systems. ERCIM News 2016 (107) (2016)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
Sound and Complete Runtime Security Monitor for Application Software. CoRR (2016)
Muhammad Taimoor Khan, Anastasios Fragopoulos, Dimitrios N. Serpanos, Howard E. Shrobe
Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software. WESS (2015)
Isaac Evans, Fan Long, Ulziibayar Otgonbaatar, Howard E. Shrobe, Martin C. Rinard, Hamed Okhravi, Stelios Sidiroglou-Douskos
Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity. CCS (2015)
Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe
Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems. CDC (2015)
Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard E. Shrobe, Stelios Sidiroglou-Douskos, Martin Rinard, Hamed Okhravi
Missing the Point(er): On the Effectiveness of Code Pointer Integrity. IEEE Symposium on Security and Privacy (2015)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
On the Behavioural Formalization of the Cognitive Middleware AWDRAT. CoRR (2014)
Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe
On the Formal Semantics of the Cognitive Middleware AWDRAT. CoRR (2014)
Howard E. Shrobe, Daniel Adams
Suppose We Got a Do-Over: A Revolution for Secure Computing. IEEE Secur. Priv. 10 (6) (2012)
Howard E. Shrobe
What if we got a do-over? CCSW (2012)
Alice Oh, Howard E. Shrobe
Generating Baseball Summaries from Multiple Perspectives by Reordering Content. INLG (2008)
Max Van Kleek, Howard E. Shrobe
A Practical Activity Capture Framework for Personal, Lifetime User Modeling. User Modeling (2007)
Gary Look, Howard E. Shrobe
Towards intelligent mapping applications: a study of elements found in cognitive maps. IUI (2007)
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT. SASO (2007)
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
AWDRAT: A Cognitive Middleware System for Information Survivability. AI Mag. 28 (3) (2007)
Christopher Taylor, Ali Rahimi, Jonathan Bachrach, Howard E. Shrobe, Anthony Grue
Simultaneous localization, calibration, and tracking in an ad hoc sensor network. IPSN (2006)
Richard Lau, Stephanie Demers, Yibei Ling, Bruce Siegell, Einar Vollset, Ken Birman, Robbert van Renesse, Howard E. Shrobe, Jonathan Bachrach, Lester Foster
Cognitive Adaptive Radio Teams. SECON (2006)
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
AWDRAT: A Cognitive Middleware System for Information Survivability. AAAI (2006)
Gary Look, Buddhika Kottahachchi, Robert Laddaga, Howard E. Shrobe
A location representation for generating descriptive walking directions. IUI (2005)
Gary Look, Robert Laddaga, Howard E. Shrobe
One-Push Sharing: Facilitating Picture Sharing from Camera Phones. Mobile HCI (2004)
Gary Look, Howard E. Shrobe
A plan-based mission control center for autonomous vehicles. IUI (2004)
Jonathan Bachrach, Radhika Nagpal, Michael Salib, Howard E. Shrobe
Experimental Results for and Theoretical Analysis of a Self-Organizing Global Coordinate System for Ad Hoc Sensor Networks. Telecommun. Syst. 26 (2-4) (2004)
Stephen Peters, Howard E. Shrobe
Using Semantic Networks for Knowledge Representation in an Intelligent Environment. PerCom (2003)
Kimberle Koile, Konrad Tollmar, David Demirdjian, Howard E. Shrobe, Trevor Darrell
Activity Zones for Context-Aware Computing. UbiComp (2003)
Radhika Nagpal, Howard E. Shrobe, Jonathan Bachrach
Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network. IPSN (2003)
Howard E. Shrobe
Computational Vulnerability Analysis for Information Survivability. AI Mag. 23 (4) (2002)
Howard E. Shrobe
Computational Vulnerability Analysis for Information Survivability. AAAI/IAAI (2002)
Robert Laddaga, Paul Robertson, Howard E. Shrobe
Results of the Second International Workshop on Self-adaptive Software. IWSAS (2001)
Krzysztof Gajos, Luke Weisman, Howard E. Shrobe
Design Principles for Resource Management Systems for Intelligent Spaces. IWSAS (2001)
Robert Laddaga, Paul Robertson, Howard E. Shrobe
Introduction to Self-adaptive Software: Applications. IWSAS (2001)
Howard E. Shrobe
Model-Based Diagnosis for Information Survivability. IWSAS (2001)
Robert Laddaga, Paul Robertson, Howard E. Shrobe
Probabilistic Dispatch, Dynamic Domain Architecture, and Self-adaptive Software. IWSAS (2001)
Thomas F. Stahovich, Randall Davis, Howard E. Shrobe
Qualitative rigid-body mechanics. Artif. Intell. 119 (1-2) (2000)
Robert Laddaga, Paul Robertson, Howard E. Shrobe
Results of the First International Workshop on Self Adaptive Software. IWSAS (2000)
Howard E. Shrobe, Jon Doyle
Active Trust Management for Autonomous Adaptive Survivable Systems. IWSAS (2000)
Paul Robertson, Robert Laddaga, Howard E. Shrobe
Introduction: The First International Workshop on Self-Adaptive Software. IWSAS (2000)
Howard E. Shrobe
What Does the Future Hold? AI Mag. 21 (4) (2000)
Howard E. Shrobe
Software Technology of the Future. IEEE Symposium on Security and Privacy (1999)
Thomas F. Stahovich, Randall Davis, Howard E. Shrobe
Generating Multiple New Designs from a Sketch. Artif. Intell. 104 (1-2) (1998)
Thomas F. Stahovich, Randall Davis, Howard E. Shrobe
Qualitative Rigid Body Mechanics. AAAI/IAAI (1997)
Thomas F. Stahovich, Randall Davis, Howard E. Shrobe
Generating Multiple New Designs From a Sketch. AAAI/IAAI, Vol. 2 (1996)
Mark Nahabedian, Howard E. Shrobe
Diagnosing Delivery Problems in the White House Information-Distribution System. AI Mag. 17 (4) (1996)
Mark Nahabedian, Howard E. Shrobe
Diagnosing Delivery Problems in the White House Information Distribution System. AAAI/IAAI, Vol. 2 (1996)
Howard E. Shrobe
The Innovative Applications of Artificial Intelligence Conference: Past and Future. AI Mag. 17 (4) (1996)
Howard E. Shrobe
Two Challenging Domains. ACM Comput. Surv. 28 (4es) (1996)
Howard E. Shrobe, Ted E. Senator
The Innovative Applications Conference Highlights and Changes. AI Mag. 16 (4) (1995)
John Salasin, Howard E. Shrobe
Evolutionary design of complex software (EDCS). ACM SIGSOFT Softw. Eng. Notes 20 (5) (1995)
Edward A. Feigenbaum, Peter Friedland, Bruce B. Johnson, H. Penny Nii, Herbert Schorr, Howard E. Shrobe, Robert S. Engelmore
Knowledge-Based Systems in Japan (Report of the JTEC Panel). Commun. ACM 37 (1) (1994)
Edward A. Feigenbaum, Peter Friedland, Bruce B. Johnson, H. Penny Nii, Herbert Schorr, Howard E. Shrobe, Robert S. Engelmore
Knowledge-Based Systems Research and Applications in Japan, 1992. AI Mag. 15 (2) (1994)
Randall Davis, Howard E. Shrobe, Peter Szolovits
What Is a Knowledge Representation? AI Mag. 14 (1) (1993)
Howard E. Shrobe
Supporting and Optimizing Full Unification in a Forward Chaining Rule System. AAAI (1993)
Howard E. Shrobe
Understanding Linkages. AAAI (1993)
Edward A. Feigenbaum, Howard E. Shrobe
The Japanese national Fifth Generation project: Introduction, survey, and evaluation. Future Gener. Comput. Syst. 9 (2) (1993)
Howard E. Shrobe
Providing Paradigm Orientation without Implementational Handcuffs. SIGART Bull. 2 (3) (1991)
Mamdouh Ibrahim, Daniel G. Bobrow, Carl Hewitt, Jean-François Perror, Reid G. Smith, Howard E. Shrobe
OOP and AI (Panel). OOPSLA (1991)
Howard E. Shrobe, John G. Aspinall, Neil L. Mayle
Towards a Virtual Parallel Inference Engine. AAAI (1988)
Steve Rowley, Howard E. Shrobe, Robert Cassels, Walter Hamscher
Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning. AAAI (1987)
David R. Barstow, Howard E. Shrobe, Erik Sandewall, Stephen W. Smoliar
Interactive programming environments. ACM SIGSOFT Softw. Eng. Notes 9 (4) (1984)
Randall Davis, Howard E. Shrobe
Representing Structure and Behavior of Digital Hardware. Computer 16 (10) (1983)
Randall Davis, Howard E. Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit
Diagnosis Based on Description of Structure and Function. AAAI (1982)
Howard E. Shrobe
The Data Path Generator. COMPCON (1982)
John K. Ousterhout, John A. Newkirk, Phil Petit, Howard E. Shrobe
Panel Discussion. COMPCON (1982)
David R. Barstow, Howard E. Shrobe
Guest Editorial: Programming Environments. IEEE Trans. Software Eng. 7 (5) (1981)
Charles Rich, Howard E. Shrobe, Richard C. Waters
Overview of the Programmer's Apprentice. IJCAI (1979)
Howard E. Shrobe
Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures. IJCAI (1979)
Charles Rich, Howard E. Shrobe
Initial Report on a Lisp Programmer's Apprentice. IEEE Trans. Software Eng. 4 (6) (1978)