Raj Mohan Matteplackel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2017
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SEFM | Formalizing Timing Diagram Requirements in Discrete Duration Calculus. | Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar |
| 2014 | CONCUR | Averaging in LTL. | Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel |
| 2012 | ICTAC | A Compositional Hierarchical Monitoring Automaton Construction for LTL. | Deepak D'Souza, Raj Mohan Matteplackel |