Publications

Export 16 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Víctor A. Braberman  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
E. Pavese, V. A. Braberman, and S. Uchitel, “Automated reliability estimation over partial systematic explorations”, in Proceedings of the 2013 International Conference on Software Engineering, Piscataway, NJ, USA, 2013, p. 602-611 .PDF icon Automated Reliability Estimation over Partial-icse2013.pdf (644.77 KB)
C
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014.PDF icon paper.pdf (696.41 KB)
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, 2014.
V. A. Braberman, N. D'Ippolito, N. Piterman, D. Sykes, and S. Uchitel, “Controller synthesis: from modelling to enactment”, in ICSE, 2013.
D
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.PDF icon Distribution_of_Modal_Transition_Systems.pdf (204.25 KB)
S
F. Asteasuain and V. A. Braberman, “Specification Patterns: Formal and Easy”, International Journal of Software Engineering and Knowledge Engineering, vol. 25, p. 669–700, 2015.
V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, “Summary-based inference of quantitative bounds of live heap objects”, Sci. Comput. Program., vol. 92, p. 56–84, 2014.
V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, “Summary-based inference of quantitative bounds of live heap objects”, Science of Computer Programming, vol. 92, p. 56–84, 2014.PDF icon 1-s2.0-S0167642313003298-main.pdf (515.25 KB)
G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Synthesizing Modal Transition Systems from Triggered Scenarios”, IEEE Transactions on Software Engineering, vol. 39, p. 975-1001, 2013.PDF icon Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf (658.89 KB)