N. Kaveh

Validating Distributed Object and Component Designs

Wolfgang Emmerich, Nima Kaveh, W. Emmerich, 2003, SFM.

Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model

Wolfgang Emmerich, Nima Kaveh, W. Emmerich, 2001, ESEC/FSE-9.

Deadlock detection in distributed object systems

Wolfgang Emmerich, Nima Kaveh, W. Emmerich, 2001, FSE 2001.

Deadlock detection in distribution object systems

Wolfgang Emmerich, Nima Kaveh, W. Emmerich, 2001, ESEC/FSE-9.

Model checking distributed objects design

Nima Kaveh, N. Kaveh, 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

Using Model Checking to Detect Deadlocks in Distributed Object Systems

Nima Kaveh, N. Kaveh, 2000, EDO.

Model checking distributed objects

Wolfgang Emmerich, Nima Kaveh, W. Emmerich, 2000 .

NEXUS — Resilient Intelligent Middleware

N. Kaveh, R. Ghanea Hercock, R. Hercock, 2004 .