Symdiff: A language-agnostic semantic diff tool for imperative programs SK Lahiri, C Hawblitzel, M Kawaguchi, H Rebêlo Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 243 | 2012 |
Towards modularly comparing programs using automated theorem provers C Hawblitzel, M Kawaguchi, SK Lahiri, H Rebêlo Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 71 | 2013 |
Conditional equivalence M Kawaguchi, SK Lahiri, H Rebelo Microsoft, MSR-TR-2010-119, Tech. Rep, 2010 | 50 | 2010 |
Implementing java modeling language contracts with aspectj H Rebêlo, S Soares, R Lima, L Ferreira, M Cornélio Proceedings of the 2008 ACM symposium on Applied computing, 228-233, 2008 | 42 | 2008 |
AspectJML: Modular specification and runtime checking for crosscutting contracts H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ... Proceedings of the 13th international conference on Modularity, 157-168, 2014 | 30 | 2014 |
Optimizing JML features compilation in ajmlc using aspect-oriented refactorings H Rebêlo, R Lima, M Cornélio, GT Leavens, A Mota, C Oliveira SBLP 9, 117-130, 2009 | 25 | 2009 |
Modularizing crosscutting contracts with AspectJML H Rebêlo, GT Leavens, M Bagherzadeh, H Rajan, R Lima, ... Proceedings of the companion publication of the 13th international …, 2014 | 15 | 2014 |
Aspectj-based idioms for flexible feature binding R Andrade, H Rebêlo, M Ribeiro, P Borba 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse …, 2013 | 14 | 2013 |
Assessing idioms for implementing features with flexible binding times R Andrade, M Ribeiro, V Gasiunas, L Satabin, H Rebêlo, P Borba 2011 15th European Conference on Software Maintenance and Reengineering, 231-240, 2011 | 14 | 2011 |
Modular contracts with procedures, annotations, pointcuts and advice H Rebêlo, R Lima, GT Leavens SBLP’11: Proceedings of the 2011 Brazilian Symposium on Programming Languages, 2011 | 13 | 2011 |
Modular aspect-oriented design rule enforcement with XPIDRs H Rebelo, GT Leavens, RMF Lima, P Borba, M Ribeiro Proceedings of the 12th workshop on Foundations of aspect-oriented languages …, 2013 | 12 | 2013 |
Mutual summaries: Unifying program comparison techniques C Hawblitzel, M Kawaguchi, SK Lahiri, H Rebêlo This page intentionally left (not quite) empty, 40, 2011 | 12 | 2011 |
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach H Rebêlo, R Coelho, R Lima, GT Leavens, M Huisman, A Mota, F Castor Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs …, 2011 | 11 | 2011 |
Client-aware checking and information hiding in interface specifications with JML/Ajmlc H Rebêlo, GT Leavens, RM Lima Proceedings of the 2013 companion publication for conference on Systems …, 2013 | 9 | 2013 |
Quantifying the effects of aspectual decompositions on design by contract modularization: a maintenance study H Rebêlo, R Lima, U Kulesza, M Ribeiro, Y Cai, R Coelho, C Sant'Anna, ... International Journal of Software Engineering and Knowledge Engineering 23 …, 2013 | 9 | 2013 |
Does aspectj provide modularity when implementing features with flexible binding times? M Ribeiro, R Cardoso, P Borba, R Bonifácio, H Rebêlo Third Latin American Workshop on Aspect-Oriented Software Development (LA …, 2009 | 9 | 2009 |
A JML compiler based on AspectJ H Rebêlo, R Lima, M Cornélio, S Soares 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 9 | 2008 |
Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study H Rebêlo, R Lima, GT Leavens, M Cornélio, A Mota, C Oliveira Science of Computer Programming 78 (8), 1137-1156, 2013 | 8 | 2013 |
Aspect-oriented programming reloaded H Rebêlo, GT Leavens Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017 | 7 | 2017 |
The contract enforcement aspect pattern HM Rebêlo, R Lima, U Kulesza, R Coelho, A Mota, M Ribeiro, JE Araújo Proceedings of the 8th Latin American Conference on Pattern Languages of …, 2010 | 7 | 2010 |