| 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 | 173 | 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 | 154 | 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 | 92 | 2013 |
| 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 | 82 | 2008 |
| 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 | 81 | 2014 |
| Synthesis of live behaviour models NR D'Ippolito, V Braberman, N Piterman, S Uchitel Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 78 | 2010 |
| Visual timed event scenarios A Alfonso, V Braberman, N Kicillof, A Olivero Proceedings. 26th International Conference on Software Engineering, 168-177, 2004 | 78 | 2004 |
| 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 | 77 | 2015 |
| Existential live sequence charts revisited G Sibay, S Uchitel, V Braberman Proceedings of the 30th international conference on Software engineering, 41-50, 2008 | 63 | 2008 |
| A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption V Braberman Journal of Object Technology 5 (5), 2006 | 56 | 2006 |
| 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 | 54 | 2011 |
| 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 |
| 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 | 53 | 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 | 49 | 2007 |
| Testing timing behavior of real-time software V Braberman, M Felder, M Marré International software quality week 6, 1997 | 49 | 1997 |
| Automated abstractions for contract validation G De Caso, V Braberman, D Garbervetsky, S Uchitel IEEE Transactions on Software Engineering 38 (1), 141-162, 2010 | 48 | 2010 |
| 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 | 39 | 2013 |
| Improving the verification of timed systems using influence information V Braberman, D Garbervetsky, A Olivero TACAS 2280, 21-36, 2002 | 32 | 2002 |
| Modeling and Checking Real-Time System Designs VA Braberman Electronic Journal of SADIO (EJS) 3, 2000 | 32 | 2000 |
| Synthesizing modal transition systems from triggered scenarios GE Sibay, V Braberman, S Uchitel, J Kramer IEEE Transactions on Software Engineering 39 (7), 975-1001, 2012 | 30 | 2012 |
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
