Publications

[TSE'16] Probabilistic interface automata.

Esteban Pavese, Victor A. Braberman, and Sebastian Uchitel. "Probabilistic interface automata". IEEE Transactions on Software Egnineering, In Press, 2016.

Undefined

[TOSEM'16] Less is more: Estimating probabilistic rewards over partial system explorations.

Esteban Pavese, Víctor A. Braberman, and Sebastian Uchitel. "Less is more: Estimating probabilistic rewards over partial system explorations". ACM Trans. Softw. Eng. Methodol, In Press, 2016.

Undefined

[STVR'2015] Behavior Abstraction Adequacy Criteria for API Call Protocol Testing

Hernan Czemerinski, Victor Braberman, Sebastian Uchitel. "Behavior Abstraction Adequacy Criteria for API Call Protocol Testing". Software Testing, Verification and Reliability, 2015

Undefined

[Onward!'15] Towards Fully Reflective Environments.

Guido Chari, Diego Garbervetsky, Stefan Marr, Stephan Ducasse. "Towards Fully Reflective Environments". Onward! 2015. Splash Conference. Pittsburgh, Pennsylvania, United States

Undefined

[CACM '15] Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning

D. Alrajeh, J. Kramer, A. Russo, S. Uchitel: "Automated Support for Diagnosis and Repair: Marrying Model Checking and Logic-based Learning". Communications of the ACM, to appear.

Undefined

[ICSE'14] Hope for the best, prepare for the worst: Multi-tier control for adaptive systems

Nicolas D’Ippolito, Victor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, and Sebastian Uchitel. Hope for the best, prepare for the worst: Multi-tier control for adaptive systems. In ICSE - International Conference on Software Engineering, 2014.

Undefined

[ICSE'14] Automated goal operationalisation based on interpolation and sat solving

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastian Uchitel. Automated goal operationalisation based on interpolation and sat solving. In ICSE - International Conference on Software Engineering, 2014.

Undefined

[FM'14] Revisiting compatibility of input-output modal transition systems

Nenad Medvidovic Ivo Krka, Nicolas D’Ippolito and Sebastian Uchitel. Revisiting compatibility of input-output modal transition systems. In FM 2014 - Formal Methods, Lecture Notes in Computer Science. Springer, 2014.

Undefined

[Science of Computer Programming] Summary-based inference of quantitative bounds of live heap objects

Science of Computer Programming: Victor Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine, "Summary-based inference of quantitative bounds of live heap objects", in press.

Undefined

[Computer Science] Supporting incremental behaviour model elaboration

Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay: Supporting incremental behaviour model elaboration. Computer Science - R&D 28(4): 279-293 (2013)

http://link.springer.com/article/10.1007%2Fs00450-012-0233-1

Undefined

Pages