Nima Kaveh

According to our database, Nima Kaveh authored at least 5 papers between 2000 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Validating Distributed Object and Component Designs.

Nima Kaveh, Wolfgang Emmerich

Proceedings of the Formal Methods for Software Architectures, 2003

2001

Deadlock detection in distribution object systems.

Nima Kaveh, Wolfgang Emmerich

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

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

Wolfgang Emmerich, Nima Kaveh

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Model Checking Distributd Objects Design.

Nima Kaveh

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Using Model Checking to Detect Deadlocks in Distributed Object Systems.

Nima Kaveh

Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000