"Finite-State Independence" (2018) Becher, V.; Carton, O.; Heiber, P.A. Theory of Computing Systems. 62(7):1555-1572

"A Tool for Introducing Computer Science with Automatic Formative Assessment" (2018) Benotti, L.; Martínez, M.C.; Schapachnik, F. IEEE Transactions on Learning Technologies. 11(2):179-192

"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

"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law:1-41

"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law. 24(3):203-243

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

"Normality and two-way automata" (2015) Carton, O.; Heiber, P.A. Information and Computation. 241:264-276

"A parsing approach to SAT" (2014) Castano, J.M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8864:3-14

"Contract Automata with Reparations" (2014) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Hoekstra R. 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014. 271:49-54

"Revisiting compatibility of input-output modal transition systems" (2014) Krka, I.; D'Ippolito, N.; Medvidović, N.; Uchitel, S. 19th International Symposium on Formal Methods, FM 2014. 8442 LNCS:367-381

"Synthesising implicit contracts" (2013) Pace, G.J.; Schapachnik, F. 14th International Conference on Artificial Intelligence and Law, ICAIL 2013:217-221

"Two views on crossing dependencies, language, biology and satisfiability" (2011) Castaño, J.M. Frontiers in Artificial Intelligence and Applications. 228:128-141

"Tableaux and model checking for memory logics" (2009) Areces, C.; Figueira, D.; Gorín, D.; Mera, S. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009. 5607 LNAI:47-61

"Hypervolume approximation in timed automata model checking" (2007) Braberman, V.; Obes, J.L.; Olivero, A.; Schapachnik, F. 5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007. 4763 LNCS:69-81

"Dealing with practical limitations of distributed timed model checking for timed automata" (2006) Braberman, V.; Olivero, A.; Schapachnik, F. Formal Methods in System Design. 29(2):197-214

"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

"On-the-fly workload prediction and redistribution in the distributed timed model checker zeus" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004). 128(3):3-18

"OBSSLICE: A timed automata slicer based on observers" (2004) Braberman, V.; Garbervetsky, D.; Olivero, A. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3114:470-474

"On cell resistance and immune response time lag in a model for the HIV infection" (2004) Solovey, G.; Peruani, F.; Dawson, S.P.; Dos Santos, R.M.Z. Physica A: Statistical Mechanics and its Applications. 343(1-4):543-556

"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

"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

"Extending timed automata for compositional modeling healthy timed systems" (2002) Braberman, V.; Olivero, A. QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001). 52(3):227-245

"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

"Models of complex physical systems using Cell-DEVS" (2001) Ameghino, J.; Troccoli, A.; Wainer, G. Proceedings of the IEEE Annual Simulation Symposium:266-273

"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

"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

"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