Howard E. Shrobe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
15
Active years
1979–2022
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | NDSS | Preventing Kernel Hacks with HAKCs. | Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow |
| 2021 | ACSAC | Keeping Safe Rust Safe with Galeed. | Elijah Rivera, Samuel Mergendahl, Howard E. Shrobe, Hamed Okhravi, Nathan Burow |
| 2021 | CogSci | Modeling human planning in a life-like search-and-rescue mission. | Zhutian Yang, Marta Kryven, Howard E. Shrobe, Josh Tenenbaum |
| 2021 | ETFA | Towards Scalable Security of Real-time Applications: A Formally Certified Approach. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe |
| 2021 | RTSS | 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 |
| 2020 | CCS | Moving Target Defense Considerations in Real-Time Safety- and Mission-Critical Systems. | Nathan Burow, Ryan Burrow, Roger Khazan, Howard E. Shrobe, Bryan C. Ward |
| 2020 | ETFA | Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe, Muhammad Murtaza Yousuf |
| 2019 | CCS | FirmFuzz: Automated IoT Firmware Introspection and Analysis. | Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer |
| 2018 | AAAI | RADMAX: Risk and Deadline Aware Planning for Maximum Utility. | Jingkai Chen, Cheng Fang, Christian J. Muise, Howard E. Shrobe, Brian C. Williams, Peng Yu |
| 2018 | WiMob | Highly Assured Safety and Security of e-Health Applications. | Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe |
| 2015 | CCS | 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 |
| 2015 | SP | 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 |
| 2012 | CCS | What if we got a do-over? | Howard E. Shrobe |
| 2008 | INLG | Generating Baseball Summaries from Multiple Perspectives by Reordering Content. | Alice Oh, Howard E. Shrobe |
| 2007 | IUI | Towards intelligent mapping applications: a study of elements found in cognitive maps. | Gary Look, Howard E. Shrobe |
| 2006 | AAAI | 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 |
| 2006 | SECON | 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 |
| 2005 | IUI | A location representation for generating descriptive walking directions. | Gary Look, Buddhika Kottahachchi, Robert Laddaga, Howard E. Shrobe |
| 2004 | IUI | A plan-based mission control center for autonomous vehicles. | Gary Look, Howard E. Shrobe |
| 2003 | PERCOM | Using Semantic Networks for Knowledge Representation in an Intelligent Environment. | Stephen Peters, Howard E. Shrobe |
| 2002 | AAAI | Computational Vulnerability Analysis for Information Survivability. | Howard E. Shrobe |
| 1999 | SP | Software Technology of the Future. | Howard E. Shrobe |
| 1997 | AAAI | Qualitative Rigid Body Mechanics. | Thomas F. Stahovich, Randall Davis, Howard E. Shrobe |
| 1996 | AAAI | Diagnosing Delivery Problems in the White House Information Distribution System. | Mark Nahabedian, Howard E. Shrobe |
| 1996 | AAAI | Generating Multiple New Designs From a Sketch. | Thomas F. Stahovich, Randall Davis, Howard E. Shrobe |
| 1993 | AAAI | Understanding Linkages. | Howard E. Shrobe |
| 1993 | AAAI | Supporting and Optimizing Full Unification in a Forward Chaining Rule System. | Howard E. Shrobe |
| 1991 | OOPSLA | OOP and AI (Panel). | Mamdouh Ibrahim, Daniel G. Bobrow, Carl Hewitt, Jean-Franois Perror, Reid G. Smith, Howard E. Shrobe |
| 1988 | AAAI | Towards a Virtual Parallel Inference Engine. | Howard E. Shrobe, John G. Aspinall, Neil L. Mayle |
| 1987 | AAAI | 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 |
| 1982 | AAAI | Diagnosis Based on Description of Structure and Function. | Randall Davis, Howard E. Shrobe, Walter Hamscher, Kren Wieckert, Mark Shirley, Steve Polit |
| 1979 | IJCAI | Overview of the Programmer's Apprentice. | Charles Rich, Howard E. Shrobe, Richard C. Waters |
| 1979 | IJCAI | Dependency Directed Reasoning in the Analysis of Programs which Modify Complex Data Structures. | Howard E. Shrobe |