According to our database1, Manuel Peralta authored at least 7 papers between 2008 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Reasoning about security in sensor networks.
Concurr. Comput. Pract. Exp., 2015
Code-Change Impact Analysis using Counterfactuals: Theory and Implementation.
International Journal of Software Engineering and Knowledge Engineering, 2013
A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.
Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013
Counterfactually reasoning about security.
Proceedings of the 4th International Conference on Security of Information and Networks, 2011
Code-Change Impact Analysis Using Counterfactuals.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
Automatic Synthesis and Deployment of Intensional Kahn Process Networks.
Proceedings of the Grid and Distributed Computing, 2009
Cognitive Distributed Networks in Environmental e-Science.
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008