Research Interests

My current research interests are focused on formal modeling and analysis of distributed time-dependent systems, Petri net and multi-agent systems. Software engineering tools with significant applications to distributed measurement systems and multimedia systems are also developed.

Publications