Jayaraj Poroor

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 5

Top Topics

Machine Learning And Statistical

Precisely Defined

Natural Language

Top Venues

Sci. Comput. Program.

Publications

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