"On observing contracts: Deontic contracts meet smart contracts" (2018) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Palmirani M. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018. 313:21-30

"Energy-aware scheduling mandatory/optional tasks in multicore real-time systems" (2017) Méndez-Díaz, I.; Orozco, J.; Santos, R.; Zabala, P. International Transactions in Operational Research. 24(1-2):173-198

"Real-time vascular response assessment by means of a dual pressure-diameter device: A preliminary study" (2017) Pérez López, N.;De Luca, M.A.;Sivori, G. (...)et al.; Ministerio de Ciencia, Tecnologia e Innovacion Productiva (MinCyT); SIPAIM Foundation; Universidad Nacional de Colombia; Universidad Nacional del Centro de la Provincia de Buenos Aires (UNICEN); Universidad Panamericana 12th International Symposium on Medical Information Processing and Analysis, SIPAIM 2016. 10160

"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

"The rapid atmospheric monitoring system of the Pierre Auger Observatory" (2012) Abreu, P. Journal of Instrumentation. 7(9)

"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

"Flexible image segmentation and quality assessment for real-time iris recognition" (2009) Mottalli, M.; Mejail, M.; Jacobo-Berlles, J. 2009 IEEE International Conference on Image Processing, ICIP 2009:1941-1944

"Flexible image segmentation and quality assessment for real-time iris recognition" (2009) Mottalli, M.; Mejail, M.; Jacobo-Berlles, J. 2009 IEEE International Conference on Image Processing, ICIP 2009:1941-1944

"Speeding up model checking of timed-models by combining scenario specialization and live component analysis" (2009) Braberman, V.;Garbervestky, D.;Kicillof, N. (...)Olivero, A. 7th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2009. 5813 LNCS:58-72

"Rotation invariant real-time optical edge detector" (2007) Mazzaferri, J.; Ledesma, S. Optics Communications. 272(2):367-376

"A toolsuite for the verification of real-time systems in Eclipse" (2006) Cavatorta, L.;De Caso, G.;Ferrari, A. (...)Olivero, A. 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006:35-39

"A real time method for surface cleanliness measurement" (2006) Bilmes, G.M.; Orzi, D.J.O.; Martínez, O.E.; Lencina, A. Applied Physics B: Lasers and Optics. 82(4):643-648

"Decomposition of the first-order reduced density matrix: An isopycnic localization treatment" (2006) Alcoba, D.R.; Bochicchio, R.C.; Torre, A.; Lain, L. Journal of Physical Chemistry A. 110(29):9254-9260

"Issues in distributed timed model checking" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18

"New method for real time surface cleanliness measurement" (2005) Bilmes, G.M.; Orzi, D.J.O.; Martínez, O.E.; Lencina, A. Optical Measurement Systems for Industrial Inspection IV. 5856 PART II:980-986

"Visual timed event scenarios" (2004) Alfonso, A.; Braberman, V.; Kicillof, N.; Olivero, A. Proceedings - 26th International Conference on Software Engineering, ICSE 2004. 26:168-177

"Generalized polar varieties and an efficient real elimination procedure" (2004) Bank, B.; Giusti, M.; Heintz, J.; Pardo, L.M. Kybernetika. 40(5):519-550

"Feature extraction using a multichannel correlator" (2003) Mazzaferri, J.; Ledesma, S.; Iemmi, C. 19th Congress of the International Commisssion for Optics Optics for the Quality of Life. 4829 I:460-461

"On-line multi-threaded Scheduling" (2003) Feuerstein, E.; Mydlarz, M.; Stougie, L. Journal of Scheduling. 6(2):167-181

"Observation of GRB 030131 with the INTEGRAL satellite" (2003) Götz, D.;Mereghetti, S.;Hurley, K. (...)Winkler, C. Astronomy and Astrophysics. 409(3):831-834

"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

"A formal design notation for real-time systems" (2002) Felder, M.; Pezzè, M. ACM Transactions on Software Engineering and Methodology. 11(2):149-190

"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

"Performance analysis of real-time DEVS models" (2002) Glinsky, E.; Wainer, G. Proceedings of the 2002 Winter Simulation Conference. 1:588-594

"Observing timed systems by means of message sequence chart graphs" (2002) Blaustein, S.; Oliveto, F.; Braberman, V. 24th International Conference on Software Engineering (ICSE 2002):707

"Duration properties over real time system designs" (2000) Braberman, V.; Pieniazek, F.; IEEE Computer Society Technical Committee on Software Engineering 10th International Workshop on Software Specification and Design, IWSSD 2000:51-61

"On checking timed automata for linear duration invariants" (1998) Braberman, Victor Adrian; Van Hung, Dang Proceedings of the 1998 19th IEEE Real-Time Systems Symposium:264-273