"On the semantics and implementation of replicated data types" (2018) Gadducci, F.; Melgratti, H.; Roldán, C. Science of Computer Programming. 167:91-113

"Modeling emergence by integrating DEVS and machine learning" (2018) Foguelman, D.; Castro, R.; Limere V.; Claeys D. 32nd Annual European Simulation and Modelling Conference, ESM 2018:44-48

"A denotational view of replicated data types" (2017) Gadducci, F.;Melgratti, H.;Roldán, C. (...)Massink M. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. 10319 LNCS:138-156

"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20

"Probabilistic Interface Automata" (2016) Pavese, E.; Braberman, V.; Uchitel, S. IEEE Transactions on Software Engineering. 42(9):843-865

"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

"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700

"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865

"Understanding space weather to shield society: A global road map for 2015-2025 commissioned by COSPAR and ILWS" (2015) Schrijver, C.J.;Kauristie, K.;Aylward, A.D. (...)Vilmer, N. Advances in Space Research. 55(12):2745-2807

"Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler" (2015) Wainer, G.A.; D'Abreu, M.C. Advances in Engineering Software. 79:111-126

"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

"Finite Cycle Gibbs Measures on Permutations of Zd" (2015) Armendáriz, I.; Ferrari, P.A.; Groisman, P.; Leonardi, F. Journal of Statistical Physics. 158(6):1213-1233

"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. ACM SIGPLAN Notices. 49(10):655-674

"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

"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

"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674

"On verifying resource contracts using code contracts" (2014) Castaño, R.;Garbervetsky, D.;Tapicer, J. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:1-15

"Elaborating requirements using model checking and inductive learning" (2013) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. IEEE Transactions on Software Engineering. 39(3):361-383

"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 modal transition systems from triggered scenarios" (2013) Sibay, G.E.; Braberman, V.; Uchitel, S.; Kramer, J. IEEE Transactions on Software Engineering. 39(7):975-1001

"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

"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

"An Inductive approach for modal transition system refinement" (2011) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 27th International Conference on Logic Programming, ICLP 2011. 11:106-116

"Complete calculi for structured specifications in fork algebra" (2010) Lopez Pombo, C.G.; Frias, M.F. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:290-305

"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

"Towards managing dynamic reconfiguration of software systems in a categorical setting" (2010) Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:306-321

"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

"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

"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

"Alloy Analyzer+PVS in the analysis and verification of Alloy specifications" (2007) Frias, M.F.; Lopez Pombo, C.G.; Moscato, M.M. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007). 4424 LNCS:587-601

"Alloy Analyzer+PVS in the analysis and verification of Alloy specifications" (2007) Frias, M.F.; Lopez Pombo, C.G.; Moscato, M.M. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2007). 4424 LNCS:587-601

"Implementing parallel Cell-DEVS" (2003) Troccoli, A.; Wainer, G.; Society for Modeling and Simulation International 36th Annual Simulation Symposium, ANSS 2003. 2003-January:273-280

"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

"Reconfiguration of software architecture styles with name mobility" (2000) Hirsch, D.;Inverardi, P.;Montanari, U. (...)Roman G.-C. 4th International Conference on Coordination Languages and Models, COORDINATION 2000. 1906:148-163

"Modal logic as a design notation" (1998) Areces, C.;Felder, M.;Hirsch, D. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 9th International Workshop on Software Specification and Design, IWSSD 1998:150-152