P. S. Thiagarajan

According to our database, P. S. Thiagarajan authored at least 119 papers between 1973 and 2023.

Collaborative distances:

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

2023

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

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.

Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

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

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

2020

A Theory of Distributed Markov Chains.

P. S. Thiagarajan, Shaofa Yang

Fundam. Informaticae, 2020

2019

Statistical Model Checking-Based Analysis of Biological Networks.

Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2017

Automated Property Synthesis of ODEs Based Bio-pathways Models.

Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan

Proceedings of the Computational Methods in Systems Biology, 2017

2016

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

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Approximate Verification of the Symbolic Dynamics of Markov Chains.

Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan

J. ACM, 2015

Distributed Markov Chains.

Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Parallelized Parameter Estimation of Biological Pathway Models.

R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Approximate Probabilistic Verification of Hybrid Systems.

Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014

Rabin's theorem in the concurrency setting: A conjecture.

P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2014

The Self-Limiting Dynamics of TGF-β Signaling <i>In Silico</i> and <i>In Vitro</i>, with Negative Feedback through PPM1A Upregulation.

Junjie Wang, Lisa Tucker-Kellogg, Inn Chuan Ng, Ruirui Jia, P. S. Thiagarajan, Jacob K. White, Hanry Yu

PLoS Comput. Biol., 2014

Distributed Markov Chains.

Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan

CoRR, 2014

2013

In Memoriam: Carl Adam Petri.

Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan

Trans. Petri Nets Other Model. Concurr., 2013

GPU code generation for ODE-based applications with phased shared-data access patterns.

Andrei Hagiescu, Bing Liu, R. Ramanathan, Sucheendra K. Palaniappan, Zheng Cui, Bipasa Chattopadhyay, P. S. Thiagarajan, Weng-Fai Wong

ACM Trans. Archit. Code Optim., 2013

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.

Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Modular discrete time approximations of distributed hybrid automata.

P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2012

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.

Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

Modeling and Analysis of biopathways Dynamics.

Bing Liu, P. S. Thiagarajan

J. Bioinform. Comput. Biol., 2012

Improved statistical model checking methods for pathway analysis.

Chuan Hock Koh, Sucheendra K. Palaniappan, P. S. Thiagarajan, Limsoon Wong

BMC Bioinform., 2012

Approximate probabilistic analysis of biopathway dynamics.

Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng-Fai Wong, P. S. Thiagarajan

Bioinform., 2012

Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics.

Sucheendra K. Palaniappan, P. S. Thiagarajan

Proceedings of the Automated Technology for Verification and Analysis, 2012

The Discrete Time Behaviour of Restricted Linear Hybrid Automata.

Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Probabilistic approximations of ODEs based bio-pathway dynamics.

Bing Liu, David Hsu, P. S. Thiagarajan

Theor. Comput. Sci., 2011

Component-based construction of bio-pathway models: The parameter estimation problem.

Geoffrey Koh, David Hsu, P. S. Thiagarajan

Theor. Comput. Sci., 2011

A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System.

Bing Liu, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan

PLoS Comput. Biol., 2011

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.

Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Quasi-static scheduling of communicating tasks.

Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang

Inf. Comput., 2010

Incremental Signaling Pathway Modeling by Data Integration.

Geoffrey Koh, David Hsu, P. S. Thiagarajan

Proceedings of the Research in Computational Molecular Biology, 2010

Succinct discrete time approximations of distributed hybrid automata.

P. S. Thiagarajan, Shaofa Yang

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009

Interacting process classes.

Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan

ACM Trans. Softw. Eng. Methodol., 2009

Causal Message Sequence Charts.

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2009

Probabilistic Approximations of Signaling Pathway Dynamics.

Bing Liu, P. S. Thiagarajan, David Hsu

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

A Multi-mode Real-Time Calculus.

Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

2007

Designing communicating transaction processes by supervisory control theory.

Lei Feng, Walter Murray Wonham, P. S. Thiagarajan

Formal Methods Syst. Des., 2007

Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation.

Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan

Proceedings of the Algorithms in Bioinformatics, 7th International Workshop, 2007

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.

Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

A UML-Based Design Framework for Time-Triggered Applications.

Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Anchored Concatenation of MSCs.

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Formal Models, 2007

2006

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-Véronique Clément, David Hsu, P. S. Thiagarajan

Proceedings of the Proceedings 14th International Conference on Intelligent Systems for Molecular Biology 2006, 2006

Interacting process classes.

Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Behavioural Approximations for Restricted Linear Differential Hybrid Automata.

Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Interface Design for Rationally Clocked GALS Systems.

Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan

Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2005

A theory of regular MSC languages.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan

Inf. Comput., 2005

Event Count Automata: A State-Based Model for Stream Processing Systems.

Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

The Discrete Time Behavior of Lazy Linear Hybrid Automata.

Manindra Agrawal, P. S. Thiagarajan

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

The MSO Theory of Connectedly Communicating Processes.

P. Madhusudan, P. S. Thiagarajan, Shaofa Yang

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Automatic Generation of Protocol Converters from Scenario-Based Specifications.

Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Model-Driven SoC Design via Executable UML to SystemC.

Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Lazy Rectangular Hybrid Automata.

Manindra Agrawal, P. S. Thiagarajan

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Timed vs. Time-Triggered Automata.

Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Netcharts: Bridging the gap between HMSCs and executable specifications.

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the CONCUR 2003, 2003

Cyclic Communicating Processes: Hierarchy and Verification.

P. S. Thiagarajan

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Communicating Transaction Processes.

Abhik Roychoudhury, P. S. Thiagarajan

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.

Abhik Roychoudhury, P. S. Thiagarajan

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

Message Sequence Charts.

David Harel, P. S. Thiagarajan

Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003

2002

Branching time controllers for discrete event systems.

P. Madhusudan, P. S. Thiagarajan

Theor. Comput. Sci., 2002

5th Asian Computing Science Conference - Preface.

P. S. Thiagarajan, Roland H. C. Yap

Int. J. Found. Comput. Sci., 2002

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.

P. S. Thiagarajan, Igor Walukiewicz

Inf. Comput., 2002

An Executable Specification Language Based on Message Sequence Charts.

Abhik Roychoudhury, P. S. Thiagarajan

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

A Decidable Class of Asynchronous Distributed Controllers.

P. Madhusudan, P. S. Thiagarajan

Proceedings of the CONCUR 2002, 2002

Regular Event Structures and Finite Petri Nets: A Conjecture.

P. S. Thiagarajan

Proceedings of the Formal and Natural Computing, 2002

Abstract Cyclic Communicating Processes: A Logical View.

P. S. Thiagarajan

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.

Mogens Nielsen, P. S. Thiagarajan

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Distributed Controller Synthesis for Local Specifications.

P. Madhusudan, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000

Regular Collections of Message Sequence Charts.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

On Message Sequence Graphs and Finitely Generated Regular MSC Languages.

Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Open Systems in Reactive Environments: Control and Synthesis.

Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi

Proceedings of the CONCUR 2000, 2000

1999

Dynamic Linear Time Temporal Logic.

Jesper G. Henriksen, P. S. Thiagarajan

Ann. Pure Appl. Log., 1999

Product Interval Automata: A Subclass of Timed Automata.

Deepak D'Souza, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Synthesizing Distributed Transition Systems from Global Specification.

Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Some Logical and Automata-Theoretic Aspects of Product Behaviours.

P. S. Thiagarajan

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

Controllers for Discrete Event Systems via Morphisms.

P. Madhusudan, P. S. Thiagarajan

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

A Product Version of Dynamic Linear Time Temporal Logic.

Jesper G. Henriksen, P. S. Thiagarajan

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

An Event Structure Semantics for General Petri Nets.

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Theor. Comput. Sci., 1996

Linear Time Temporal Logics over Mazurkiewicz Traces.

Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.

P. S. Thiagarajan, Jesper G. Henriksen

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

Transition Systems, Event Structures and Unfoldings

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Inf. Comput., May, 1995

A Logical Study of Distributed Transition Systems

Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan

Inf. Comput., May, 1995

A Trace Semantics for Petri Nets

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Inf. Comput., February, 1995

A Trace Consistent Subset of PTL.

P. S. Thiagarajan

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

A Trace Based Extension of Linear Time Temporal Logic

P. S. Thiagarajan

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993

Decidability of a Partial Order Based Temporal Logic.

Kamal Lodaya, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Local Event Structures and Petri Nets.

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Proceedings of the CONCUR '93, 1993

1992

Elementary Transition Systems.

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Theor. Comput. Sci., 1992

A Logical Characterization of Well Branching Event Structures.

Madhavan Mukund, P. S. Thiagarajan

Theor. Comput. Sci., 1992

Temporal Logics for Communicating Sequential Agents: I.

Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan

Int. J. Found. Comput. Sci., 1992

Elementary Transition Systems and Refinement.

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Acta Informatica, 1992

A Trace Semantics for Petri Nets (Extended Abstract).

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Event Structures and Trace Monoids.

Brigitte Rozoy, P. S. Thiagarajan

Theor. Comput. Sci., 1991

1990

Some Behavioural Aspects of Net Theory.

P. S. Thiagarajan

Theor. Comput. Sci., 1990

Behavioural Notions for Elementary Net Systems.

Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan

Distributed Comput., 1990

1989

A Petri Net Model of Asynchronously Communicating Sequential Processes.

Madhavan Mukund, P. S. Thiagarajan

Proceedings of the A Perspective in Theoretical Computer Science, 1989

An Axiomatization of Event Structures.

Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

A logic for distributed transition systems.

Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

A Modal Logic for a Subclass of Event Structures.

Kamal Lodaya, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

Elementary Net Systems.

P. S. Thiagarajan

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petri Nets: Basic Notions, Structure, Behaviour.

Grzegorz Rozenberg, P. S. Thiagarajan

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1984

A Fresh Look at Free Choice Nets

P. S. Thiagarajan, K. Vos

Inf. Control., May, 1984

A Theory of Bipolar Synchronization Schemes.

Hartmann J. Genrich, P. S. Thiagarajan

Theor. Comput. Sci., 1984

D-Continuous Causal Nets: A Model of Non-Sequential Processes.

César Fernández, P. S. Thiagarajan

Theor. Comput. Sci., 1984

Generalized Handle Grammars and Their Relation to Petri Nets.

Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan

J. Inf. Process. Cybern., 1984

Degrees of Non-Determinism and Concurrency: A Petri Net View.

Mogens Nielsen, P. S. Thiagarajan

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

In praise of free choice nets.

P. S. Thiagarajan, Klaus Voss

Proceedings of the Advances in Petri Nets 1984, 1984

A lattice theoretic view of K-density.

César Fernández, P. S. Thiagarajan

Proceedings of the Advances in Petri Nets 1984, 1984

A note on observable occurrence nets.

César Fernández, Mogens Nielsen, P. S. Thiagarajan

Proceedings of the Advances in Petri Nets 1984, 1984

1983

Some Aspects of Net Theory.

P. S. Thiagarajan

Proceedings of the Analysis of Concurrent Systems, 1983

1982

Well-Formed Flow Charts for Concurrent Programming.

Hartmann J. Genrich, P. S. Thiagarajan

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

Some Properties of D-Continuous Causal Nets.

César Fernández, P. S. Thiagarajan

Proceedings of the Automata, 1982

Petri nets and their relation to graph grammars.

Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

A Note on D-Continuous Causal Nets.

César Fernández, P. S. Thiagarajan

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

Two Alterative Definitions of Synchronic Distance.

Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan

Proceedings of the Application and Theory of Petri Nets, 1981

1980

Substitution Systems - A Family of System Models Based on Concurrency.

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Bipolar Synchronization Systems.

Hartmann J. Genrich, P. S. Thiagarajan

Proceedings of the Automata, 1980

1979

Elements of General Net Theory.

Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan

Proceedings of the Net Theory and Applications, 1979

1978

Surveyor's Forum: Net Progress.

Hartmann J. Genrich, P. S. Thiagarajan

ACM Comput. Surv., 1978

1975

On the Interconnection of Asynchronous Control Structures.

J. Robert Jump, P. S. Thiagarajan

J. ACM, 1975

1973

On the Equivalence of Asynchronous Control Structures.

J. Robert Jump, P. S. Thiagarajan

SIAM J. Comput., 1973