Navegar

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián
45
2013
6
"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
"Summary-based inference of quantitative bounds of live heap objects" (2013) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming
"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface" (2013) Braberman, V.; Fribourg, L. 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013. 8053 LNCS:V-VI
"Enabledness-based program abstractions for behavior validation" (2013) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(3)
"Behaviour abstraction coverage as black-box adequacy criteria" (2013) Czemerinski, H.; Braberman, V.; Uchitel, S. IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013:222-231