"On the Computational Complexity of Information Hiding" (2018) Paredes, A.R. Electronic Notes in Theoretical Computer Science. 339:135-146

"Model checker execution reports" (2017) Castano, R.;Braberman, V.;Garbervetsky, D. (...)College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software Engineering 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017:200-205

"Interaction Models and Automated Control under Partial Observable Environments" (2017) Ciolek, D.;Braberman, V.;Dippolito, N. (...)Uchitel, S. IEEE Transactions on Software Engineering. 43(1):19-33

"Static analysis for optimizing big data queries" (2017) Garbervetsky, D.;Pavlinovic, Z.;Barnett, M. (...)Special Interest Group on Software Engineering (ACM SIGSOFT) 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017. Part F130154:932-937

"'Tell me and i forget, teach me and i may remember, involve me and i learn': Changing the approach of teaching computer organization" (2017) Lopez-Rosenfeld, M. 1st IEEE/ACM International Workshop on Software Engineering Curricula for Millennials, SECM 2017:68-71

"CheckDroid: A Tool for Automated Detection of Bad Practices in Android Applications Using Taint Analysis" (2017) Yovine, S.; Winniczuk, G. 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2017:175-176

"An extended description of MORPH: A reference architecture for configuration and behaviour self-adaptation" (2017) Braberman, V.;D’Ippolito, N.;Kramer, J. (...)de Lemos R. International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013. 9640 LNCS:377-408

"Fully-reflective VMs for ruling software adaptation" (2017) Chari, G.; Garbervetsky, D.; Marr, S. 39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017:229-231

"Toward full elasticity in distributed static analysis: The case of callgraph analysis" (2017) Garbervetsky, D.;Zoppi, E.;Livshits, B. (...)Special Interest Group on Software Engineering (ACM SIGSOFT) 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017. Part F130154:442-453

"Logic-based learning in software engineering" (2016) Alrajeh, D.; Russo, A.; Uchitel, S.; Kramer, J. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016:892-893

"Quiz games as a model for information hiding" (2016) Bank, B.;Heintz, J.;Matera, G. (...)Rojas Paredes, A. Journal of Complexity. 34:1-29

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

"Runtime controller synthesis for self-adaptation: Be discrete!" (2016) Uchitel, S.; Braberman, V.A.; D'Ippolito, N.; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:1-3

"Risk-driven revision of requirements models" (2016) Alrajeh, D.;Van Lamsweerde, A.;Kramer, J. (...)Uchitel, S. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016. 14-22-May-2016:855-865

"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

"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

"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107

"Robust degradation and enhancement of robot mission behaviour in unpredictable environments" (2015) D'Ippolito, N.;Braberman, V.;Sykes, D. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1st International Workshop on Control Theory for Software Engineering, CTSE 2015:26-33

"Specifying event-based systems with a counting fluent temporal logic" (2015) Regis, G.;Degiovanni, R.;D'Ippolito, N. (...)Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015. 1:733-743

"MORPH: A reference architecture for configuration and behaviour self-adaptation" (2015) Braberman, V.;D'Ippolito, N.;Kramer, J. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 1st International Workshop on Control Theory for Software Engineering, CTSE 2015:9-16

"A heterogeneous characterisation of component-based system design in a categorical setting" (2014) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.; Maibaum, T.S.E. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8687:314-332

"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

"Hope for the best, prepare for the worst: Multi-tier control for adaptive systems" (2014) D'Ippolito, N.;Braberman, V.;Kramer, J. (...)ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE) 36th International Conference on Software Engineering, ICSE 2014(1):688-699

"HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications" (2014) Giménez, M.;Moscato, M.M.;Pombo, C.G.L. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:65-70

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

"Summary-based inference of quantitative bounds of live heap objects" (2014) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming. 92(PART A):56-84

"Efficient descriptor tree growing for fast action recognition" (2014) Ubalde, S.; Goussies, N.A.; Mejail, M.E. Pattern Recognition Letters. 36(1):213-220

"Software Engineering and complexity in effective Algebraic Geometry" (2013) Heintz, J.; Kuijpers, B.; Rojas Paredes, A. Journal of Complexity. 29(1):92-138

"Ranger: Parallel analysis of alloy models by range partitioning" (2013) Rosner, N.;Siddiqui, J.H.;Aguirre, N. (...)IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASA 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013:147-157

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

"Supporting incremental behaviour model elaboration" (2013) Uchitel, S.;Alrajeh, D.;Ben-David, S. (...)Sibay, G. Computer Science - Research and Development. 28(4):279-293

"Automated abstractions for contract validation" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. IEEE Transactions on Software Engineering. 38(1):141-162

"Learning from vacuously satisfiable scenario-based specifications" (2012) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393

"Learning from vacuously satisfiable scenario-based specifications" (2012) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393

"M&S-based design of embedded controllers on network processors" (2012) Castro, R.; Ramello, I.; Bonaventura, M.; Wainer, G.A. Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012, DEVS 2012, Part of the 2012 Spring Simulation Multiconference, SpringSim 2012. 44(4 BOOK):365-372

"Modeling, deploying, and controlling volatile functionalities in web applications" (2012) Urbieta, M.; Rossi, G.; Distante, D.; Ginzburg, J. International Journal of Software Engineering and Knowledge Engineering. 22(1):129-155

"Lower complexity bounds for interpolation algorithms" (2011) Gimnez, N.; Heintz, J.; Matera, G.; Solernó, P. Journal of Complexity. 27(2):151-187

"A connector algebra for P/T nets interactions" (2011) Bruni, R.; Melgratti, H.; Montanari, U. 22nd Conference on Concurrency Theory, CONCUR 2011. 6901 LNCS:312-326

"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

"Dealing with navigation and interaction requirements changes in a TDD-based Web engineering approach" (2010) Burella, J.; Rossi, G.; Robles Luna, E.; Grigera, J. 11th International Conference on Agile Processes in Software Engineering and Extreme Programming, XP 2010. 48 LNBIP:220-225

"Advanced IDE for modeling and simulation of discrete event systems" (2010) Bonaventura, M.; Wainer, G.A.; Castro, R. Symposium on Theory of Modeling and Simulation: DEVS Integrative M and S Symposium, DEVS 2010, Part of the 2010 Spring Simulation Multiconference, SpringSim 2010. 42(1 BOOK 4):247-254

"Specification patterns can be formal and still easy" (2010) Asteasuain, F.; Braberman, V. 22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010:430-436

"Using abduction and induction for operational requirements elaboration" (2009) Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Journal of Applied Logic. 7(3):275-288

"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

"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

"Deriving event-based transition systems from goal-oriented requirements models" (2008) Letier, E.; Kramer, J.; Magee, J.; Uchitel, S. Automated Software Engineering. 15(2):175-206

"MTSA: The modal transition system analyser" (2008) D'Ippolito, N.; Fischbein, D.; Chechik, M.; Uchitel, S. ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering:475-476

"Web-enabled temporal OLAP" (2006) Vaisman, A.A.; Izquierdo, A.; Ktenas, M. LA-Web 06: 4th Latin American Web Congress:220-229

"Experimental results oil the implementation of modelica using DEVS modeling and simulation" (2006) D'Abreu, M.C.; Wainer, G.A. 2nd DEVS Integrative M and S Symposium, DEVS 2006, Part of the 2006 Spring Simulation Multiconference, SpringSim 2006:114-121

"Fork algebras as a sufficiently rich universal institution" (2006) Pombo, C.G.L.; Frias, M.F. 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006. 4019 LNCS:235-247

"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450

"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

"Using Spanning Sets for Coverage Testing" (2003) Marré, M.; Bertolino, A. IEEE Transactions on Software Engineering. 29(11):974-984

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

"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

"Verification of real-time designs: Combining scheduling theory with automatic formal verification" (1999) Braberman, V.A.; Felder, M. 7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999. 1687 LNCS:494-510