Eventual Timed Automata. - Deepak D'Souza; M. Raj Mohan (FSTTCS, 2005)

Automata and logics over finitely varying functions. - Fabrice Chevalier; Deepak D'Souza; M. Raj Mohan; Pavithra Prabhakar (Ann. Pure Appl. Log., 2009)

Conflict-tolerant specifications in temporal logic. - Sumesh Divakaran; Deepak D'Souza; Raj Mohan Matteplackel (ISEC, 2010)

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. - Sumesh Divakaran; Deepak D'Souza; M. Raj Mohan (TIME, 2010)

Automata and Logics over Signals. - Fabrice Chevalier; Deepak D'Souza; Raj Mohan Matteplackel; Pavithra Prabhakar (Modern Applications of Automata Theory, 2012)

A Compositional Hierarchical Monitoring Automaton Construction for LTL. - Deepak D'Souza; Raj Mohan Matteplackel (ICTAC, 2012)

Averaging in LTL. - Patricia Bouyer; Nicolas Markey; Raj Mohan Matteplackel (CONCUR, 2014)

Formalizing Timing Diagram Requirements in Discrete Duration Calculus. - Raj Mohan Matteplackel; Paritosh K. Pandya; Amol Wakankar (SEFM, 2017)

Formalizing Timing Diagram Requirements in Discrete Duration Calulus. - Raj Mohan Matteplackel; Paritosh K. Pandya; Amol Wakankar (CoRR, 2017)

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis. - Amol Wakankar; Paritosh K. Pandya; Raj Mohan Matteplackel (CoRR, 2017)

DCSynth: Guided Reactive Synthesis with Soft Requirements. - Amol Wakankar; Paritosh K. Pandya; Raj Mohan Matteplackel (VSTTE, 2019)

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements. - Amol Wakankar; Paritosh K. Pandya; Raj Mohan Matteplackel (CoRR, 2019)