Travelled to:1 × Australia
1 × Austria
1 × Italy
1 × New Zealand
1 × Spain
1 × United Kingdom
2 × Canada
2 × Japan
7 × USA
Collaborated with:∅ A.Zisman R.H.Lathrop R.S.Kirk G.Duffy K.M.Alexander
Talks about:valid (9) model (9) system (8) base (6) reactiv (5) scenario (3) specif (3) time (3) real (3) structur (2)
♂ Person: Robert J. Hall
DBLP: Hall:Robert_J=
Facilitated 2 volumes:
PrCoPrChContributed to:
20112009
20092008200720062004200420032002
200220012001200019981997
199619961994
199319931992
19881987Wrote 24 papers:
- ASE-2011-Hall #calculus #tool support
- The Capture Calculus Toolset (RJH), pp. 628–632.
- ASE-2009-Hall #algorithm #quantum #re-engineering
- A Quantum Algorithm for Software Engineering Search (RJH), pp. 40–51.
- RE-2009-Hall #forensics #verification
- Forensic System Verification (RJH), pp. 111–120.
- ASE-2008-Hall #modelling #queue #realtime #specification #using #validation
- Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
- ASE-2007-Hall #infinity #modelling #named #realtime #validation
- Rteq: modeling and validating infinite-state hard-real-time systems (RJH), pp. 481–484.
- ASE-2006-Hall #named #scalability
- LSS: A Tool for Large Scale Scenarios (RJH), pp. 349–350.
- ASE-2004-HallZ #behaviour #requirements #validation
- Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
- RE-2004-HallZ #behaviour #named
- OMML: A Behavioural Model Interchange Format (RJH, AZ), pp. 272–282.
- ASE-2003-HallZ #overview #validation
- Overview of OpenModel-based Validation with Partial Information (RJH, AZ), pp. 347–351.
- ASE-2002-Hall #concurrent #java #multi #named #profiling #thread
- CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications (RJH), pp. 107–116.
- SAS-2002-Hall #challenge #distributed #modelling #multi #research
- Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges (RJH), p. 2.
- ASE-2001-Hall #modelling #network #product line #security #specification #validation
- Specification Modeling and Validation Applied to a Family of Network Security Products (RJH), pp. 71–80.
- RE-2001-Hall01a #modelling #network #security #specification #validation
- Specification Modeling and Validation Applied to Network Security Gateways (RJH), pp. 289–291.
- ASE-2000-Hall #legacy
- Upgrading Legacy Instances of Reactive Systems (RJH), pp. 63–72.
- ASE-1998-Hall #generative #modelling
- Explanation-based Scenario Generation for Reactive System Models (RJH), pp. 115–124.
- ASE-1997-Hall #automation #library #reasoning #using #validation
- Reactive System Validation using Automated Reasoning over a Fragment Library (RJH), pp. 299–300.
- CIKM-1996-Hall #email #knowledge-based #named
- Infomod: A Knowledge-Based Moderator for Electronic Mail Help Lists (RJH), pp. 107–114.
- KBSE-1996-Hall
- Trusting Your Assistant (RJH), p. 9.
- KBSE-1994-Hall #incremental #rule-based #validation
- Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
- ICSE-1993-Hall #behaviour #retrieval
- Generalized Behavior-Based Retrieval (RJH), pp. 371–380.
- KBSE-1993-Hall #rule-based #validation
- Validation of Rule-based Reactive Systems by Sound Scenario Generalization (RJH), p. 8.
- ICSE-1992-Hall #profiling
- Call Path Profiling (RJH), pp. 296–306.
- DAC-1988-LathropHDAK #abstraction #functional #roadmap
- Advances in Functional Abstraction from Structure (RHL, RJH, GD, KMA, RSK), pp. 708–711.
- DAC-1987-LathropHK #abstraction #functional #modelling #simulation
- Functional Abstraction from Structure in VLSI Simulation Models (RHL, RJH, RSK), pp. 822–828.