Testing and Analysis of Distributed Systems

Our work in the testing and analysis of distributed systems includes:

• Analysis of Publish/Subscribe Systems
• Analysis of CORBA Applications
• Distributed Systems and Event Logic
• Network Test Tool