Manuel Peralta

According to our database, Manuel Peralta authored at least 7 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Reasoning about security in sensor networks.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Concurr. Comput. Pract. Exp., 2015

2013

Code-Change Impact Analysis using Counterfactuals: Theory and Implementation.

Manuel Peralta, Supratik Mukhopadhyay

Int. J. Softw. Eng. Knowl. Eng., 2013

A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

2011

Counterfactually reasoning about security.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the 4th International Conference on Security of Information and Networks, 2011

Code-Change Impact Analysis Using Counterfactuals.

Manuel Peralta, Supratik Mukhopadhyay

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009

Automatic Synthesis and Deployment of Intensional Kahn Process Networks.

Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj

Proceedings of the Grid and Distributed Computing, 2009

2008

Cognitive Distributed Networks in Environmental e-Science.

Ramesh Bharadwaj, Supratik Mukhopadhyay, Manuel Peralta, Krishna Shenai, Subhashis Majumder

Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008