Thiagarajan, P.S. - Department of Computational Science, National University of Singapore

Advanced Search

Thiagarajan, P.S. - Department of Computational Science, National University of Singapore

Model-driven SoC Design Via Executable UML to SystemC Kathy Dang Nguyen Zhenxin Sun P.S. Thiagarajan
Interacting Process Classes Ankit Goel Sun Meng Abhik Roychoudhury P. S. Thiagarajan
Probabilistic Approximations of Signaling Pathway Dynamics
Event Count Automata: A State-based Model for Stream Processing Systems
Incremental Signaling Pathway Modeling by Data Integration
Communicating Transaction Processes A. Roychoudhury P.S. Thiagarajan
Message Sequence Charts David Harel
A Theory of Regular MSC Languages Jesper G. Henriksen 1
Automatic Generation of Protocol Converters from Scenario-based Specifications Abhik Roychoudhury P. S. Thiagarajan Tuan-Anh Tran
Causal Message Sequence Charts Thomas Gazagnaire1
A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System
Theoretical Computer Science 412 (2011) 21882206 Contents lists available at ScienceDirect
Succinct Discrete Time Approximations of Distributed Hybrid Automata
UNCORRECTED TCS: 7498 Model 3G pp. 117 (col. fig: nil)
A Multi-Mode Real-Time Calculus Linh T.X. Phan Samarjit Chakraborty P S Thiagarajan
Composing Functional and State-based Performance Models for Analyzing Heterogeneous Real-Time Systems
A UML-based Design Framework for Time-triggered Applications Kathy Dang Nguyen P.S. Thiagarajan Weng-Fai Wong
Composing Globally Consistent Pathway Parameter Estimates Through Belief
BIOINFORMATICS Vol. 00 no. 00 2006
The MSO Theory of Connectedly Communicating Processes
The Discrete Time Behavior of Lazy Linear Hybrid Automata
Theoretical Computer Science 412 (2011) 28402853 Contents lists available at ScienceDirect
Behavioural Approximations for Restricted Linear Differential Hybrid Automata
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Network Models of Biopathways