On the transparency of automata as discrete-event control specifications. - Manh Tung Pham; Amrith Dhananjayan; Kiam Tian Seow (ICRA, 2010)

Automating timed specification transparency for human designer validation of real-time discrete-event control requirements. - Amrith Dhananjayan; Kiam Tian Seow (CASE, 2012)

On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications. - Amrith Dhananjayan; Kiam Tian Seow (ICINCO (1), 2012)

A designer support framework for specification comprehensibility in automata-based discrete-event control design - Amrith Dhananjayan (2012)

Lyapunov stability analysis of load balancing in datacenter networks. - Amrith Dhananjayan; Kiam Tian Seow; Chuan Heng Foh (GLOBECOM Workshops, 2013)

On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata. - Manh Tung Pham; Amrith Dhananjayan; Kiam Tian Seow (IEEE Trans. Syst. Man Cybern. Syst., 2013)

A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control. - Amrith Dhananjayan; Kiam Tian Seow (IEEE Trans. Syst. Man Cybern. Syst., 2014)

A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs. - Amrith Dhananjayan; Kiam Tian Seow (IEEE Trans. Hum. Mach. Syst., 2015)