| A foundation for behavioural conformance in software product line architectures D Fischbein, S Uchitel, V Braberman Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006 | 179 | 2006 |
| Model‐based quality assurance of protocol documentation: tools and methodology W Grieskamp, N Kicillof, K Stobie, V Braberman Software Testing, Verification and Reliability 21 (1), 55-71, 2011 | 167 | 2011 |
| Synthesizing nonanomalous event-based controllers for liveness goals N D'ippolito, V Braberman, N Piterman, S Uchitel ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-36, 2013 | 95 | 2013 |
| Hope for the best, prepare for the worst: multi-tier control for adaptive systems N D'Ippolito, V Braberman, J Kramer, J Magee, D Sykes, S Uchitel Proceedings of the 36th International Conference on Software Engineering …, 2014 | 92 | 2014 |
| Morph: A reference architecture for configuration and behaviour self-adaptation V Braberman, N D'Ippolito, J Kramer, D Sykes, S Uchitel Proceedings of the 1st International Workshop on Control Theory for Software …, 2015 | 89 | 2015 |
| Synthesis of live behaviour models NR D'Ippolito, V Braberman, N Piterman, S Uchitel Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 85 | 2010 |
| Parametric prediction of heap memory requirements V Braberman, F Fernández, D Garbervetsky, S Yovine Proceedings of the 7th international symposium on Memory management, 141-150, 2008 | 83 | 2008 |
| Visual timed event scenarios A Alfonso, V Braberman, N Kicillof, A Olivero Proceedings. 26th International Conference on Software Engineering, 168-177, 2004 | 80 | 2004 |
| Existential live sequence charts revisited G Sibay, S Uchitel, V Braberman Proceedings of the 30th international conference on Software engineering, 41-50, 2008 | 65 | 2008 |
| Synthesis of live behaviour models for fallible domains N D'Ippolito, V Braberman, N Piterman, S Uchitel Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 57 | 2011 |
| A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption V Braberman Journal of Object Technology 5 (5), 2006 | 57 | 2006 |
| A scenario-matching approach to the description and model checking of real-time properties V Braberman, N Kicillof, A Olivero IEEE Transactions on software Engineering 31 (12), 1028-1041, 2005 | 53 | 2005 |
| Automated abstractions for contract validation G De Caso, V Braberman, D Garbervetsky, S Uchitel IEEE Transactions on Software Engineering 38 (1), 141-162, 2010 | 52 | 2010 |
| Testing timing behavior of real-time software V Braberman, M Felder, M Marré International software quality week 6, 1997 | 51 | 1997 |
| Verification of real-time designs: Combining scheduling theory with automatic formal verification VA Braberman, M Felder ACM SIGSOFT Software Engineering Notes 24 (6), 494-510, 1999 | 50 | 1999 |
| Achieving both model and code coverage with automated gray-box testing N Kicillof, W Grieskamp, N Tillmann, V Braberman Proceedings of the 3rd International Workshop on Advances in Model-based …, 2007 | 48 | 2007 |
| Controller synthesis: From modelling to enactment V Braberman, N D'Ippolito, N Piterman, D Sykes, S Ucriitel 2013 35th international conference on software engineering (ICSE), 1347-1350, 2013 | 40 | 2013 |
| Modeling and Checking Real-Time System Designs VA Braberman Electronic Journal of SADIO 3, 2000 | 32 | 2000 |
| Declaratively building behavior by means of scenario clauses F Asteasuain, V Braberman Requirements Engineering 22 (2), 239-274, 2017 | 31 | 2017 |
| Assured and correct dynamic update of controllers L Nahabedian, V Braberman, N D'Ippolito, S Honiden, J Kramer, K Tei, ... Proceedings of the 11th International Symposium on Software Engineering for …, 2016 | 31 | 2016 |
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
