"Fully Reflective Execution Environments" (2018) Chari, G.; Garbervetsky, D.; Marr, S.; Ducasse, S. IEEE Transactions on Software Engineering

"Note: Tormenta: An open source Python-powered control software for camera based optical microscopy" (2016) Barabas, F.M.; Masullo, L.A.; Stefani, F.D. Review of Scientific Instruments. 87(12)

"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83

"Emission spectroscopy of an atmospheric pressure plasma jet operated with air at low frequency" (2015) Giuliani, L.;Gallego, J.L.;Minotti, F. (...)Ad Astra Rocket Company; Instituto Tecnologico de Costa Rica; International Atomic Energy Agency (IAEA); Universidad Nacional de Costa Rica 15th Latin American Workshop on Plasma Physics, LAWPP 2014 and 21st IAEA TM on Research Using Small Fusion Devices, RUSFD 2014. 591(1)

"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63

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

"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

"A categorical approach to structuring and promoting Z specifications" (2013) Castro, P.F.; Aguirre, N.; López Pombo, C.G.; Maibaum, T. 9th International Symposium on Formal Aspects of Component Software, FACS 2012. 7684 LNCS:73-91

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

"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)

"Region-based memory management: An evaluation of its support in RTSJ" (2012) Higuera-Toledano, M.T.; Yovine, S.; Garbervetsky, D. Distributed, Embedded and Real-time Java Systems. 9781441981585:101-127

"On the classification of quandles of low order" (2012) Vendramin, L. Journal of Knot Theory and its Ramifications. 21(9)

"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

"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

"Multilayer simulations for accurate geological interpretations of SHARAD radargrams" (2011) Spagnuolo, M.G.;Grings, F.;Perna, P. (...)Ramos, V.A. Planetary and Space Science. 59(11-12):1222-1230

"A flexible tool suite for change-aware test-driven development of web applications" (2010) Robles Luna, E.; Burella, J.; Grigera, J.; Rossi, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:297-298

"Advanced IDE for modeling and simulation of discrete event systems" (2010) Bonaventura, M.; Wainer, G.A.; Castro, R. 2010 Spring Simulation Multiconference, SpringSim'10

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:505-506

"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:335-336

"On transforming Java-like programs into memory-predictable code" (2009) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009:140-149

"Clausula: A didactic tool to teach first order logic" (2009) Mauco, M.V.; Ferrante, E. 26th Information Systems Education Conference, ISECON 2009. 26

"Learning operational requirements from goal models" (2009) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:265-275

"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22

"Describing and analyzing behaviours over tabular specifications using (Dyn)alloy" (2009) Aguirre, N.M.;Frias, M.F.;Moscato, M.M. (...)Wassyng, A. 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009. 5503:155-170

"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462

"On correct and complete strong merging of partial behaviour models" (2008) Fischbein, D.; Uchitel, S. 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2008/FSE-16:297-307

"Existential live sequence charts revisited" (2008) Sibay, G.; Uchitel, S.; Braberman, V. 30th International Conference on Software Engineering 2008, ICSE'08:41-50

"Towards abstraction for DynAlloy specifications" (2008) Aguirre, N.M.;Frias, M.F.;Ponzio, P. (...)Regis, G. 10th International Conference on Formal Engineering Methods, ICFEM 2008. 5256 LNCS:207-225

"Achieving both model and code coverage with automated gray-box testing" (2007) Kicillof, N.; Grieskamp, W.; Tillmann, N.; Braberman, V. Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007:1-11

"The impact of particle-bound cadmium on bioavailability and bioaccumulation: A pragmatic approach" (2006) Piol, M.N.;López, A.G.;Miño, L.A. (...)Verrengia Guerrero, N.R. Environmental Science and Technology. 40(20):6341-6347

"The impact of particle-bound cadmium on bioavailability and bioaccumulation: A pragmatic approach" (2006) Piol, M.N.;López, A.G.;Miño, L.A. (...)Verrengia Guerrero, N.R. Environmental Science and Technology. 40(20):6341-6347

"Interpretability of first-order linear temporal logics in fork algebras" (2006) Frias, M.F.; Pombo, C.G.L. Journal of Logic and Algebraic Programming. 66(2):161-184

"A SAR time series analysis toolbox for extracting fire affected areas in wetlands" (2003) Karszenbaum, H.;Tiffenberg, J.;Grings, F. (...)Pratolongo, P. 2003 IGARSS: Learning From Earth's Shapes and Colours. 6:4107-4109

"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522

"Functional programming concepts and straight-line programs in computer algebra" (2002) Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Mathematics and Computers in Simulation. 60(6):423-473

"Pressure dependence of ionic polarizabilities in crystals" (2001) Carolina Monard, M.; Bruno, J.A.O.; Faour, J.; Batana, A. Computers and Chemistry. 25(5):429-438

"Optimization and Empirical Modeling of HG-ICP-AES Analytical Technique through Artificial Neural Networks" (2001) Magallanes, J.F.; Smichowski, P.; Marrero, J. Journal of Chemical Information and Computer Sciences. 41(3):824-829

"Shell: A code for lattice dynamics and structure optimisation of ionic crystals" (1998) Taylor, M.B.;Barrera, G.D.;Allan, N.L. (...)Mackrodt, W.C. Computer Physics Communications. 109(2-3):135-143

"Simulation of metals and alloys using quasi-harmonic lattice dynamics" (1997) Barrera, G.D.; De Tendler, R.H. Computer Physics Communications. 105(2-3):159-168

"Surface electromagnetic waves at the interface with anisotropic media" (1995) Simon, J.M.; Presa, V.A. Journal of Modern Optics. 42(11):2201-2211

"Analytical-numerical procedure to determine if a set of experimental curves can be superimposed to form a master curve" (1994) Hermida, Elida B.; Povolo, F. Polymer Journal. 26(9):981-992

"NUCADA-Two adaptations of the system nucore for nuclear structure calculations" (1983) Heras, C.A.; Abecasis, S.M. Computer Physics Communications. 29(1):73-85