Research
Interests
-
Software Design with UML
-
Distributed System Testing
-
Formal Specification and Verification in Concurrent Systems
-
(timed) process algebras
-
(real-time) temporal logics
-
communicating finite state machines
-
automata theory in concurrent systems
-
equivalence-checking and model-checking
-
Reverse Engineering
-
Communication Protocols
-
Distributed Object Systems, Middleware
-
Web Engineering and XML