"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

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

"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

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

"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

"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)

"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

"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

"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

"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