Saranya Natarajan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2018–2020
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FDL | Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. | Saranya Natarajan, David Broman |
| 2019 | RTSS | From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. | Saranya Natarajan, Mitra Nasri, David Broman, Bjrn B. Brandenburg, Geoffrey Nelissen |
| 2018 | RTAS | Timed C: An Extension to the C Programming Language for Real-Time Systems. | Saranya Natarajan, David Broman |