Saranya Natarajan

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Programming Language

Temporal Databases

Top Venues

Publications

Saranya Natarajan, David Broman
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. FDL (2020)
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. RTSS (2019)
Saranya Natarajan, David Broman
Timed C: An Extension to the C Programming Language for Real-Time Systems. RTAS (2018)