Browsing by Author P. S. THIAGARAJAN

Select a letter below to browse by last name or type
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Showing results 8 to 27 of 45 < previous   next >
Issue DateTitleAuthor(s)
2007A UML-based design framework for time-triggered applicationsNguyen, K.D. ; Thiagarajan, P.S. ; Wong, W.-F. 
2002Abstract cyclic communicating processes: A logical viewThiagarajan, P.S. 
2003An executable specification language based on message sequence chartsRoychoudhnry, A. ; Thiagarajan, P.S. 
2012Approximate probabilistic analysis of biopathway dynamicsLiu, B. ; Hagiescu, A.; Palaniappan, S.K.; Chattopadhyay, B.; Cui, Z.; Wong, W.-F. ; Thiagarajan, P.S. 
2012Approximate verification of the symbolic dynamics of markov chainsAgrawal, M.; Akshay, S.; Genest, B.; Thiagarajan, P.S. 
2004Automatic generation of protocol converters from scenario-based specificationsRoychoudhury, A. ; Thiagarajan, P.S. ; Tran, T.-A.; Zvereva, V.A.
2006Behavioural approximations for restricted linear differential hybrid automataAgrawa, M.; Stephan, F. ; Thiagarajan, P.S. ; Yang, S. 
2009Causal Message Sequence ChartsGazagnaire, T.; Genest, B.; Hélouët, L.; Thiagarajan, P.S. ; Yang, S.
2007Causal message sequence chartsGazagnaire, T.; Genes, B.; Hélouët, L.; Thiagarajan, P.S. ; Shaofa, Y.
2004Communicating transaction processes: An MSC-based model of computation for reactive embedded systemsRoychoudhury, A. ; Thiagarajan, P.S. 
2011Component-based construction of bio-pathway models: The parameter estimation problemKoh, G.; Hsu, D. ; Thiagarajan, P.S. 
2007Composing functional and state-based performance models for analyzing heterogeneous real-time systemsPhan, L.T.X. ; Chakraborty, S. ; Thiagarajan, P.S. ; Thiele, L.
2007Composing globally consistent pathway parameter estimates through belief propagationKoh, G.; Tucker-Kellogg, L. ; Hsu, D. ; Thiagarajan, P.S. 
2007Designing communicating transaction processes by supervisory control theoryFeng, L.; Wonham, W.M.; Thiagarajan, P.S. 
2012Dynamic bayesian networks: A factored model of probabilistic dynamicsPalaniappan, S.K.; Thiagarajan, P.S. 
2005Event count automata: A state-based model for stream processing systemsChakraborty, S. ; Phan, L.T.X. ; Thiagarajan, P.S. 
Dec-2013GPU code generation for ODE-based applications with phased shared-data access patternsHagiescu, A.; Bing, L.; Ramanathan, R.; Palaniappan, S.K.; Cui, Z.; Chattopadhyay, B.; Thiagarajan, P.S. ; Wong, W.-F. 
2010Incremental signaling pathway modeling by data integrationKoh, G.; Hsu, D. ; Thiagarajan, P.S. 
2006Interacting process classesGoel, A. ; Meng, S.; Roychoudhury, A. ; Thiagarajan, P.S. 
2006Interface design for rationally clocked GALS systemsMekie, J.; Chakraborty, S.; Venkataramani, G.; Thiagarajan, P.S. ; Sharma, D.K.