Sanjiva Prasad

48 papers A* 3B 1C 6Misc 4Journal 13Unranked 17
YearRankTypeTitle / Venue / Authors
2024 C conf
Logical Synchrony Plus Functional Processes Entail Observable Determinacy.
MEMOCODE
Sanjiva Prasad
2022 J jnl
Secure Information Flow Typing in LUSTRE.
CoRR
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
2022 J jnl
Secure information flow connections.
J. Log. Algebraic Methods Program.
Chandrika Bhardwaj, Sanjiva Prasad
2021 C conf
Normalising Lustre Preserves Security.
ICTAC
Sanjiva Prasad, R. Madhukar Yerraguntla
2021 J jnl
Normalising Lustre Preserves Security.
CoRR
Sanjiva Prasad, R. Madhukar Yerraguntla
2020 J jnl
Secure Information Flow Connections.
CoRR
Chandrika Bhardwaj, Sanjiva Prasad
2020 C conf
Security Types for Synchronous Data Flow Systems.
MEMOCODE
Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma
2019 A* conf
DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring.
DAC
Neetu Jindal, Sandeep Chandran, Preeti Ranjan Panda, Sanjiva Prasad, Abhay Mitra, Kunal Singhal, Shubham Gupta, Shikhar Tuli
2019 C conf
Only Connect, Securely.
FORTE
Chandrika Bhardwaj, Sanjiva Prasad
2019 J jnl
Only Connect, Securely.
CoRR
Chandrika Bhardwaj, Sanjiva Prasad
2018 J jnl
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines.
J. Log. Algebraic Methods Program.
Sanjiva Prasad
2018 — conf
Lightweight Classification of IoT Malware Based on Image Recognition.
COMPSAC (2)
Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai
2018 J jnl
Lightweight Classification of IoT Malware based on Image Recognition.
CoRR
Jiawei Su, Danilo Vasconcellos Vargas, Sanjiva Prasad, Daniele Sgandurra, Yaokai Feng, Kouichi Sakurai
2017 — conf
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines.
PLACES@ETAPS
Sanjiva Prasad
2017 — ed.
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ICLA
Sujata Ghosh, Sanjiva Prasad
2016 Misc ed.
Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
ICDCIT
Nikolaj S. Bjørner, Sanjiva Prasad, Laxmi Parida
2016 J jnl
Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures.
Future Gener. Comput. Syst.
Rajesh Kumar Pal, Ierum Shanaya, Kolin Paul, Sanjiva Prasad
2016 J jnl
Pravah: Parameterised Information Flow Control in e-Health.
Scalable Comput. Pract. Exp.
Chandrika Bhardwaj, Sanjiva Prasad
2016 — conf
Program Execution on Reconfigurable Multicore Architectures.
PLACES
Sanjiva Prasad
2016 — conf
Self-Similarity Breeds Resilience.
EXPRESS/SOS
Sanjiva Prasad, Lenore D. Zuck
2016 — conf
prasavGraph: Android based Labour Monitoring.
HEALTHINF
Shalini Singh, Kolin Paul, Geeta Yadav, Sanjiva Prasad
2015 — conf
A Switch, in Time.
TGC
Lenore D. Zuck, Sanjiva Prasad
2015 Misc conf
Designing for Scalability and Trustworthiness in mHealth Systems.
ICDCIT
Sanjiva Prasad
2015 — conf
Limited Mobility, Eventual Stability.
Haifa Verification Conference
Lenore D. Zuck, Sanjiva Prasad
2015 C conf
Parametric information flow control in ehealth.
HealthCom
Chandrika Bhardwaj, Sanjiva Prasad
2014 — conf
A Modular Android-Based Multi-sensor mHealth System.
BIOSTEC (Selected Papers)
Avval Gupta, Anju Kansal, Kolin Paul, Sanjiva Prasad
2014 — conf
Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures.
HPCC/CSS/ICESS
Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad
2014 J jnl
ReKonf: Dynamically reconfigurable multiCore architecture.
J. Parallel Distributed Comput.
Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad
2014 — conf
mDROID - An Affordable Android based mHealth System.
HEALTHINF
Anju Kansal, Avval Gupta, Kolin Paul, Sanjiva Prasad
2012 C conf
ReKonf: A Reconfigurable Adaptive ManyCore Architecture.
ISPA
Rajesh Kumar Pal, Kolin Paul, Sanjiva Prasad
2010 — conf
An Operational Model for Multiprocessors with Caches.
IFIP TCS
Salil Joshi, Sanjiva Prasad
2010 — conf
Universal rich presence framework for intelligent call management.
ICUIMC
Abhishek Prateek, Hridayesh Gupta, Sanjiva Prasad
2007 A* conf
An axiomatic basis for communication.
SIGCOMM
Martin Karsten, Srinivasan Keshav, Sanjiva Prasad, Mirza Omer Beg
2007 — ed.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
FSTTCS
Vikraman Arvind, Sanjiva Prasad
2006 Misc conf
An Axiomatic Basis for Communication.
HotNets
Martin Karsten, Srinivasan Keshav, Sanjiva Prasad
2005 Misc conf
Divide and Concur: Employing Chandra and Toueg's Consensus Algorithm in a Multi-level Setting.
ICDCIT
Rahul Agarwal, Mahender Bisht, S. N. Maheshwari, Sanjiva Prasad
2004 — conf
Effective Chemistry for Synchrony and Asynchrony.
IFIP TCS
Deepak Garg, Akash Lal, Sanjiva Prasad
2002 — ch.
Introduction to Operational Semantics.
The Compiler Design Handbook
Sanjiva Prasad, S. Arun-Kumar
2000 — ed.
Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings.
FSTTCS
Sanjiv Kapoor, Sanjiva Prasad
2000 J jnl
Modelling IP Mobility.
Formal Methods Syst. Des.
Roberto M. Amadio, Sanjiva Prasad
2000 — conf
Reflecting BDDs in Coq.
ASIAN
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar
1999 — conf
The Game of the Name in Cryptographic Tables.
ASIAN
Roberto M. Amadio, Sanjiva Prasad
1998 B conf
Modelling IP Mobility.
CONCUR
Roberto M. Amadio, Sanjiva Prasad
1996 J jnl
Models for Mobile Computing Agents.
ACM Comput. Surv.
Sanjiva Prasad
1994 — conf
Localities and Failures (Extended Abstract).
FSTTCS
Roberto M. Amadio, Sanjiva Prasad
1990 A* conf
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.
ICALP
Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra
1989 — conf
FACILE: A Symmetric Integration of Concurrent and Functional Programming.
TAPSOFT, Vol.2
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad
1989 J jnl
Facile: A symmetric integration of concurrent and functional programming.
Int. J. Parallel Program.
Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad