- STORMKIT: a decision support tool for stormwater system analysis and design
- Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds
- Formal testing theory of stochastic systems under maximality semantics
- TGG-based process for automating the transformation of UML models towards B specifications
- Software development life cycle model to inculcate exception handling
28 August 2015
Special issue published: "Software Life Cycle Management Focusing on Validation in Software Applications"
International Journal of Computer Aided Engineering and Technology 7(3) 2015