| 2003 |
|---|
| 6 | EE | Nima Kaveh,
Wolfgang Emmerich:
Validating Distributed Object and Component Designs.
SFM 2003: 63-91 |
| 2002 |
|---|
| 5 | EE | Wolfgang Emmerich,
Nima Kaveh:
Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model.
ICSE 2002: 691-692 |
| 2001 |
|---|
| 4 | EE | Wolfgang Emmerich,
Nima Kaveh:
Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model.
ESEC / SIGSOFT FSE 2001: 311-312 |
| 3 | EE | Nima Kaveh,
Wolfgang Emmerich:
Deadlock detection in distribution object systems.
ESEC / SIGSOFT FSE 2001: 44-51 |
| 2 | | Nima Kaveh:
Model Checking Distributd Objects Design.
ICSE 2001: 793-794 |
| 2000 |
|---|
| 1 | EE | Nima Kaveh:
Using Model Checking to Detect Deadlocks in Distributed Object Systems.
EDO 2000: 116-128 |
