Jayaraj Poroor

16 papers A 1B 1Misc 2Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2021 J jnl
Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications.
CoRR
Jayaraj Poroor
2021 B conf
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices.
LCTES
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
2020 J jnl
MotePy: A domain specific language for low-overhead machine learning and data processing.
CoRR
Jayaraj Poroor
2019 — conf
Low-level strongly typed dataframes for machine learning and statistical computing in resource-constrained devices.
ISED
Jayaraj Poroor
2018 Misc conf
Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress.
EMSOFT
Jayaraj Poroor
2014 — conf
Architectural Recommendations in Building a Network Based Secure, Scalable and Interoperable Internet of Things Middleware.
FICTA (1)
Shiju Sathyadevan, Krishnashree Achuthan, Jayaraj Poroor
2014 — conf
Design for Prevention of Intranet Information Leakage via Emails.
SSCC
Neenu Manmadhan, Hari Narayanan, Jayaraj Poroor, Krishnashree Achuthan
2014 A conf
MAESTRO: A time-driven embedded testbed Architecture with Event-driven Synchronization.
RTAS
Sriram Karunagaran, Karuna P. Sahoo, Jayaraj Poroor, Masahiro Fujita
2013 J jnl
Modeling mobile stateful channels in
Sci. Comput. Program.
Jayaraj Poroor, Bharat Jayaraman
2012 — conf
C
ANT/MobiWIS
Jayaraj Poroor, Bharat Jayaraman
2012 — conf
Formal analysis of event-driven cyber physical systems.
SECURIT
Jayaraj Poroor, Bharat Jayaraman
2011 — conf
Formal specification and verification of vehicular handoff using π-calculus.
ACWR
Jayaraj Poroor, Bharat Jayaraman
2011 J jnl
Verifying security properties of internet protocol stacks: The split verification approach.
J. Syst. Archit.
Jayaraj Poroor, Bharat Jayaraman
2009 J jnl
DoS Attacks on Real-Time Media through Indirect Contention-in-Hosts.
IEEE Internet Comput.
Jayaraj Poroor, Bharat Jayaraman
2009 J jnl
Fast Dual-Radio Cross-Layer Handoffs in Multi-Hop Infrastructure-mode 802.11 Wireless Networks for In-Vehicle Multimedia Infotainment
CoRR
Jayaraj Poroor, Sriram Karunagaran, Sudharsan Sundararajan, Ranjith Pillai
2009 Misc conf
Mesh-tree topology for vehicular networks.
TRIDENTCOM
Sriram Karunagaran, Sudharsan Sundararajan, Jayaraj Poroor, Amit Dhar, Ranjith Pillai