Twitter bullying detection H Sanchez, S Kumar ser. NSDI 12 (2011), 15, 2011 | 121 | 2011 |
JayHorn: A Framework for Verifying Java programs T Kahsai, P Rümmer, H Sanchez, M Schäf Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 108 | 2016 |
Detecting similar programs via the Weisfeiler-Leman graph kernel W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer Software Reuse: Bridging with Social-Awareness: 15th International …, 2016 | 37 | 2016 |
Software patterns, knowledge maps, and domain analysis M Fayad, HA Sanchez, SGK Hegde, A Basia, A Vakil CRC Press, 2015 | 36 | 2015 |
Software verification games: Designing Xylem, The Code of Plants. H Logas, J Whitehead, M Mateas, R Vallejos, L Scott, DG Shapiro, ... FDG, 2014 | 34 | 2014 |
A pattern for an effective class responsibility collaborator (CRC) cards ME Fayad, H Hamza, H Sánchez Proceedings fifth ieee workshop on mobile computing systems and applications …, 2003 | 16 | 2003 |
Towards scalable and adaptable software architectures ME Fayad, HS Hamza, HA Sanchez IRI-2005 IEEE International Conference on Information Reuse and Integration …, 2005 | 15 | 2005 |
Kaizen: a semi-automatic index advisor I Jimenez, H Sanchez, QT Tran, N Polyzotis Proceedings of the 2012 ACM SIGMOD International Conference on Management of …, 2012 | 12 | 2012 |
Multistaging to understand: Distilling the essence of java code examples H Sanchez, J Whitehead, M Schäf 2016 IEEE 24th International Conference on Program Comprehension (ICPC), 1-10, 2016 | 9 | 2016 |
Benchmarking Online Index-Tuning Algorithms. I Jimenez, J LeFevre, N Polyzotis, H Sanchez, K Schnaitter IEEE Data Eng. Bull. 34 (4), 28-35, 2011 | 9 | 2011 |
APattern LANGUAGE FOR CRC CARDS M Fayad, H Sánchez, H Hamza Proceedings of Pattern Language of Programs, 2004 | 8 | 2004 |
Knowledge Maps-Fundamentally Modular Approach to Software Architecture, Design, Development and Deployment. ME Fayad, HA Sánchez, SK Singh SEDE, 127-133, 2010 | 7 | 2010 |
DesCert: Design for certification N Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ... arXiv preprint arXiv:2203.15178, 2022 | 6 | 2022 |
Source code curation on StackOverflow: the vesperin system H Sanchez, J Whitehead 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 6 | 2015 |
SNIPR: Complementing code search with code retargeting capabilities HA Sanchez 2013 35th International Conference on Software Engineering (ICSE), 1423-1426, 2013 | 6 | 2013 |
The sampling analysis pattern HA Sánchez, B Lai, ME Fayad Proceedings Fifth IEEE Workshop on Mobile Computing Systems and Applications …, 2003 | 6 | 2003 |
Design lessons from Binary Fission: a crowd sourced game for precondition discovery K Compton, H Logas, JC Osborn, C Chakrabortti, K Coffman, D Fava, ... Proceedings of DiGRA/FDG 2016 Conference, 2016 | 5 | 2016 |
Towards Scalable Software Architectures ME Fayad, HS Hamza, HA Sanchez IEEE International Conference on Information Reuse and Integration, Las …, 2004 | 5 | 2004 |
Leveraging Team Dynamics to Predict Open-source Software Projects' Susceptibility to Social Engineering Attacks L Giovanini, D Oliveira, H Sanchez, D Shands arXiv preprint arXiv:2106.16067, 2021 | 4 | 2021 |
Knowledge Maps ME Fayad, H Sanchez Book, In progress, 2013 | 4 | 2013 |