| 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 | 164 | 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 | 135 | 2011 |
| 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 | 72 | 2008 |
| Visual timed event scenarios A Alfonso, V Braberman, N Kicillof, A Olivero Proceedings. 26th International Conference on Software Engineering, 168-177, 2004 | 72 | 2004 |
| 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 | 66 | 2013 |
| Existential live sequence charts revisited G Sibay, S Uchitel, V Braberman Proceedings of the 30th international conference on Software engineering, 41-50, 2008 | 56 | 2008 |
| Synthesis of live behaviour models NR D'Ippolito, V Braberman, N Piterman, S Uchitel Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 51 | 2010 |
| A Static Analysis for Synthesizing Paramet-ric Specifications of Dynamic Memory Con-sumption V Braberman Journal of Object Technology 5 (5), 2006 | 51 | 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 | 48 | 2005 |
| Verification of real-time designs: Combining scheduling theory with automatic formal verification VA Braberman, M Felder Software Engineering—ESEC/FSE’99, 494-510, 1999 | 48 | 1999 |
| Testing timing behavior of real-time software V Braberman, M Felder, M Marré In International Software Quality Week, 1997 | 46 | 1997 |
| 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 | 44 | 2007 |
| 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 | 42 | 2014 |
| 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 | 42 | 2011 |
| 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 | 40 | 2015 |
| Automated abstractions for contract validation G de Caso, V Braberman, D Garbervetsky, S Uchitel IEEE Transactions on Software Engineering 38 (1), 141-162, 2010 | 38 | 2010 |
| Improving the verification of timed systems using influence information V Braberman, D Garbervetsky, A Olivero International Conference on Tools and Algorithms for the Construction and …, 2002 | 31 | 2002 |
| Modeling and Checking Real-Time System Designs VA Braberman Electronic Journal of SADIO (EJS) 3, 2000 | 30 | 2000 |
| A sound observational semantics for modal transition systems D Fischbein, V Braberman, S Uchitel International Colloquium on Theoretical Aspects of Computing, 215-230, 2009 | 23 | 2009 |
| Validation of contracts using enabledness preserving finite state abstractions G de Caso, V Braberman, D Garbervetsky, S Uchitel 2009 IEEE 31st International Conference on Software Engineering, 452-462, 2009 | 23 | 2009 |
Sebastian UchitelUniversidad de Buenos Aires and Imperial College LondonVerified email at dc.uba.ar
