"Design of a smart lock on the galileo board" (2017) Presso, M.;Scafati, D.;Marone, J. (...)Maximiliano A. 8th Argentine Symposium and Conference on Embedded Systems, CASE 2017

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

"TacoPlug: An eclipse plug-in for TACO" (2012) Chicote, M.; Galeotti, J.P. 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012:37-42

"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218

"Contractor.NET: Inferring typestate properties to enrich code contracts" (2011) Zoppi, E.;Braberman, V.;De Caso, G. (...)Uchitel, S. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:44-47

"Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory" (2011) Multitudinario:470 Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 635(1):92-102

"Program abstractions for behaviour validation" (2011) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 33rd International Conference on Software Engineering, ICSE 2011:381-390