Travelled to:1 × Austria
1 × Canada
1 × Italy
1 × USA
Collaborated with:W.Emmerich ∅
Talks about:compon (5) corba (4) object (3) model (3) technolog (2) distribut (2) design (2) java (2) bean (2) rmi (2)
Person: Nima Kaveh
DBLP: Kaveh:Nima
Contributed to:
2003
2002
20012001Wrote 5 papers:
- SFM-2003-KavehE #component #design #distributed #validation
- Validating Distributed Object and Component Designs (NK, WE), pp. 63–91.
- ICSE-2002-EmmerichK #component #corba #java
- Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model (WE, NK), pp. 691–692.
- ESEC-FSE-2001-EmmerichK #component #corba #java
- Component technologies: Java Beans, COM, CORBA, RMI, EJB and the CORBA Component Model (WE, NK), pp. 311–312.
- ESEC-FSE-2001-KavehE #concurrent #detection #object-oriented
- Deadlock detection in distribution object systems (NK, WE), pp. 44–51.
- ICSE-2001-Kaveh #design #model checking
- Model Checking Distributd Objects Design (NK), pp. 793–794.