Publications

My research interests include Interface Theories, Model Checking, Compositional Verification, Software Verification and Model Based Schedulability Analysis.

Other pages on this site contains lists of publications sorted by topic:

 

Comments are closed.