Howard E. Shrobe

According to our database1, Howard E. Shrobe
  • authored at least 68 papers between 1978 and 2018.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems.
Proceedings of the IEEE, 2018

Designing Safe and Secure Industrial Control Systems: A Tutorial Review.
IEEE Design & Test, 2018

2016
Behaviour-Based Security for Cyber-Physical Systems.
ERCIM News, 2016

Sound and Complete Runtime Security Monitor for Application Software.
CoRR, 2016

A rigorous and efficient run-time security monitor for real-time critical embedded system applications.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

2015
Missing the Point(er): On the Effectiveness of Code Pointer Integrity.
Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software.
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.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Control Jujutsu: On the Weaknesses of Fine-Grained Control Flow Integrity.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Towards a Programmer's Apprentice (Again).
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
On the Formal Semantics of the Cognitive Middleware AWDRAT.
CoRR, 2014

On the Behavioural Formalization of the Cognitive Middleware AWDRAT.
CoRR, 2014

2012
Suppose We Got a Do-Over: A Revolution for Secure Computing.
IEEE Security & Privacy, 2012

What if we got a do-over?
Proceedings of the 2012 ACM Workshop on Cloud computing security, 2012

2008
Generating Baseball Summaries from Multiple Perspectives by Reordering Content.
Proceedings of the INLG 2008, 2008

2007
AWDRAT: A Cognitive Middleware System for Information Survivability.
AI Magazine, 2007

A Practical Activity Capture Framework for Personal, Lifetime User Modeling.
Proceedings of the User Modeling 2007, 11th International Conference, 2007

Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT.
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.
Proceedings of the 12th International Conference on Intelligent User Interfaces, 2007

2006
Cognitive Adaptive Radio Teams.
Proceedings of the Third Annual IEEE Communications Society Conference on Sensor, 2006

Simultaneous localization, calibration, and tracking in an ad hoc sensor network.
Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

AWDRAT: A Cognitive Middleware System for Information Survivability.
Proceedings of the Proceedings, 2006

2005
A location representation for generating descriptive walking directions.
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.
Telecommunication Systems, 2004

One-Push Sharing: Facilitating Picture Sharing from Camera Phones.
Proceedings of the Mobile Human-Computer Interaction, 2004

A plan-based mission control center for autonomous vehicles.
Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

2003
Using Semantic Networks for Knowledge Representation in an Intelligent Environment.
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.
Proceedings of the Information Processing in Sensor Networks, 2003

Activity Zones for Context-Aware Computing.
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

2002
Computational Vulnerability Analysis for Information Survivability.
AI Magazine, 2002

Computational Vulnerability Analysis for Information Survivability.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Model-Based Diagnosis for Information Survivability.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Results of the Second International Workshop on Self-adaptive Software.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Probabilistic Dispatch, Dynamic Domain Architecture, and Self-adaptive Software.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Introduction to Self-adaptive Software: Applications.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Design Principles for Resource Management Systems for Intelligent Spaces.
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

2000
What Does the Future Hold?
AI Magazine, 2000

Qualitative rigid-body mechanics.
Artif. Intell., 2000

Active Trust Management for Autonomous Adaptive Survivable Systems.
Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Introduction: The First International Workshop on Self-Adaptive Software.
Proceedings of the Self-Adaptive Software, First International Workshop, 2000

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

1999
Software Technology of the Future.
Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

1998
Generating Multiple New Designs from a Sketch.
Artif. Intell., 1998

1997
Qualitative Rigid Body Mechanics.
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996
Two Challenging Domains.
ACM Comput. Surv., 1996

The Innovative Applications of Artificial Intelligence Conference: Past and Future.
AI Magazine, 1996

Diagnosing Delivery Problems in the White House Information-Distribution System.
AI Magazine, 1996

Generating Multiple New Designs From a Sketch.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Diagnosing Delivery Problems in the White House Information Distribution System.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
The Innovative Applications Conference Highlights and Changes.
AI Magazine, 1995

1994
Knowledge-Based Systems in Japan (Report of the JTEC Panel).
Commun. ACM, 1994

Knowledge-Based Systems Research and Applications in Japan, 1992.
AI Magazine, 1994

1993
The Japanese national Fifth Generation project: Introduction, survey, and evaluation.
Future Generation Comp. Syst., 1993

What Is a Knowledge Representation?
AI Magazine, 1993

Supporting and Optimizing Full Unification in a Forward Chaining Rule System.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

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

1991
Providing Paradigm Orientation without Implementational Handcuffs.
SIGART Bulletin, 1991

OOP and AI (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

1988
Towards a Virtual Parallel Inference Engine.
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.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1983
Representing Structure and Behavior of Digital Hardware.
IEEE Computer, 1983

1982
The Data Path Generator.
Proceedings of the COMPCON'82, 1982

Panel Discussion.
Proceedings of the COMPCON'82, 1982

Diagnosis Based on Description of Structure and Function.
Proceedings of the National Conference on Artificial Intelligence, 1982

1981
Guest Editorial: Programming Environments.
IEEE Trans. Software Eng., 1981

1979
Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Overview of the Programmer's Apprentice.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978
Initial Report on a Lisp Programmer's Apprentice.
IEEE Trans. Software Eng., 1978


  Loading...