Prahladavaradan Sampath - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Prahladavaradan Sampath' as author, editor, or advisor:

Modelling Multi-agent Reactive SystemsPrahladavaradan Sampath. ICLP 2002: 476 [doi]
Conflict-Tolerant Real-Time FeaturesDeepak D Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath. qest 2008: 274-283 [doi]
Program analysis using game semanticsPrahladavaradan Sampath. PhD thesis, Imperial College London, UK, 2000. [doi]
Translation Validation for Stateflow to CPrahladavaradan Sampath, A. C. Rajeev, S. Ramesh. dac 2014: 1-6 [doi]
Flow Analysis: Games and NetsChris Hankin, Rajagopal Nagarajan, Prahladavaradan Sampath. BIRTHDAY 2002: 135-156 [doi]
Performance Analysis of FlexRay-based ECU NetworksAndrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty, Prahladavaradan Sampath, P. Vignesh V. Ganesan, Sethu Ramesh. dac 2007: 284-289 [doi]
Resolving uncertainty in automotive feature interactionsSilky Arora, Prahladavaradan Sampath, S. Ramesh. RE 2012: 21-30 [doi]
An elementary theory of product-line variationsPrahladavaradan Sampath. fac, 26(4):695-727, 2014. [doi]
Multi-agent Reactive SystemsPrahladavaradan Sampath. PADL 2003: 177-193 [doi]
Supervisory control for real-time systems based on conflict-tolerant controllersDeepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath. case 2009: 555-560 [doi]
Evolving specifications formallyPrahladavaradan Sampath, Silky Arora, S. Ramesh. RE 2011: 5-14 [doi]
Refinement-Based Verification of the FreeRTOS Scheduler in VCCSumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock. icfem 2015: 170-186 [doi]
CoGenTe: a tool for code generator testingA. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh. ASE 2010: 349-350 [doi]
Composing Context Sensitive AnalysisPrahladavaradan Sampath, Shrawan Kumar. SEFM 2006: 186-195 [doi]
Implementation of High Performance Hierarchy-Based Parallel Signed Multiplier for CryptosystemsS. Elango, P. Sampath. jcsc, 29(13), 2020. [doi]
A low power fuzzy logic based variable resolution ADC for wireless ECG monitoring systemsT. Thamaraimanalan, P. Sampath. cogsr, 57:236-245, 2019. [doi]
An optimized multi-attribute vertical handoff approach for heterogeneous wireless networksM. Pradeep, P. Sampath. concurrency, 31(20), 2019. [doi]
High-Performance Multi-RNS-Assisted Concurrent RSA Cryptosystem ArchitecturesElango Sekar, P. Sampath, S. Raja Sekar, Sajan P. Philip, A. Danielraj. jcsc, 32(15), October 2023. [doi]
Enhanced Elman Spike Neural Network fostered intrusion detection framework for securing wireless sensor networkR. Sarath Kumar, P. Sampath, M. Ramkumar. ppna, 16(4):1819-1833, August 2023. [doi]

runs on WebDSL