Publications

Filters: Author is Víctor A. Braberman [Clear All Filters]

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.

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.

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 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 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.

hope for the best.pdf (519.23 KB)

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.

1-s2.0-S0167642313003298-main.pdf (515.25 KB)

2013

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 .

Automated Reliability Estimation over Partial-icse2013.pdf (644.77 KB)

H. Czemerinski, V. A. Braberman, and S. Uchitel, “Behaviour Abstraction Coverage as Black-Box Adequacy Criteria”, in ICST, Luxembourg, 2013.

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria-icst.pdf (221.23 KB)

V. A. Braberman, N. D'Ippolito, N. Piterman, D. Sykes, and S. Uchitel, “Controller synthesis: from modelling to enactment”, in ICSE, 2013.

“Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings”, FORMATS, vol. 8053. 2013.

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.

Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf (658.89 KB)

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.

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.

the_modal_transition_systems_control_problem.pdf (247.44 KB)