Publications

Export 16 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Víctor A. Braberman  [Clear All Filters]
2012
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)
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “The Modal Transition System Control Problem”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012.PDF icon the_modal_transition_systems_control_problem.pdf (247.44 KB)
2014
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.
N. D'Ippolito, V. A. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, “Hope for the best, prepare for the worst: multi-tier control for adaptive systems”, in ICSE, 2014.PDF icon hope for the best.pdf (519.23 KB)
N. D'Ippolito, V. A. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, “Hope for the best, prepare for the worst: multi-tier control for adaptive systems”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
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)
2015
H. Czemerinski, V. A. Braberman, and S. Uchitel, “Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing”, Software Testing, Verification and Reliability, 2015.
V. A. Braberman, N. D'Ippolito, J. Kramer, D. Sykes, and S. Uchitel, “{MORPH:} {A} Reference Architecture for Configuration and Behaviour Self-Adaptation”, CoRR, vol. abs/1504.08339, 2015.
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.