| 2024 | CONCUR | Causally Deterministic Markov Decision Processes. | S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan |
| 2024 | RTNS | Analysis of Long-term Average Behaviors of Probabilistic Task Systems. | Yifan Cai, Linh Thi Xuan Phan, P. S. Thiagarajan |
| 2023 | ASPDAC | Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. | Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty |
| 2023 | RTCSA | Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. | Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty |
| 2022 | RTCSA | Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. | Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty |
| 2016 | FASE | An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. | Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan |
| 2015 | VMCAI | Distributed Markov Chains. | Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan |
| 2012 | ATVA | Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. | Sucheendra K. Palaniappan, P. S. Thiagarajan |
| 2012 | LICS | Approximate Verification of the Symbolic Dynamics of Markov Chains. | Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan |
| 2010 | RECOMB | Incremental Signaling Pathway Modeling by Data Integration. | Geoffrey Koh, David Hsu, P. S. Thiagarajan |
| 2008 | CONCUR | Quasi-Static Scheduling of Communicating Tasks. | Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang |
| 2008 | RTSS | A Multi-mode Real-Time Calculus. | Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan |
| 2007 | CONCUR | Causal Message Sequence Charts. | Thomas Gazagnaire, Blaise Genest, Loc Hlout, P. S. Thiagarajan, Shaofa Yang |
| 2007 | RTSS | A UML-Based Design Framework for Time-Triggered Applications. | Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong |
| 2007 | RTSS | Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. | Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele |
| 2007 | WABI | Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. | Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan |
| 2006 | ICSE | Interacting process classes. | Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan |
| 2006 | ISMB | A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk. | Geoffrey Koh, Huey Fern Carol Teong, Marie-Vronique Clment, David Hsu, P. S. Thiagarajan |
| 2005 | RTSS | Event Count Automata: A State-Based Model for Stream Processing Systems. | Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan |
| 2004 | CONCUR | Timed vs. Time-Triggered Automata. | Pavel Krcl, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi |
| 2004 | RTSS | Model-Driven SoC Design via Executable UML to SystemC. | Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong |
| 2004 | RTSS | Automatic Generation of Protocol Converters from Scenario-Based Specifications. | Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva |
| 2003 | CONCUR | Netcharts: Bridging the gap between HMSCs and executable specifications. | Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2002 | CONCUR | A Decidable Class of Asynchronous Distributed Controllers. | P. Madhusudan, P. S. Thiagarajan |
| 2001 | ICALP | Distributed Controller Synthesis for Local Specifications. | P. Madhusudan, P. S. Thiagarajan |
| 2000 | CONCUR | Open Systems in Reactive Environments: Control and Synthesis. | Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi |
| 2000 | ICALP | On Message Sequence Graphs and Finitely Generated Regular MSC Languages. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2000 | MFCS | Regular Collections of Message Sequence Charts. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 1998 | CONCUR | Controllers for Discrete Event Systems via Morphisms. | P. Madhusudan, P. S. Thiagarajan |
| 1997 | CONCUR | A Product Version of Dynamic Linear Time Temporal Logic. | Jesper G. Henriksen, P. S. Thiagarajan |
| 1997 | LICS | An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. | P. S. Thiagarajan, Igor Walukiewicz |
| 1996 | MFCS | Linear Time Temporal Logics over Mazurkiewicz Traces. | Madhavan Mukund, P. S. Thiagarajan |
| 1995 | CONCUR | A Trace Consistent Subset of PTL. | P. S. Thiagarajan |
| 1994 | LICS | A Trace Based Extension of Linear Time Temporal Logic | P. S. Thiagarajan |
| 1993 | CONCUR | Local Event Structures and Petri Nets. | P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
| 1993 | ICALP | Decidability of a Partial Order Based Temporal Logic. | Kamal Lodaya, P. S. Thiagarajan |
| 1992 | ICALP | A Trace Semantics for Petri Nets (Extended Abstract). | P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
| 1988 | ICALP | Some Behavioural Aspects of Net Theory. | P. S. Thiagarajan |
| 1987 | ICALP | A Modal Logic for a Subclass of Event Structures. | Kamal Lodaya, P. S. Thiagarajan |
| 1982 | ICALP | Some Properties of D-Continuous Causal Nets. | Csar Fernndez, P. S. Thiagarajan |
| 1980 | ICALP | Bipolar Synchronization Systems. | Hartmann J. Genrich, P. S. Thiagarajan |
| 1980 | MFCS | Substitution Systems - A Family of System Models Based on Concurrency. | Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan |
| 1972 | FOCS | On the Equivalence of Asynchronous Control Structures | J. Robert Jump, P. S. Thiagarajan |