Howard E. Shrobe

According to our database, Howard E. Shrobe authored at least 88 papers between 1978 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

TAG: Tagged Architecture Guide.

Samuel Jero, Nathan Burow, Bryan C. Ward, Richard Skowyra, Roger Khazan, Howard E. Shrobe, Hamed Okhravi

ACM Comput. Surv., 2023

2022

Preventing Kernel Hacks with HAKCs.

Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2021

Cyber Crossroads: A Global Research Collaborative on Cyber Risk Governance.

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

CoRR, 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

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Towards Scalable Security of Real-time Applications: A Formally Certified Approach.

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Modeling human planning in a life-like search-and-rescue mission.

Zhutian Yang, Marta Kryven, Howard E. Shrobe, Josh Tenenbaum

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

Keeping Safe Rust Safe with Galeed.

Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

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

Runtime Protection of Real-time Critical Control Applications against Known Threats.

Muhammad Taimoor Khan, Martin Pinzger, Dimitrios Serpanos, Howard E. Shrobe

IEEE Des. Test, 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

Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems.

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Moving Target Defense Considerations in Real-Time Safety- and Mission-Critical Systems.

Nathan Burow, Ryan Burrow, Roger Khazan, Howard E. Shrobe, Bryan C. Ward

Proceedings of the 7th ACM Workshop on Moving Target Defense, 2020

2019

Deriving Cyber-security Requirements for Cyber Physical Systems.

Robert Laddaga, Paul Robertson, Howard E. Shrobe, Dan Cerys, Prakash Manghwani, Patrik Meijer

CoRR, 2019

Security of Cyberphysical Systems: Chaining Induction and Deduction.

Muhammad Taimoor Khan, Howard E. Shrobe

Computer, 2019

FirmFuzz: Automated IoT Firmware Introspection and Analysis.

Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer

Proceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things, 2019

2018

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems.

Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe

Proc. IEEE, 2018

IIoT Cybersecurity Risk Modeling for SCADA Systems.

Gregory Falco, Carlos Caldera, Howard E. Shrobe

IEEE Internet Things J., 2018

Designing Safe and Secure Industrial Control Systems: A Tutorial Review.

Dimitrios N. Serpanos, Muhammad Taimoor Khan, Howard E. Shrobe

IEEE Des. Test, 2018

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence.

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

AI Mag., 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

Highly Assured Safety and Security of e-Health Applications.

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe

Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018

There's a Hole in the Bottom of the C: On the Effectiveness of Allocation Protection.

Ronald Gil, Hamed Okhravi, Howard E. Shrobe

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

RADMAX: Risk and Deadline Aware Planning for Maximum Utility.

Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2016

Behaviour-Based Security for Cyber-Physical Systems.

Dimitrios N. Serpanos, Howard E. Shrobe, Muhammad Taimoor Khan

ERCIM News, 2016

Sound and Complete Runtime Security Monitor for Application Software.

Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe

CoRR, 2016

A rigorous and efficient run-time security monitor for real-time critical embedded system applications.

Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe

Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

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

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software.

Muhammad Taimoor Khan, Anastasios Fragopoulos, Dimitrios N. Serpanos, Howard E. Shrobe

Proceedings of the 10th Workshop on Embedded Systems Security, 2015

Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems.

Sicun Gao, Le Xie, Armando Solar-Lezama, Dimitrios N. Serpanos, Howard E. Shrobe

Proceedings of the 54th IEEE Conference on Decision and Control, 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

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Towards a Programmer's Apprentice (Again).

Howard Elliot Shrobe, Boris Katz, Randall Davis

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

On the Formal Semantics of the Cognitive Middleware AWDRAT.

Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe

CoRR, 2014

On the Behavioural Formalization of the Cognitive Middleware AWDRAT.

Muhammad Taimoor Khan, Dimitrios N. Serpanos, Howard E. Shrobe

CoRR, 2014

2012

Suppose We Got a Do-Over: A Revolution for Secure Computing.

Howard E. Shrobe, Daniel Adams

IEEE Secur. Priv., 2012

What if we got a do-over?

Howard E. Shrobe

Proceedings of the 2012 ACM Workshop on Cloud computing security, 2012

2008

Generating Baseball Summaries from Multiple Perspectives by Reordering Content.

Alice Oh, Howard E. Shrobe

Proceedings of the INLG 2008, 2008

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

A Practical Activity Capture Framework for Personal, Lifetime User Modeling.

Max Van Kleek, Howard E. Shrobe

Proceedings of the User Modeling 2007, 11th International Conference, 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

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Towards intelligent mapping applications: a study of elements found in cognitive maps.

Gary Look, Howard E. Shrobe

Proceedings of the 12th International Conference on Intelligent User Interfaces, 2007

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

Proceedings of the Third Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks, 2006

Simultaneous localization, calibration, and tracking in an ad hoc sensor network.

Christopher Taylor, Ali Rahimi, Jonathan Bachrach, Howard E. Shrobe, Anthony Grue

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

2005

A location representation for generating descriptive walking directions.

Gary Look, Buddhika Kottahachchi, Robert Laddaga, Howard E. Shrobe

Proceedings of the 10th International Conference on Intelligent User Interfaces, 2005

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

One-Push Sharing: Facilitating Picture Sharing from Camera Phones.

Gary Look, Robert Laddaga, Howard E. Shrobe

Proceedings of the Mobile Human-Computer Interaction, 2004

A plan-based mission control center for autonomous vehicles.

Gary Look, Howard E. Shrobe

Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

2003

Using Semantic Networks for Knowledge Representation in an Intelligent Environment.

Stephen Peters, Howard E. Shrobe

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Organizing a Global Coordinate System from Local Information on an Ad Hoc Sensor Network.

Radhika Nagpal, Howard E. Shrobe, Jonathan Bachrach

Proceedings of the Information Processing in Sensor Networks, 2003

Activity Zones for Context-Aware Computing.

Kimberle Koile, Konrad Tollmar, David Demirdjian, Howard E. Shrobe, Trevor Darrell

Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

2002

Computational Vulnerability Analysis for Information Survivability.

Howard E. Shrobe

AI Mag., 2002

2001

Model-Based Diagnosis for Information Survivability.

Howard E. Shrobe

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Results of the Second International Workshop on Self-adaptive Software.

Robert Laddaga, Paul Robertson, Howard E. Shrobe

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Probabilistic Dispatch, Dynamic Domain Architecture, and Self-adaptive Software.

Robert Laddaga, Paul Robertson, Howard E. Shrobe

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Introduction to Self-adaptive Software: Applications.

Robert Laddaga, Paul Robertson, Howard E. Shrobe

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Design Principles for Resource Management Systems for Intelligent Spaces.

Krzysztof Gajos, Luke Weisman, Howard E. Shrobe

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

2000

What Does the Future Hold?

Howard E. Shrobe

AI Mag., 2000

Qualitative rigid-body mechanics.

Thomas F. Stahovich, Randall Davis, Howard E. Shrobe

Artif. Intell., 2000

Active Trust Management for Autonomous Adaptive Survivable Systems.

Howard E. Shrobe, Jon Doyle

Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Introduction: The First International Workshop on Self-Adaptive Software.

Paul Robertson, Robert Laddaga, Howard E. Shrobe

Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Results of the First International Workshop on Self Adaptive Software.

Robert Laddaga, Paul Robertson, Howard E. Shrobe

Proceedings of the Self-Adaptive Software, First International Workshop, 2000

1999

Software Technology of the Future.

Howard E. Shrobe

Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

1998

Generating Multiple New Designs from a Sketch.

Thomas F. Stahovich, Randall Davis, Howard E. Shrobe

Artif. Intell., 1998

An architecture for constructing self-evolving software systems.

Chrysanthos Dellarocas, Mark Klein, Howard E. Shrobe

Proceedings of the Third International Workshop on Software Architecture, 1998

1996

Two Challenging Domains.

Howard E. Shrobe

ACM Comput. Surv., 1996

The Innovative Applications of Artificial Intelligence Conference: Past and Future.

Howard E. Shrobe

AI Mag., 1996

Diagnosing Delivery Problems in the White House Information-Distribution System.

Mark Nahabedian, Howard E. Shrobe

AI Mag., 1996

1995

Evolutionary design of complex software (EDCS).

John Salasin, Howard E. Shrobe

ACM SIGSOFT Softw. Eng. Notes, 1995

The Innovative Applications Conference Highlights and Changes.

Howard E. Shrobe, Ted E. Senator

AI Mag., 1995

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

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

1993

The Japanese national Fifth Generation project: Introduction, survey, and evaluation.

Edward A. Feigenbaum, Howard E. Shrobe

Future Gener. Comput. Syst., 1993

What Is a Knowledge Representation?

Randall Davis, Howard E. Shrobe, Peter Szolovits

AI Mag., 1993

Supporting and Optimizing Full Unification in a Forward Chaining Rule System.

Howard E. Shrobe

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

Understanding Linkages.

Howard E. Shrobe

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1991

Providing Paradigm Orientation without Implementational Handcuffs.

Howard E. Shrobe

SIGART Bull., 1991

OOP and AI (Panel).

Mamdouh Ibrahim, Daniel G. Bobrow, Carl Hewitt, Jean-François Perror, Reid G. Smith, Howard E. Shrobe

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

1990

Guest Editor's Introduction: Object-Oriented Programming in AI.

Sherman R. Alpert, Scott W. Woyak, Howard J. Shrobe, Lloyd F. Arrowood

IEEE Expert, 1990

1988

Towards a Virtual Parallel Inference Engine.

Howard E. Shrobe, John G. Aspinall, Neil L. Mayle

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

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

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1984

Interactive programming environments.

David R. Barstow, Howard E. Shrobe, Erik Sandewall, Stephen W. Smoliar

ACM SIGSOFT Softw. Eng. Notes, 1984

1983

Representing Structure and Behavior of Digital Hardware.

Randall Davis, Howard E. Shrobe

Computer, 1983

1982

The Data Path Generator.

Howard E. Shrobe

Proceedings of the COMPCON'82, 1982

Panel Discussion.

John K. Ousterhout, John A. Newkirk, Phil Petit, Howard E. Shrobe

Proceedings of the COMPCON'82, 1982

Diagnosis Based on Description of Structure and Function.

Randall Davis, Howard E. Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

Guest Editorial: Programming Environments.

David R. Barstow, Howard E. Shrobe

IEEE Trans. Software Eng., 1981

1979

Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures.

Howard E. Shrobe

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Overview of the Programmer's Apprentice.

Charles Rich, Howard E. Shrobe, Richard C. Waters

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

Initial Report on a Lisp Programmer's Apprentice.

Charles Rich, Howard E. Shrobe

IEEE Trans. Software Eng., 1978