Manuel Peralta

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Visual Sensor Networks

Underwater Acoustic

Security Properties

Top Venues

Concurr. Comput. Pract. Exp.

Int. J. Softw. Eng. Knowl. Eng.

ICDCS Workshops

Publications

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
Reasoning about security in sensor networks. Concurr. Comput. Pract. Exp. 27 (15) (2015)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. ICDCS Workshops (2013)
Manuel Peralta, Supratik Mukhopadhyay
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation. Int. J. Softw. Eng. Knowl. Eng. 23 (10) (2013)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
Counterfactually reasoning about security. SIN (2011)
Manuel Peralta, Supratik Mukhopadhyay
Code-Change Impact Analysis Using Counterfactuals. COMPSAC (2011)
Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
Automatic Synthesis and Deployment of Intensional Kahn Process Networks. FGIT-GDC (2009)
Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder
Cognitive Distributed Networks in Environmental e-Science. FTDCS (2008)