"TopoGen: A network topology generation architecture with application to automating simulations of software defined networks" (2018) Laurito, A.;Bonaventura, M.;Astigarraga, M.E.P. (...)AnyLogic Company; et al.; IDEA FUSION; Modeling, Simulation and Visualization Engineering; Old Dominion University; Simio 2017 Winter Simulation Conference, WSC 2017:1049-1060

"Fully-reflective VMs for ruling software adaptation" (2017) Chari, G.; Garbervetsky, D.; Marr, S. 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017:229-231

"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107

"Mth: Codesigned Hardware/Software Support for Fine Grain Threads" (2016) Gonzalez Marquez, D.; Cristal, A.; Mocskos, E. IEEE Computer Architecture Letters. PP(99)

"Logic-based learning in software engineering" (2016) Alrajeh, D.; Russo, A.; Uchitel, S.; Kramer, J. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016:892-893

"Design of a multi-purpose low-cost mobile robot for research and education" (2014) Pedre, S.;Nitsche, M.;Pessacg, F. (...)Springer Publishing; The Institution of Engineering Technology (IET); The University of Birmingham 15th Annual Conference on Advances in Autonomous Robotics Systems, TAROS 2014. 8717 LNAI:185-196

"HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications" (2014) Giménez, M.;Moscato, M.M.;Pombo, C.G.L. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:65-70