Jerome White
California Institute of Technology(US)IBM (United States)(US)IBM Research - India(IN)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Real-Time Systems Scheduling, Advanced Database Systems and Queries, Peer-to-Peer Network Technologies, Smart Grid Security and Resilience
Most-Cited Works
- → Verification of distributed systems with local–global predicates(2010)12 cited
- → Scalability and performance of an agent‐based network management middleware(2004)11 cited
- A Mechanism for Sequential Consistency in a Distributed Objects System.(2004)
- → Before-Commit Client State Management Services for AJAX Applications(2006)3 cited
- Verification of Faulty Message Passing Systems with Continuous State Space in PVS(2010)
- → Consensus on asynchronous communication networks in presence of external input(2010)2 cited
- → A summary of communication middleware requirements for advanced shipboard computing systems(2003)2 cited
- → Live data views(2005)1 cited
- → Phase conjugation(1982)
- → Towards a verification framework for faulty message passing systems in PVS(2011)