Saranya Natarajan

According to our database, Saranya Natarajan authored at least 4 papers between 2018 and 2021.

Collaborative distances:

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

2021

Programming Language Primitives and Tools for Integrated Real-Time Systems Development.

Saranya Natarajan

PhD thesis, 2021

2020

Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.

Saranya Natarajan, David Broman

Proceedings of the Forum for Specification and Design Languages, 2020

2019

From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C.

Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen

Proceedings of the IEEE Real-Time Systems Symposium, 2019

2018

Timed C: An Extension to the C Programming Language for Real-Time Systems.

Saranya Natarajan, David Broman

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018