Howard E. Shrobe

97 papers A* 15A 6B 4C 3Misc 1Journal 37Unranked 29

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