Publications

[ICSE'16] Risk-Driven Revision of Requirements Models.

Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo and Sebastian Uchitel. "Risk-Driven Revision of Requirements Models". 38th IEEE/ACM International Conference on Software Engineering (ICSE16), 2016.

Undefined

[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

Pages