M. Kuo, R. Sinha, P. S. Roop, Efficient WCRT Analysis of Synchronous Programs using
Reachability. Design Automation Conference, 2011. DAC '11. 48th ACM/IEEE, June,
2011.
[
pdf
]
Bibtex
S. Andalam, P. S. Roop, A. Girault, Pruning Infeasible Paths for Tight Timing Analysis of
Synchronous Programs. Proceedings of Design Automation and Test in Europe (DATE), March,
2011.
[
pdf
]
Bibtex
S. Andalam, R. Sinha and P. S. Roop, Environment Modelling for Tight Timing Analysis of
Synchronous Programs. The 6th International Symposium on Electronic Design, Test and
Applications (DELTA), January, 2011.
[
pdf
]
Bibtex
P. S. Roop, Precision Timed Embedded Systems. Electrical and Computer Engineering Departmental
Presentation, University of Auckland, 2010.
[
presentation
]
S. Andalam, P. S. Roop, A. Girault, Predictable multithreading of embedded applications using
PRET-C. Proceedings of ACM-IEEE International Conference on Formal Methods and Models for
Codesign (MEMOCODE), 2010.
[
pdf
]
Bibtex
M. Kuo, L. H. Yoong, S. Andalam, and P. S. Roop, "Determining the Worst-Case Reaction Time
of IEC 61499 Function Blocks", 8th IEEE Conference on Industrial Informatics (INDIN 2010),
Osaka, Japan, 2010.
[
pdf
]
Bibtex
E. Yip and P. S. Roop and M. Biglari-Abhari, "Predictable Parallel Programming using PRET-C",
Technical Report 679, Faculty of Engineering, University of Auckland, August 2010.
[
pdf-full
]
Bibtex
S. Andalam, P. S. Roop, and A. Girault, "Deterministic, predictable and light-weight multithreading
using PRET-C", DATE 2010, Dresden, Germany, 2010.
[
pdf-short
]
[
pdf-full
]
[
presentation
]
Bibtex
S. Andalam, P. S. Roop, A. Girault, and C. Traulsen, "PRET-C: A New Language for Programming Precision
Timed Architectures", RePP Workshop 2009, Grenoble, France, 2009.
[
pdf
]
[
presentation
]
Bibtex
Partha S Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan and Claus Traulsen,
"Tight WCRT analysis of synchronous C Programs", International Conference on Compilers,
Architecture, and Synthesis for Embedded Systems (CASES 2009), October 2009.
[
pdf
]
[
presentation
]
Bibtex
Notice: Copyright ACM 2009
This is the Authors version of the work. It is posted here by permission of ACM for
personal use. Not for redistribution.
S. Andalam, P. S. Roop, A. Girault, and C. Traulsen, "PRET-C: A new language for
programming precision timed architectures" Technical Report 6922, INRIA Grenoble
Rhone-Alpes, 2009
[
pdf
]