"Dynamic Update of Discrete Event Controllers" (2018) Nahabedian, L.;Braberman, V.;DIppolito, N. (...)Uchitel, S. IEEE Transactions on Software Engineering

"Dynamic Update of Discrete Event Controllers" (2018) Nahabedian, L.;Braberman, V.;DIppolito, N. (...)Uchitel, S. IEEE Transactions on Software Engineering

"Dynamite: A tool for the verification of alloy models based on PVS" (2014) Moscato, M.M.; Lopez Pombo, C.G.; Frias, M.F. ACM Transactions on Software Engineering and Methodology. 23(2)

"Mathematical programming as a tool for virtual soccer coaches: A case study of a fantasy sport game" (2014) Bonomo, F.; Durán, G.; Marenco, J. International Transactions in Operational Research. 21(3):399-414

"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience. 44(3):259-260

"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience. 44(3):259-260

"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience

"Practical JFSL verification using TACO" (2014) Chicote, M.; Ciolek, D.; Galeotti, J.P. Software - Practice and Experience. 44(3):317-334

"Parallel bounded analysis in code with rich invariants by refinement of field bounds" (2013) Rosner, N.;Galeotti, J.;Bermúdez, S. (...)Frias, M.F. 22nd International Symposium on Software Testing and Analysis, ISSTA 2013:23-33

"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306

"Graphical modeling and simulation of discrete-event systems with CD++Builder" (2013) Bonaventura, M.; Castro, R.; Wainer, G.A. SIMULATION. 89(1):4-27

"Detecting repetitions and periodicities in proteins by tiling the structural space" (2013) Parra, R.G.;Espada, R.;Sánchez, I.E. (...)Ferreiro, D.U. Journal of Physical Chemistry B. 117(42):12887-12897

"Grid Matrix: A grid simulation tool to focus on the propagation of resource and monitoring information" (2012) Mocskos, E.E.; Yabo, P.; Turjanski, P.G.; Fernández Slezak, D. Simulation. 88(10):1233-1246

"VTS-based specification and verification of behavioral properties of AADL models" (2008) Monteverde, D.; Olivero, A.; Yovine, S.; Braberman, V. 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008. 503:23-37

"Improving the verification of timed systems using influence information" (2002) Braberman, V.; Garbervetsky, D.; Olivero, A. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. 2280 LNCS:21-36