Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDP. S. Thiagarajan
Person information
- affiliation: National University of Singapore (NUS)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c79]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: 46-51- [c78]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: 196-205 - 2022
- [c77]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: 11-20 - 2020
- [j41]P. S. Thiagarajan, Shaofa Yang:
A Theory of Distributed Markov Chains. Fundam. Informaticae 175(1-4): 301-325 (2020)
2010 – 2019
- 2019
- [p5]Bing Liu, Benjamin M. Gyori, P. S. Thiagarajan:
Statistical Model Checking-Based Analysis of Biological Networks. Automated Reasoning for Systems Biology and Medicine 2019: 63-92 - 2017
- [c76]Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan:
Automated Property Synthesis of ODEs Based Bio-pathways Models. CMSB 2017: 265-282 - 2016
- [c75]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: 269-286 - 2015
- [j40]Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan:
Approximate Verification of the Symbolic Dynamics of Markov Chains. J. ACM 62(1): 2:1-2:34 (2015) - [c74]R. Ramanathan, Yan Zhang, Jun Zhou, Benjamin M. Gyori, Weng-Fai Wong, P. S. Thiagarajan:
Parallelized Parameter Estimation of Biological Pathway Models. HSB 2015: 37-57 - [c73]Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan:
Approximate Probabilistic Verification of Hybrid Systems. HSB 2015: 96-116 - [c72]Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan:
Distributed Markov Chains. VMCAI 2015: 117-134 - 2014
- [j39]Junjie Wang, Lisa Tucker-Kellogg, Inn Chuan Ng, Ruirui Jia, P. S. Thiagarajan, Jacob K. White, Hanry Yu:
The Self-Limiting Dynamics of TGF-β Signaling In Silico and In Vitro, with Negative Feedback through PPM1A Upregulation. PLoS Comput. Biol. 10(6) (2014) - [j38]P. S. Thiagarajan, Shaofa Yang:
Rabin's theorem in the concurrency setting: A conjecture. Theor. Comput. Sci. 546: 225-236 (2014) - [i2]Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan:
Distributed Markov Chains. CoRR abs/1408.0979 (2014) - [i1]Benjamin M. Gyori, Bing Liu, Soumya Paul, R. Ramanathan, P. S. Thiagarajan:
Approximate probabilistic verification of hybrid systems. CoRR abs/1412.6953 (2014) - 2013
- [j37]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): 55:1-55:19 (2013) - [j36]Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan:
In Memoriam: Carl Adam Petri. Trans. Petri Nets Other Model. Concurr. 7: 1-5 (2013) - [c71]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: 120-134 - 2012
- [j35]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): 1508-1516 (2012) - [j34]Chuan Hock Koh, Sucheendra K. Palaniappan, P. S. Thiagarajan, Limsoon Wong:
Improved statistical model checking methods for pathway analysis. BMC Bioinform. 13(S-17): S15 (2012) - [j33]Bing Liu, P. S. Thiagarajan:
Modeling and Analysis of biopathways Dynamics. J. Bioinform. Comput. Biol. 10(4) (2012) - [j32]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): 1352-1365 (2012) - [j31]P. S. Thiagarajan, Shaofa Yang:
Modular discrete time approximations of distributed hybrid automata. Theor. Comput. Sci. 429: 292-304 (2012) - [c70]Sucheendra K. Palaniappan, P. S. Thiagarajan:
Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics. ATVA 2012: 17-25 - [c69]Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan:
Approximate Verification of the Symbolic Dynamics of Markov Chains. LICS 2012: 55-64 - [p4]Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
The Discrete Time Behaviour of Restricted Linear Hybrid Automata. Modern Applications of Automata Theory 2012: 437-456 - 2011
- [j30]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) - [j29]Bing Liu, David Hsu, P. S. Thiagarajan:
Probabilistic approximations of ODEs based bio-pathway dynamics. Theor. Comput. Sci. 412(21): 2188-2206 (2011) - [j28]Geoffrey Koh, David Hsu, P. S. Thiagarajan:
Component-based construction of bio-pathway models: The parameter estimation problem. Theor. Comput. Sci. 412(26): 2840-2853 (2011) - [c68]Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan:
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB 2011: 35-44 - 2010
- [j27]Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang:
Quasi-static scheduling of communicating tasks. Inf. Comput. 208(10): 1154-1168 (2010) - [c67]P. S. Thiagarajan, Shaofa Yang:
Succinct discrete time approximations of distributed hybrid automata. HSCC 2010: 1-10 - [c66]Geoffrey Koh, David Hsu, P. S. Thiagarajan:
Incremental Signaling Pathway Modeling by Data Integration. RECOMB 2010: 281-296
2000 – 2009
- 2009
- [j26]Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. Theor. Comput. Sci. 410(41): 4094-4110 (2009) - [j25]Ankit Goel, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. ACM Trans. Softw. Eng. Methodol. 18(4): 13:1-13:47 (2009) - [c65]Bing Liu, P. S. Thiagarajan, David Hsu:
Probabilistic Approximations of Signaling Pathway Dynamics. CMSB 2009: 251-265 - 2008
- [c64]Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang:
Quasi-Static Scheduling of Communicating Tasks. CONCUR 2008: 310-324 - [c63]Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan:
A Multi-mode Real-Time Calculus. RTSS 2008: 59-69 - 2007
- [j24]Lei Feng, Walter Murray Wonham, P. S. Thiagarajan:
Designing communicating transaction processes by supervisory control theory. Formal Methods Syst. Des. 30(2): 117-141 (2007) - [c62]Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang:
Anchored Concatenation of MSCs. Formal Models, Languages and Applications 2007: 274-288 - [c61]Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. CONCUR 2007: 166-180 - [c60]Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong:
A UML-Based Design Framework for Time-Triggered Applications. RTSS 2007: 39-48 - [c59]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: 343-352 - [c58]Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S. Thiagarajan:
Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation. WABI 2007: 420-430 - [e6]Jean-François Raskin, P. S. Thiagarajan:
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science 4763, Springer 2007, ISBN 978-3-540-75453-4 [contents] - 2006
- [c57]Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan:
Interface Design for Rationally Clocked GALS Systems. ASYNC 2006: 160-171 - [c56]Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata. HSCC 2006: 4-18 - [c55]Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan:
Interacting process classes. ICSE 2006: 302-311 - [c54]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: 271-280 - [e5]Susanna Donatelli, P. S. Thiagarajan:
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. Lecture Notes in Computer Science 4024, Springer 2006, ISBN 3-540-34699-6 [contents] - [e4]Bernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado, Carlos Eduardo Pereira, P. S. Thiagarajan:
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. IFIP 225, Springer 2006, ISBN 978-0-387-39361-2 [contents] - 2005
- [j23]Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan:
A theory of regular MSC languages. Inf. Comput. 202(1): 1-38 (2005) - [c53]P. Madhusudan, P. S. Thiagarajan, Shaofa Yang:
The MSO Theory of Connectedly Communicating Processes. FSTTCS 2005: 201-212 - [c52]Manindra Agrawal, P. S. Thiagarajan:
The Discrete Time Behavior of Lazy Linear Hybrid Automata. HSCC 2005: 55-69 - [c51]Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan:
Event Count Automata: A State-Based Model for Stream Processing Systems. RTSS 2005: 87-98 - 2004
- [c50]Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi:
Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354 - [c49]Manindra Agrawal, P. S. Thiagarajan:
Lazy Rectangular Hybrid Automata. HSCC 2004: 1-15 - [c48]Abhik Roychoudhury, P. S. Thiagarajan, Tuan-Anh Tran, Vera A. Zvereva:
Automatic Generation of Protocol Converters from Scenario-Based Specifications. RTSS 2004: 447-458 - [c47]Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong:
Model-Driven SoC Design via Executable UML to SystemC. RTSS 2004: 459-468 - 2003
- [c46]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: 789-818 - [c45]P. S. Thiagarajan:
Cyclic Communicating Processes: Hierarchy and Verification. ACSD 2003: 4 - [c44]Abhik Roychoudhury, P. S. Thiagarajan:
Communicating Transaction Processes. ACSD 2003: 157-166 - [c43]Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan:
Netcharts: Bridging the gap between HMSCs and executable specifications. CONCUR 2003: 293-307 - [p3]David Harel, P. S. Thiagarajan:
Message Sequence Charts. UML for Real 2003: 77-105 - 2002
- [j22]P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Inf. Comput. 179(2): 230-249 (2002) - [j21]P. S. Thiagarajan, Roland H. C. Yap:
5th Asian Computing Science Conference - Preface. Int. J. Found. Comput. Sci. 13(3): 313-314 (2002) - [j20]P. Madhusudan, P. S. Thiagarajan:
Branching time controllers for discrete event systems. Theor. Comput. Sci. 274(1-2): 117-149 (2002) - [c42]P. S. Thiagarajan:
Abstract Cyclic Communicating Processes: A Logical View. ICATPN 2002: 68-69 - [c41]Mogens Nielsen, P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. ICATPN 2002: 335-351 - [c40]P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: A Conjecture. Formal and Natural Computing 2002: 244-256 - [c39]P. Madhusudan, P. S. Thiagarajan:
A Decidable Class of Asynchronous Distributed Controllers. CONCUR 2002: 145-160 - [c38]Abhik Roychoudhury, P. S. Thiagarajan:
An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST 2002: 226-241 - 2001
- [c37]P. Madhusudan, P. S. Thiagarajan:
Distributed Controller Synthesis for Local Specifications. ICALP 2001: 396-407 - 2000
- [c36]Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi:
Open Systems in Reactive Environments: Control and Synthesis. CONCUR 2000: 92-107 - [c35]Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan:
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP 2000: 675-686 - [c34]Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan:
Regular Collections of Message Sequence Charts. MFCS 2000: 405-414
1990 – 1999
- 1999
- [j19]Jesper G. Henriksen, P. S. Thiagarajan:
Dynamic Linear Time Temporal Logic. Ann. Pure Appl. Log. 96(1-3): 187-207 (1999) - [c33]Deepak D'Souza, P. S. Thiagarajan:
Product Interval Automata: A Subclass of Timed Automata. FSTTCS 1999: 60-71 - [c32]Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan:
Synthesizing Distributed Transition Systems from Global Specification. FSTTCS 1999: 219-231 - [e3]P. S. Thiagarajan, Roland H. C. Yap:
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings. Lecture Notes in Computer Science 1742, Springer 1999, ISBN 3-540-66856-X [contents] - 1998
- [c31]P. Madhusudan, P. S. Thiagarajan:
Controllers for Discrete Event Systems via Morphisms. CONCUR 1998: 18-33 - [c30]P. S. Thiagarajan:
Some Logical and Automata-Theoretic Aspects of Product Behaviours. EXPRESS 1998: 153 - 1997
- [c29]Jesper G. Henriksen, P. S. Thiagarajan:
A Product Version of Dynamic Linear Time Temporal Logic. CONCUR 1997: 45-58 - [c28]P. S. Thiagarajan, Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. LICS 1997: 183-194 - 1996
- [j18]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
An Event Structure Semantics for General Petri Nets. Theor. Comput. Sci. 153(1&2): 129-170 (1996) - [c27]P. S. Thiagarajan, Jesper G. Henriksen:
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Petri Nets 1996: 643-681 - [c26]Madhavan Mukund, P. S. Thiagarajan:
Linear time temporal logics over Mazurkiewicz traces. Partial Order Methods in Verification 1996: 171-201 - [c25]Madhavan Mukund, P. S. Thiagarajan:
Linear Time Temporal Logics over Mazurkiewicz Traces. MFCS 1996: 62-92 - 1995
- [j17]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
A Trace Semantics for Petri Nets. Inf. Comput. 117(1): 98-114 (1995) - [j16]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Transition Systems, Event Structures and Unfoldings. Inf. Comput. 118(2): 191-207 (1995) - [j15]Kamal Lodaya, Rohit Parikh, Ramaswamy Ramanujam, P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems. Inf. Comput. 119(1): 91-118 (1995) - [c24]P. S. Thiagarajan:
A Trace Consistent Subset of PTL. CONCUR 1995: 438-452 - [e2]P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings. Lecture Notes in Computer Science 1026, Springer 1995, ISBN 3-540-60692-0 [contents] - 1994
- [c23]P. S. Thiagarajan:
A Trace Based Extension of Linear Time Temporal Logic. LICS 1994: 438-447 - [e1]P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings. Lecture Notes in Computer Science 880, Springer 1994, ISBN 3-540-58715-2 [contents] - 1993
- [c22]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
Local Event Structures and Petri Nets. CONCUR 1993: 462-476 - [c21]Kamal Lodaya, P. S. Thiagarajan:
Decidability of a Partial Order Based Temporal Logic. ICALP 1993: 582-592 - 1992
- [j14]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems and Refinement. Acta Informatica 29(6/7): 555-578 (1992) - [j13]Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
Temporal Logics for Communicating Sequential Agents: I. Int. J. Found. Comput. Sci. 3(2): 117-159 (1992) - [j12]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Elementary Transition Systems. Theor. Comput. Sci. 96(1): 3-33 (1992) - [j11]Madhavan Mukund, P. S. Thiagarajan:
A Logical Characterization of Well Branching Event Structures. Theor. Comput. Sci. 96(1): 35-72 (1992) - [c20]P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
A Trace Semantics for Petri Nets (Extended Abstract). ICALP 1992: 595-604 - 1991
- [j10]Brigitte Rozoy, P. S. Thiagarajan:
Event Structures and Trace Monoids. Theor. Comput. Sci. 91(2): 285-313 (1991) - 1990
- [j9]Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan:
Behavioural Notions for Elementary Net Systems. Distributed Comput. 4: 45-57 (1990) - [j8]P. S. Thiagarajan:
Some Behavioural Aspects of Net Theory. Theor. Comput. Sci. 71(1): 133-153 (1990)
1980 – 1989
- 1989
- [c19]Madhavan Mukund, P. S. Thiagarajan:
An Axiomatization of Event Structures. FSTTCS 1989: 143-160 - [p2]Madhavan Mukund, P. S. Thiagarajan:
A Petri Net Model of Asynchronously Communicating Sequential Processes. A Perspective in Theoretical Computer Science 1989: 165-198 - 1988
- [c18]P. S. Thiagarajan:
Some Behavioural Aspects of Net Theory. ICALP 1988: 630-653 - [c17]Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan:
A logic for distributed transition systems. REX Workshop 1988: 508-522 - 1987
- [c16]Kamal Lodaya, P. S. Thiagarajan:
A Modal Logic for a Subclass of Event Structures. ICALP 1987: 290-303 - 1986
- [c15]P. S. Thiagarajan:
Elementary Net Systems. Advances in Petri Nets 1986: 26-59 - [p1]Grzegorz Rozenberg, P. S. Thiagarajan:
Petri Nets: Basic Notions, Structure, Behaviour. Current Trends in Concurrency 1986: 585-668 - 1984
- [j7]Hartmann J. Genrich, Dirk Janssens, Grzegorz Rozenberg, P. S. Thiagarajan:
Generalized Handle Grammars and Their Relation to Petri Nets. J. Inf. Process. Cybern. 20(4): 179-206 (1984) - [j6]P. S. Thiagarajan, K. Vos:
A Fresh Look at Free Choice Nets. Inf. Control. 61(2): 85-113 (1984) - [j5]César Fernández, P. S. Thiagarajan:
D-Continuous Causal Nets: A Model of Non-Sequential Processes. Theor. Comput. Sci. 28: 171-196 (1984) - [j4]Hartmann J. Genrich, P. S. Thiagarajan:
A Theory of Bipolar Synchronization Schemes. Theor. Comput. Sci. 30: 241-318 (1984) - [c14]