P. S. Thiagarajan

Publication Activity (10 Years)

Years Active: 1972-2024
Publications (10 Years): 8

Top Venues

CoRR

RTCSA

HSB

VMCAI

Publications

S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan
Causally Deterministic Markov Decision Processes. CONCUR (2024)
Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
Statistical verification of autonomous system controllers under timing uncertainties. Real Time Syst. 60 (1) (2024)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. RTCSA (2023)
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. ASP-DAC (2023)
Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. RTCSA (2022)
P. S. Thiagarajan, Shaofa Yang
A Theory of Distributed Markov Chains. Fundam. Informaticae 175 (1-4) (2020)
Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan
Automated Property Synthesis of ODEs Based Bio-pathways Models. CMSB (2017)
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. FASE (2016)
Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
Distributed Markov Chains. VMCAI (2015)
R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan
Parallelized Parameter Estimation of Biological Pathway Models. HSB (2015)
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
Approximate Probabilistic Verification of Hybrid Systems. HSB (2015)
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains. J. ACM 62 (1) (2015)
P. S. Thiagarajan, Shaofa Yang
Rabin's theorem in the concurrency setting: A conjecture. Theor. Comput. Sci. 546 (2014)
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan
Distributed Markov Chains. CoRR (2014)
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
Approximate probabilistic verification of hybrid systems. CoRR (2014)
Junjie Wang, Lisa Tucker-Kellogg, Inn Chuan Ng, Ruirui Jia, P. S. Thiagarajan, Jacob K. White, Hanry Yu
, with Negative Feedback through PPM1A Upregulation. PLoS Comput. Biol. 10 (6) (2014)
Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan
In Memoriam: Carl Adam Petri. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models. CMSB (2013)
Andrei Hagiescu, Bing Liu, R. Ramanathan, Sucheendra K. Palaniappan, Zheng Cui, Bipasa Chattopadhyay, P. S. Thiagarajan, Weng-Fai Wong
GPU code generation for ODE-based applications with phased shared-data access patterns. ACM Trans. Archit. Code Optim. 10 (4) (2013)
Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng-Fai Wong, P. S. Thiagarajan
Approximate probabilistic analysis of biopathway dynamics. Bioinform. 28 (11) (2012)
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains. LICS (2012)
Chuan Hock Koh, Sucheendra K. Palaniappan, P. S. Thiagarajan, Limsoon Wong
Improved statistical model checking methods for pathway analysis. BMC Bioinform. 13 (S-17) (2012)
Sucheendra K. Palaniappan, P. S. Thiagarajan
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. ATVA (2012)
P. S. Thiagarajan, Shaofa Yang
Modular discrete time approximations of distributed hybrid automata. Theor. Comput. Sci. 429 (2012)
Bing Liu, P. S. Thiagarajan
Modeling and Analysis of biopathways Dynamics. J. Bioinform. Comput. Biol. 10 (4) (2012)
Bing Liu, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan
A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System. PLoS Comput. Biol. 7 (1) (2011)
Geoffrey Koh, David Hsu, P. S. Thiagarajan
Component-based construction of bio-pathway models: The parameter estimation problem. Theor. Comput. Sci. 412 (26) (2011)
Bing Liu, David Hsu, P. S. Thiagarajan
Probabilistic approximations of ODEs based bio-pathway dynamics. Theor. Comput. Sci. 412 (21) (2011)
Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB (2011)
P. S. Thiagarajan, Shaofa Yang
Succinct discrete time approximations of distributed hybrid automata. HSCC (2010)
Geoffrey Koh, David Hsu, P. S. Thiagarajan
Incremental Signaling Pathway Modeling by Data Integration. RECOMB (2010)
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
Quasi-static scheduling of communicating tasks. Inf. Comput. 208 (10) (2010)
Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan
Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18 (4) (2009)
Bing Liu, P. S. Thiagarajan, David Hsu
Probabilistic Approximations of Signaling Pathway Dynamics. CMSB (2009)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. Theor. Comput. Sci. 410 (41) (2009)
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan
A Multi-mode Real-Time Calculus. RTSS (2008)
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
Quasi-Static Scheduling of Communicating Tasks. CONCUR (2008)
Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong
A UML-Based Design Framework for Time-Triggered Applications. RTSS (2007)
Lei Feng, Walter Murray Wonham, P. S. Thiagarajan
Designing communicating transaction processes by supervisory control theory. Formal Methods Syst. Des. 30 (2) (2007)
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. RTSS (2007)
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang
Anchored Concatenation of MSCs. Formal Models, Languages and Applications (2007)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. CONCUR (2007)
Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan
Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. WABI (2007)
Geoffrey Koh, Huey Fern Carol Teong, Marie-Véronique Clément, David Hsu, P. S. Thiagarajan
A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk. ISMB (Supplement of Bioinformatics) (2006)
Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan
Interface Design for Rationally Clocked GALS Systems. ASYNC (2006)
Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
Behavioural Approximations for Restricted Linear Differential Hybrid Automata. HSCC (2006)
Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan
Interacting process classes. ICSE (2006)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
A theory of regular MSC languages. Inf. Comput. 202 (1) (2005)
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
The MSO Theory of Connectedly Communicating Processes. FSTTCS (2005)
Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan
Event Count Automata: A State-Based Model for Stream Processing Systems. RTSS (2005)
Manindra Agrawal, P. S. Thiagarajan
The Discrete Time Behavior of Lazy Linear Hybrid Automata. HSCC (2005)
Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong
Model-Driven SoC Design via Executable UML to SystemC. RTSS (2004)
Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
Timed vs. Time-Triggered Automata. CONCUR (2004)
Manindra Agrawal, P. S. Thiagarajan
Lazy Rectangular Hybrid Automata. HSCC (2004)
Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva
Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS (2004)
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
Netcharts: Bridging the gap between HMSCs and executable specifications. CONCUR (2003)
Abhik Roychoudhury, P. S. Thiagarajan
Communicating Transaction Processes. ACSD (2003)
Abhik Roychoudhury, P. S. Thiagarajan
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. Lectures on Concurrency and Petri Nets (2003)
P. S. Thiagarajan
Cyclic Communicating Processes: Hierarchy and Verification. ACSD (2003)
P. S. Thiagarajan, Igor Walukiewicz
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Inf. Comput. 179 (2) (2002)
P. S. Thiagarajan
Regular Event Structures and Finite Petri Nets: A Conjecture. Formal and Natural Computing (2002)
P. S. Thiagarajan
Abstract Cyclic Communicating Processes: A Logical View. ICATPN (2002)
Mogens Nielsen, P. S. Thiagarajan
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. ICATPN (2002)
P. S. Thiagarajan, Roland H. C. Yap
5th Asian Computing Science Conference - Preface. Int. J. Found. Comput. Sci. 13 (3) (2002)
P. Madhusudan, P. S. Thiagarajan
A Decidable Class of Asynchronous Distributed Controllers. CONCUR (2002)
Abhik Roychoudhury, P. S. Thiagarajan
An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST (2002)
P. Madhusudan, P. S. Thiagarajan
Branching time controllers for discrete event systems. Theor. Comput. Sci. 274 (1-2) (2002)
P. Madhusudan, P. S. Thiagarajan
Distributed Controller Synthesis for Local Specifications. ICALP (2001)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP (2000)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
Regular Collections of Message Sequence Charts. MFCS (2000)
Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi
Open Systems in Reactive Environments: Control and Synthesis. CONCUR (2000)
Deepak D'Souza, P. S. Thiagarajan
Product Interval Automata: A Subclass of Timed Automata. FSTTCS (1999)
Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
Synthesizing Distributed Transition Systems from Global Specification. FSTTCS (1999)
Jesper G. Henriksen, P. S. Thiagarajan
Dynamic Linear Time Temporal Logic. Ann. Pure Appl. Log. 96 (1-3) (1999)
P. Madhusudan, P. S. Thiagarajan
Controllers for Discrete Event Systems via Morphisms. CONCUR (1998)
P. S. Thiagarajan
Some Logical and Automata-Theoretic Aspects of Product Behaviours. EXPRESS (1998)
Jesper G. Henriksen, P. S. Thiagarajan
A Product Version of Dynamic Linear Time Temporal Logic. CONCUR (1997)
P. S. Thiagarajan, Igor Walukiewicz
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. LICS (1997)
P. S. Thiagarajan, Jesper G. Henriksen
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Petri Nets (1996)
Madhavan Mukund, P. S. Thiagarajan
Linear Time Temporal Logics over Mazurkiewicz Traces. MFCS (1996)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
An Event Structure Semantics for General Petri Nets. Theor. Comput. Sci. 153 (1&2) (1996)
Madhavan Mukund, P. S. Thiagarajan
Linear time temporal logics over Mazurkiewicz traces. Partial Order Methods in Verification (1996)
P. S. Thiagarajan
A Trace Consistent Subset of PTL. CONCUR (1995)
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
Transition Systems, Event Structures and Unfoldings Inf. Comput. 118 (2) (1995)
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
A Logical Study of Distributed Transition Systems Inf. Comput. 119 (1) (1995)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
A Trace Semantics for Petri Nets Inf. Comput. 117 (1) (1995)
P. S. Thiagarajan
A Trace Based Extension of Linear Time Temporal Logic LICS (1994)
Kamal Lodaya, P. S. Thiagarajan
Decidability of a Partial Order Based Temporal Logic. ICALP (1993)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
Local Event Structures and Petri Nets. CONCUR (1993)
Madhavan Mukund, P. S. Thiagarajan
A Logical Characterization of Well Branching Event Structures. Theor. Comput. Sci. 96 (1) (1992)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
A Trace Semantics for Petri Nets (Extended Abstract). ICALP (1992)
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
Elementary Transition Systems. Theor. Comput. Sci. 96 (1) (1992)
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. 3 (2) (1992)
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
Elementary Transition Systems and Refinement. Acta Informatica 29 (6/7) (1992)
Brigitte Rozoy, P. S. Thiagarajan
Event Structures and Trace Monoids. Theor. Comput. Sci. 91 (2) (1991)
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
Behavioural Notions for Elementary Net Systems. Distributed Comput. 4 (1990)
P. S. Thiagarajan
Some Behavioural Aspects of Net Theory. Theor. Comput. Sci. 71 (1) (1990)
Madhavan Mukund, P. S. Thiagarajan
An Axiomatization of Event Structures. FSTTCS (1989)
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
A logic for distributed transition systems. REX Workshop (1988)

P. S. Thiagarajan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

P. S. Thiagarajan