Manuel A. Peralta, Ph.D
Profesor a Tiempo Completo
Correo electrónico: man.peralta@ce.pucmm.edu.do
Oficina: Edificio A1, PUCMM, Campus Santo Tomás de Aquino, Santo Domingo, República Dominicana.
Google Scholar
- Doctorado (Ph.D.) Ciencias de La Computación, Louisiana State University (LSU). 2012.
- Maestría (Ms.C.) Ciencias de La Computación, Utah State University (USU). 2007.
- Ingeniería de Sistemas y Computación, Pontificia Universidad Católica Madre y Maestra (PUCMM). 2003.
Libros
- Peralta, M.; Mukhopadhyay, S.; Bharadwaj, R. “Reasoning About Sensor Networks” Distributed Sensor Networks, 2nd Edition, Iyengar and Brooks, eds. Chapman and Hall, Boca Raton, FL. (In Press).
Revistas Indexadas
- Peralta, M.; Mukhopadhyay, S.; Bharadwaj, R “Reasoning About Security in Sensor Networks” Special Issue on Trust and Security in Wireless Sensor Networks: Concurrency and Computation: Practice and Experience, 2015.
- Peralta, M.; Mukhopahdyay, S. “Code-Change Impact Analysis Using Counterfactuals: Theory and Implementation” International Journal of Software Engineering and Knowledge Engineering, 2013.
- Peralta, M.; Mukhopadhyay, S.; Bharadwaj, R. “Automatic Synthesis and Deployment of Intensional Kahn Process Networks” In Grid and Distributed Computing, Vol. 63 (2009), pp. 73-87.
Actas de Congresos
- Peralta, M.; Mukhopadhyay, S.; “Code-Change Impact Analysis Using Counterfactuals," In Proceedings of the Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual, vol., no., pp.694-699, 18-22 July 2011
- Peralta, M.; Mukhopadhyay, S.; Bharadwaj, R. “Counterfactually reasoning about security”. In Proceedings of the 4th international conference on Security of information and networks (SIN '11). ACM, New York, NY, USA, 223-226. 2011.
- Peralta, M.; Mukhopadhyay, S.; Bharadwaj R.; Shenai, K. “Cognitive Networks,” Chapter 12, in Selected Topics in Communication Networks and Distributed Systems. 2009, pp. 321-342
- Bharadwaj, R.; Mukhopadhyay, S.; Peralta, M.; Shenai, K.; Majumder, S.; "Cognitive Distributed Networks in Environmental e-Science," In Proceedings of the Future Trends of Distributed Computing Systems, 2008. FTDCS '08. 12th IEEE International Workshop on, vol., no., pp.192-198, 21-23 Oct. 2008
- Estudio de Caso Sobre la Mejora de la Modularización en la Aplicación de Patrones de Diseño Mediante el Uso de Diseño Orientado a Aspectos – Ronda de Charlas Profesionales IEEE-PUCMM – 2016-11
- Identifying the Need For Agile Design Rationale Techniques – XII Congreso Internacional de Investigación Científica y Tecnológica (CIICT 2016) – 2016-06-10
- La Lógica Contra-fáctica: El Bosquejo de Una Nueva Herramienta Para Verificación Formal de Software – Ronda de Charlas Tecnológicas ITT-PUCMM - 2016-04-22
- El Pensamiento Computacional Como Catalizador del Avance Tecnológico y Científico – Charla Plenaria Olimpiada Dominicana de Informática (ODI) – 2016-04-02
