Robert J. Hall

Affiliations:

AT&T Labs Research, Florham Park, NJ, USA
Massachusetts Institute of Technology (MIT), AI Lab, Cambridge, MA, USA

According to our database¹, Robert J. Hall authored at least 76 papers between 1986 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2017

FocusStack: Orchestrating Edge Clouds Using Focus of Attention.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2017

2016

Tools for Predicting the Reliability of Large-Scale Storage Systems.

[BibT_eX]

[DOI]

Robert J. Hall

ACM Trans. Storage, 2016

An Internet of Drones.

[BibT_eX]

[DOI]

Robert J. Hall

IEEE Internet Comput., 2016

Editorial Introduction.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2016

FocusStack: Orchestrating Edge Clouds Using Location-Based Focus of Attention.

[BibT_eX]

[DOI]

Brian Amento

Bharath Balasubramanian

Proceedings of the IEEE/ACM Symposium on Edge Computing, 2016

2014

Editorial: ASE 2013 Conference Trip Report.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2014

An efficient protocol for geographically addressed streaming.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 2014 IEEE Military Communications Conference, 2014

2013

Editorial: ASE 2012 conference trip report.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2013

Scaling Up a Geographic Addressing System.

[BibT_eX]

[DOI]

Proceedings of the 32th IEEE Military Communications Conference, 2013

A Geocast Based File Transfer Protocol.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 32th IEEE Military Communications Conference, 2013

2012

The itron family of geocast games.

[BibT_eX]

[DOI]

Robert J. Hall

IEEE Trans. Consumer Electron., 2012

Editorial: selected topics in ASE.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2012

Editorial: analysis in software engineering.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2012

Editorial: ASE 2011 conference trip report.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2012

A geocast-based algorithm for a field common operating picture.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 31st IEEE Military Communications Conference, 2012

2011

An Improved Geocast for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Robert J. Hall

IEEE Trans. Mob. Comput., 2011

Editorial: Controlling change.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2011

Editorial: ASE 2010 Conference trip report.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2011

Scalable geocast for vehicular networks (poster).

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Vehicular Networking Conference, 2011

The Capture Calculus Toolset.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Geocast for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

The iTron Family of geocast games (extended abstract).

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 2011 IEEE International Games Innovation Conference, 2011

A point-and-shoot weapon design for outdoor multi-player smartphone games.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the Foundations of Digital Games, 2011

2010

Editorial: data mining in software engineering.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2010

Editorial: software defect detection.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2010

Editorial: ASE 2009 conference trip report.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2010

Cheating attacks and resistance techniques in GeoGame design.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the International Academic Conference on the Future of Game Design and Technology, Vancouver, BC, Canada, May 06, 2010

2009

A first editorial.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2009

Forensic System Verification.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

A Quantum Algorithm for Software Engineering Search.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the ASE 2009, 2009

2008

A method and tools for large scale scenarios.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2008

Validating Real Time Specifications using Real Time Event Queue Modeling.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Rteq: modeling and validating infinite-state hard-real-time systems.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Report on the International Workshop on Service Oriented Software Engineering (IW-SOSE06).

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

LSS: A Tool for Large Scale Scenarios.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

International workshop on service oriented software engineering (IW-SOSE'06).

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2005

Fundamental Nonmodularity in Electronic Mail.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2005

2004

Model interchange and integration for web services.

[BibT_eX]

[DOI]

Robert J. Hall

Andrea Zisman

ACM SIGSOFT Softw. Eng. Notes, 2004

Introduction.

[BibT_eX]

[DOI]

Ramesh Bharadwaj

Robert J. Hall

Autom. Softw. Eng., 2004

OMML: A Behavioural Model Interchange Format.

[BibT_eX]

[DOI]

Robert J. Hall

Andrea Zisman

Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Validating Personal Requirements by Assisted Symbolic Behavior Browsing .

[BibT_eX]

[DOI]

Robert J. Hall

Andrea Zisman

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Behavioral models as service descriptions.

[BibT_eX]

[DOI]

Robert J. Hall

Andrea Zisman

Proceedings of the Service-Oriented Computing, 2004

2003

A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2003

Some Reading for ASE Island.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2003

Overview of OpenModel-based Validation with Partial Information.

[BibT_eX]

[DOI]

Robert J. Hall

Andrea Zisman

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Specification, Validation, and Synthesis of Email Agent Controllers: A Case Study in Function Rich Reactive System Design.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2002

Self-healing open systems.

[BibT_eX]

[DOI]

Stephen Fickas

Robert J. Hall

Proceedings of the First Workshop on Self-Healing Systems, 2002

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the Static Analysis, 9th International Symposium, 2002

CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Guest Editorial.

[BibT_eX]

[DOI]

Robert J. Hall

Enn Tyugu

Autom. Softw. Eng., 2001

Specification Modeling and Validation Applied to Network Security Gateways.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Specification Modeling and Validation Applied to a Family of Network Security Products.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Feature combination and interaction detection via foreground/background models.

[BibT_eX]

[DOI]

Robert J. Hall

Comput. Networks, 2000

Explanation-Based Scenario Generation for Reactive System Models.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 2000

Upgrading Legacy Instances of Reactive Systems.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Feature Interactions in Electronic Mail.

[BibT_eX]

Robert J. Hall

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1998

How to Avoid Unwanted Email.

[BibT_eX]

[DOI]

Robert J. Hall

Commun. ACM, 1998

1997

Reactive System Validation using Automated Reasoning over a Fragment Library.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996

Trusting your assistant.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 11th Knowledge-Based Software Engineering Conference, 1996

Channels: Avoiding unwanted electronic mail.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the Network Threats, Proceedings of a DIMACS Workshop, December 2-4, 1996, 1996

Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the CIKM '96, Proceedings of the Fifth International Conference on Information and Knowledge Management, November 12, 1996

1995

Call Path Refinement Profiles.

[BibT_eX]

[DOI]

Robert J. Hall

IEEE Trans. Software Eng., 1995

Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 1995

Automatic Extraction of Executable Program Subsets by Simultaneous Dynamic Program Slicing.

[BibT_eX]

[DOI]

Robert J. Hall

Autom. Softw. Eng., 1995

1994

Systematic Incremental Validation of Rule-Based Reactive Systems.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the Proceedings KBSE'94, 1994

1993

Call Path Profiling of Monotonic Program Resources in UNIX.

[BibT_eX]

[DOI]

Robert J. Hall

Aaron J. Goldberg

Proceedings of the Summer 1993 USENIX Conference, Cincinnati, OH, USA, June 21-25, 1993, 1993

Validation of rule-based reactive systems by sound scenario generalization.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Generalized Behavior-Based Retrieval.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Comparing Parameter Schemes for Propositional Reasoning: An Empirical Study.

[BibT_eX]

[DOI]

Robert J. Hall

J. Autom. Reason., 1992

Call Path Profiling.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 14th International Conference on Software Engineering, 1992

1988

Learning by Failing to Explain: Using Partial Explanations to Learn in Incomplete or Intractable Domains.

[BibT_eX]

[DOI]

Robert J. Hall

Mach. Learn., 1988

Advances in Functional Abstraction from Structure.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1987

Functional Abstraction from Structure in VLSI Simulation Models.

[BibT_eX]

[DOI]

Richard H. Lathrop

Robert J. Hall

Robert S. Kirk

Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28, 1987

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits.

[BibT_eX]

[DOI]

Robert J. Hall

Richard H. Lathrop

Robert S. Kirk

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

1986

Learning by Failing to Explain.

[BibT_eX]

[DOI]

Robert J. Hall

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Robert J. Hall

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...