QUIM: A Framework for Quantifying Usability Metrics in Software Quality Models. - Ahmed Seffah; Nihal Kececi; Mohammad Donyaee (APAQS, 2001)

Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. - Wolfgang A. Halang; Nihal Kececi; Grace Tsai (DIPES, 2002)

A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. - Nihal Kececi; Wolfgang A. Halang; Alain Abran (DIPES, 2002)