"Devs-Over-ros (Dover): A framework for simulation-driven embedded control of robotic systems based on model continuity" (2019) Marcosig, E.P.; Giribet, J.I.; Castro, R. 2018 Winter Simulation Conference, WSC 2018. 2018-December:1250-1261

"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150

"Efficient fluorescence microscopy analysis over a volunteer grid/cloud infrastructure" (2014) Da Silva, M.;Nesmachnow, S.;Geier, M. (...)Nesmachnow S. 1st High-Performance Computing Latin America Community, HPCLATAM-CLCAR 2014 and Latin American Joint Conference, CARLA 2014. 485:113-127

"A survey on basic connectors and buffers" (2013) Bruni, R.; Melgratti, H.; Montanari, U. 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011. 7542 LNCS:49-68

"Connector algebras, Petri nets, and BIP" (2012) Bruni, R.; Melgratti, H.; Montanari, U. 8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011. 7162 LNCS:19-38

"An integrated workbench for model-based engineering of service compositions" (2010) Foster, H.; Uchitel, S.; Magee, J.; Kramer, J. IEEE Transactions on Services Computing. 3(2):131-144