|
 | Up a level |
Suresh, VP and Pai, R and DSouza, D and DSouza, M and Chakrabarti, SK (2022) Static Race Detection for Periodic Programs. In: European Joint Conferences on Theory and Practice of Software, ETAPS 2022, 5-7 April 2022, Munich, pp. 290-316.
Holla, R and Deka, N and DSouza, D (2021) On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. In: Leibniz International Proceedings in Informatics, LIPIcs, 213 .
DSouza, D and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, B (2008) On the Decidability of Model Checking Information Flow Properties. In: 4th International Conference on Information Systems Security, ICISS, 16 - 20 December 2008.
