M. Raj Mohan

According to our database, M. Raj Mohan authored at least 12 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

CoRR, 2019

DCSynth: Guided Reactive Synthesis with Soft Requirements.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2017

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis.

Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel

CoRR, 2017

Formalizing Timing Diagram Requirements in Discrete Duration Calulus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

CoRR, 2017

Formalizing Timing Diagram Requirements in Discrete Duration Calculus.

Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2014

Averaging in LTL.

Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2012

A Compositional Hierarchical Monitoring Automaton Construction for LTL.

Deepak D'Souza, Raj Mohan Matteplackel

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Automata and Logics over Signals.

Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar

Proceedings of the Modern Applications of Automata Theory., 2012

2010

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.

Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan

Proceedings of the TIME 2010, 2010

Conflict-tolerant specifications in temporal logic.

Sumesh Divakaran, Deepak D'Souza, Raj Mohan Matteplackel

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009

Automata and logics over finitely varying functions.

Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar

Ann. Pure Appl. Log., 2009

2005

Eventual Timed Automata.

Deepak D'Souza, M. Raj Mohan

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005