P. S. Thiagarajan

136 papers A* 12A 6B 21C 1Misc 1Journal 44Unranked 40
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Analysis of Long-term Average Behaviors of Probabilistic Task Systems.
RTNS
Yifan Cai, Linh Thi Xuan Phan, P. S. Thiagarajan
2024 B conf
Causally Deterministic Markov Decision Processes.
CONCUR
S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan
2024 J jnl
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst.
Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
2023 — conf
Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.
ASP-DAC
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Samarjit Chakraborty
2023 B conf
Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.
RTCSA
Shengjie Xu, Bineet Ghosh, Clara Hobbs, P. S. Thiagarajan, Prachi Joshi, Samarjit Chakraborty
2022 B conf
Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
RTCSA
Bineet Ghosh, Clara Hobbs, Shengjie Xu, Parasara Sridhar Duggirala, James H. Anderson, P. S. Thiagarajan, Samarjit Chakraborty
2020 J jnl
A Theory of Distributed Markov Chains.
Fundam. Informaticae
P. S. Thiagarajan, Shaofa Yang
2019 — ch.
Statistical Model Checking-Based Analysis of Biological Networks.
Automated Reasoning for Systems Biology and Medicine
Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan
2017 — conf
Automated Property Synthesis of ODEs Based Bio-pathways Models.
CMSB
Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan
2016 B conf
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
FASE
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan
2015 — conf
Approximate Probabilistic Verification of Hybrid Systems.
HSB
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
2015 J jnl
Approximate Verification of the Symbolic Dynamics of Markov Chains.
J. ACM
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
2015 B conf
Distributed Markov Chains.
VMCAI
Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
2015 — conf
Parallelized Parameter Estimation of Biological Pathway Models.
HSB
R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan
2014 J jnl
Approximate probabilistic verification of hybrid systems.
CoRR
Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan
2014 J jnl
Distributed Markov Chains.
CoRR
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan
2014 J jnl
Rabin's theorem in the concurrency setting: A conjecture.
Theor. Comput. Sci.
P. S. Thiagarajan, Shaofa Yang
2014 J jnl
The Self-Limiting Dynamics of TGF-β Signaling
PLoS Comput. Biol.
Junjie Wang, Lisa Tucker-Kellogg, Inn Chuan Ng, Ruirui Jia, P. S. Thiagarajan, Jacob K. White, Hanry Yu
2013 J jnl
GPU code generation for ODE-based applications with phased shared-data access patterns.
ACM Trans. Archit. Code Optim.
Andrei Hagiescu, Bing Liu, R. Ramanathan, Sucheendra K. Palaniappan, Zheng Cui, Bipasa Chattopadhyay, P. S. Thiagarajan, Weng-Fai Wong
2013 J jnl
In Memoriam: Carl Adam Petri.
Trans. Petri Nets Other Model. Concurr.
Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan
2013 — conf
Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.
CMSB
Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, P. S. Thiagarajan
2012 J jnl
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.
IEEE ACM Trans. Comput. Biol. Bioinform.
Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
2012 A* conf
Approximate Verification of the Symbolic Dynamics of Markov Chains.
LICS
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
2012 J jnl
Approximate probabilistic analysis of biopathway dynamics.
Bioinform.
Bing Liu, Andrei Hagiescu, Sucheendra K. Palaniappan, Bipasa Chattopadhyay, Zheng Cui, Weng-Fai Wong, P. S. Thiagarajan
2012 B conf
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics.
ATVA
Sucheendra K. Palaniappan, P. S. Thiagarajan
2012 J jnl
Improved statistical model checking methods for pathway analysis.
BMC Bioinform.
Chuan Hock Koh, Sucheendra K. Palaniappan, P. S. Thiagarajan, Limsoon Wong
2012 J jnl
Modeling and Analysis of biopathways Dynamics.
J. Bioinform. Comput. Biol.
Bing Liu, P. S. Thiagarajan
2012 J jnl
Modular discrete time approximations of distributed hybrid automata.
Theor. Comput. Sci.
P. S. Thiagarajan, Shaofa Yang
2012 — ch.
The Discrete Time Behaviour of Restricted Linear Hybrid Automata.
Modern Applications of Automata Theory
Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
2011 J jnl
A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System.
PLoS Comput. Biol.
Bing Liu, Jing Zhang, Pei Yi Tan, David Hsu, Anna M. Blom, Benjamin Leong, Sunil Sethi, Bow Ho, Jeak Ling Ding, P. S. Thiagarajan
2011 — conf
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.
CMSB
Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan
2011 J jnl
Component-based construction of bio-pathway models: The parameter estimation problem.
Theor. Comput. Sci.
Geoffrey Koh, David Hsu, P. S. Thiagarajan
2011 J jnl
Probabilistic approximations of ODEs based bio-pathway dynamics.
Theor. Comput. Sci.
Bing Liu, David Hsu, P. S. Thiagarajan
2010 B conf
Incremental Signaling Pathway Modeling by Data Integration.
RECOMB
Geoffrey Koh, David Hsu, P. S. Thiagarajan
2010 J jnl
Quasi-static scheduling of communicating tasks.
Inf. Comput.
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
2010 — conf
Succinct discrete time approximations of distributed hybrid automata.
HSCC
P. S. Thiagarajan, Shaofa Yang
2009 J jnl
Causal Message Sequence Charts.
Theor. Comput. Sci.
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2009 J jnl
Interacting process classes.
ACM Trans. Softw. Eng. Methodol.
Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan
2009 — conf
Probabilistic Approximations of Signaling Pathway Dynamics.
CMSB
Bing Liu, P. S. Thiagarajan, David Hsu
2008 A conf
A Multi-mode Real-Time Calculus.
RTSS
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan
2008 B conf
Quasi-Static Scheduling of Communicating Tasks.
CONCUR
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
2007 A conf
A UML-Based Design Framework for Time-Triggered Applications.
RTSS
Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong
2007 — conf
Anchored Concatenation of MSCs.
Formal Models, Languages and Applications
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang
2007 B conf
Causal Message Sequence Charts.
CONCUR
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2007 A conf
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.
RTSS
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele
2007 C conf
Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation.
WABI
Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan
2007 J jnl
Designing communicating transaction processes by supervisory control theory.
Formal Methods Syst. Des.
Lei Feng, Walter Murray Wonham, P. S. Thiagarajan
2007 — ed.
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
FORMATS
Jean-François Raskin, P. S. Thiagarajan
2006 — conf
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)
Geoffrey Koh, Huey Fern Carol Teong, Marie-Véronique Clément, David Hsu, P. S. Thiagarajan
2006 — conf
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
HSCC
Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
2006 — ed.
From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal
DIPES
Bernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado, Carlos Eduardo Pereira, P. S. Thiagarajan
2006 A* conf
Interacting process classes.
ICSE
Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan
2006 — conf
Interface Design for Rationally Clocked GALS Systems.
ASYNC
Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan
2006 — ed.
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
ICATPN
Susanna Donatelli, P. S. Thiagarajan
2005 J jnl
A theory of regular MSC languages.
Inf. Comput.
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
2005 A conf
Event Count Automata: A State-Based Model for Stream Processing Systems.
RTSS
Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan
2005 — conf
The Discrete Time Behavior of Lazy Linear Hybrid Automata.
HSCC
Manindra Agrawal, P. S. Thiagarajan
2005 — conf
The MSO Theory of Connectedly Communicating Processes.
FSTTCS
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
2004 A conf
Automatic Generation of Protocol Converters from Scenario-Based Specifications.
RTSS
Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva
2004 — conf
Lazy Rectangular Hybrid Automata.
HSCC
Manindra Agrawal, P. S. Thiagarajan
2004 A conf
Model-Driven SoC Design via Executable UML to SystemC.
RTSS
Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong
2004 B conf
Timed vs. Time-Triggered Automata.
CONCUR
Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
2003 — conf
Communicating Transaction Processes.
ACSD
Abhik Roychoudhury, P. S. Thiagarajan
2003 — conf
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.
Lectures on Concurrency and Petri Nets
Abhik Roychoudhury, P. S. Thiagarajan
2003 — conf
Cyclic Communicating Processes: Hierarchy and Verification.
ACSD
P. S. Thiagarajan
2003 — ch.
Message Sequence Charts.
UML for Real
David Harel, P. S. Thiagarajan
2003 B conf
Netcharts: Bridging the gap between HMSCs and executable specifications.
CONCUR
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2002 J jnl
5th Asian Computing Science Conference - Preface.
Int. J. Found. Comput. Sci.
P. S. Thiagarajan, Roland H. C. Yap
2002 B conf
A Decidable Class of Asynchronous Distributed Controllers.
CONCUR
P. Madhusudan, P. S. Thiagarajan
2002 — conf
Abstract Cyclic Communicating Processes: A Logical View.
ICATPN
P. S. Thiagarajan
2002 — conf
An Executable Specification Language Based on Message Sequence Charts.
10th Anniversary Colloquium of UNU/IIST
Abhik Roychoudhury, P. S. Thiagarajan
2002 J jnl
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.
Inf. Comput.
P. S. Thiagarajan, Igor Walukiewicz
2002 J jnl
Branching time controllers for discrete event systems.
Theor. Comput. Sci.
P. Madhusudan, P. S. Thiagarajan
2002 — conf
Regular Event Structures and Finite Petri Nets: A Conjecture.
Formal and Natural Computing
P. S. Thiagarajan
2002 — conf
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.
ICATPN
Mogens Nielsen, P. S. Thiagarajan
2001 A* conf
Distributed Controller Synthesis for Local Specifications.
ICALP
P. Madhusudan, P. S. Thiagarajan
2000 A* conf
On Message Sequence Graphs and Finitely Generated Regular MSC Languages.
ICALP
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
2000 B conf
Open Systems in Reactive Environments: Control and Synthesis.
CONCUR
Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi
2000 B conf
Regular Collections of Message Sequence Charts.
MFCS
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
1999 — ed.
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings
ASIAN
P. S. Thiagarajan, Roland H. C. Yap
1999 J jnl
Dynamic Linear Time Temporal Logic.
Ann. Pure Appl. Log.
Jesper G. Henriksen, P. S. Thiagarajan
1999 — conf
Product Interval Automata: A Subclass of Timed Automata.
FSTTCS
Deepak D'Souza, P. S. Thiagarajan
1999 — conf
Synthesizing Distributed Transition Systems from Global Specification.
FSTTCS
Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan
1998 B conf
Controllers for Discrete Event Systems via Morphisms.
CONCUR
P. Madhusudan, P. S. Thiagarajan
1998 — conf
Some Logical and Automata-Theoretic Aspects of Product Behaviours.
EXPRESS
P. S. Thiagarajan
1997 B conf
A Product Version of Dynamic Linear Time Temporal Logic.
CONCUR
Jesper G. Henriksen, P. S. Thiagarajan
1997 A* conf
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.
LICS
P. S. Thiagarajan, Igor Walukiewicz
1996 J jnl
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci.
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1996 B conf
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
Petri Nets
P. S. Thiagarajan, Jesper G. Henriksen
1996 B conf
Linear Time Temporal Logics over Mazurkiewicz Traces.
MFCS
Madhavan Mukund, P. S. Thiagarajan
1996 — conf
Linear time temporal logics over Mazurkiewicz traces.
Partial Order Methods in Verification
Madhavan Mukund, P. S. Thiagarajan
1995 J jnl
A Logical Study of Distributed Transition Systems
Inf. Comput.
Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan
1995 B conf
A Trace Consistent Subset of PTL.
CONCUR
P. S. Thiagarajan
1995 J jnl
A Trace Semantics for Petri Nets
Inf. Comput.
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1995 — ed.
Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings
FSTTCS
P. S. Thiagarajan
1995 J jnl
Transition Systems, Event Structures and Unfoldings
Inf. Comput.
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1994 A* conf
A Trace Based Extension of Linear Time Temporal Logic
LICS
P. S. Thiagarajan
1994 — ed.
Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings
FSTTCS
P. S. Thiagarajan
1993 A* conf
Decidability of a Partial Order Based Temporal Logic.
ICALP
Kamal Lodaya, P. S. Thiagarajan
1993 B conf
Local Event Structures and Petri Nets.
CONCUR
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1992 J jnl
A Logical Characterization of Well Branching Event Structures.
Theor. Comput. Sci.
Madhavan Mukund, P. S. Thiagarajan
1992 A* conf
A Trace Semantics for Petri Nets (Extended Abstract).
ICALP
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1992 J jnl
Elementary Transition Systems and Refinement.
Acta Informatica
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1992 J jnl
Elementary Transition Systems.
Theor. Comput. Sci.
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1992 J jnl
Temporal Logics for Communicating Sequential Agents: I.
Int. J. Found. Comput. Sci.
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
1991 J jnl
Event Structures and Trace Monoids.
Theor. Comput. Sci.
Brigitte Rozoy, P. S. Thiagarajan
1990 J jnl
Behavioural Notions for Elementary Net Systems.
Distributed Comput.
Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan
1990 J jnl
Some Behavioural Aspects of Net Theory.
Theor. Comput. Sci.
P. S. Thiagarajan
1989 — ch.
A Petri Net Model of Asynchronously Communicating Sequential Processes.
A Perspective in Theoretical Computer Science
Madhavan Mukund, P. S. Thiagarajan
1989 — conf
An Axiomatization of Event Structures.
FSTTCS
Madhavan Mukund, P. S. Thiagarajan
1988 — conf
A logic for distributed transition systems.
REX Workshop
Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan
1988 A* conf
Some Behavioural Aspects of Net Theory.
ICALP
P. S. Thiagarajan
1987 A* conf
A Modal Logic for a Subclass of Event Structures.
ICALP
Kamal Lodaya, P. S. Thiagarajan
1986 — conf
Elementary Net Systems.
Advances in Petri Nets
P. S. Thiagarajan
1986 — ch.
Petri Nets: Basic Notions, Structure, Behaviour.
Current Trends in Concurrency
Grzegorz Rozenberg, P. S. Thiagarajan
1984 J jnl
A Fresh Look at Free Choice Nets
Inf. Control.
P. S. Thiagarajan, K. Vos
1984 J jnl
A Theory of Bipolar Synchronization Schemes.
Theor. Comput. Sci.
Hartmann J. Genrich, P. S. Thiagarajan
1984 — conf
A lattice theoretic view of K-density.
European Workshop on Applications and Theory in Petri Nets
César Fernández, P. S. Thiagarajan
1984 — conf
A note on observable occurrence nets.
European Workshop on Applications and Theory in Petri Nets
César Fernández, Mogens Nielsen, P. S. Thiagarajan
1984 J jnl
D-Continuous Causal Nets: A Model of Non-Sequential Processes.
Theor. Comput. Sci.
César Fernández, P. S. Thiagarajan
1984 — conf
Degrees of Non-Determinism and Concurrency: A Petri Net View.
FSTTCS
Mogens Nielsen, P. S. Thiagarajan
1984 J jnl
Generalized Handle Grammars and Their Relation to Petri Nets.
J. Inf. Process. Cybern.
Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
1984 — conf
In praise of free choice nets.
European Workshop on Applications and Theory in Petri Nets
P. S. Thiagarajan, Klaus Voss
1983 — conf
Some Aspects of Net Theory.
The Analysis of Concurrent Systems
P. S. Thiagarajan
1982 — conf
A Note on D-Continuous Causal Nets.
European Workshop on Applications and Theory of Petri Nets
César Fernández, P. S. Thiagarajan
1982 — conf
Petri nets and their relation to graph grammars.
Graph-Grammars and Their Application to Computer Science
Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan
1982 A* conf
Some Properties of D-Continuous Causal Nets.
ICALP
César Fernández, P. S. Thiagarajan
1982 — conf
Well-Formed Flow Charts for Concurrent Programming.
Formal Description of Programming Concepts
Hartmann J. Genrich, P. S. Thiagarajan
1981 — conf
Two Alterative Definitions of Synchronic Distance.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan
1980 A* conf
Bipolar Synchronization Systems.
ICALP
Hartmann J. Genrich, P. S. Thiagarajan
1980 B conf
Substitution Systems - A Family of System Models Based on Concurrency.
MFCS
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
1979 — conf
Elements of General Net Theory.
Advanced Course: Net Theory and Applications
Hartmann J. Genrich, Kurt Lautenbach, P. S. Thiagarajan
1978 J jnl
Surveyor's Forum: Net Progress.
ACM Comput. Surv.
Hartmann J. Genrich, P. S. Thiagarajan
1975 J jnl
On the Interconnection of Asynchronous Control Structures.
J. ACM
J. Robert Jump, P. S. Thiagarajan
1973 J jnl
On the Equivalence of Asynchronous Control Structures.
SIAM J. Comput.
J. Robert Jump, P. S. Thiagarajan
1972 — conf
On the Equivalence of Asynchronous Control Structures
SWAT
J. Robert Jump, P. S. Thiagarajan