Using description logic to maintain consistency between UML models R Van Der Straeten, T Mens, J Simmonds, V Jonckers «UML» 2003-The Unified Modeling Language. Modeling Languages and …, 2003 | 280 | 2003 |
Runtime monitoring of web service conversations J Simmonds, Y Gan, M Chechik, S Nejati, B O'Farrell, E Litani, ... IEEE Transactions on Services Computing 2 (3), 223-244, 2009 | 114 | 2009 |
The robot operating system: Package reuse and community dynamics P Estefo, J Simmonds, R Robbes, J Fabry Journal of Systems and Software 151, 226-242, 2019 | 87 | 2019 |
Software product line evolution: A systematic literature review M Marques, J Simmonds, PO Rossel, MC Bastarrica Information and Software Technology 105, 190-208, 2019 | 80 | 2019 |
A framework for managing consistency of evolving UML models T Mens, R Van Der Straeten, J Simmonds Software Evolution with UML and XML, 1-30, 2005 | 74 | 2005 |
Guided recovery for web service applications J Simmonds, S Ben-David, M Chechik Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 48 | 2010 |
Maintaining Consistency between UML Models Using Description Logic. J Simmonds, R Van Der Straeten, V Jonckers, T Mens Obj. Logiciel Base données Réseaux 10 (2-3), 231-244, 2004 | 48 | 2004 |
Detecting Inconsistencies between UML Models Using Description Logic. R Van Der Straeten, J Simmonds, T Mens Description Logics 81, 1-15, 2003 | 44 | 2003 |
A tool for automatic UML model consistency checking J Simmonds, MC Bastarrica Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 43 | 2005 |
Maintaining consistency between UML models with description logic tools T Mens, R Van Der Straeten, J Simmonds ECOOP workshop on object-oriented reengineering 3031, 115, 2003 | 41 | 2003 |
Exploiting resolution proofs to speed up LTL vacuity detection for BMC J Simmonds, J Davies, A Gurfinkel, M Chechik International journal on software tools for technology transfer 12, 319-335, 2010 | 40 | 2010 |
MDE software process lines in small companies JA Hurtado, MC Bastarrica, SF Ochoa, J Simmonds Journal of Systems and Software 86 (5), 1153-1171, 2013 | 36 | 2013 |
Consistency maintenance of UML models with description logics J Simmonds Unpublished master’s thesis, Department of Computer Science, Vrije …, 2003 | 36 | 2003 |
Affirmative action for attracting women to STEM in Chile MC Bastarrica, N Hitschfeld, MM Samary, J Simmonds Proceedings of the 1st International Workshop on Gender Equality in Software …, 2018 | 34 | 2018 |
A comparison of software refactoring tools J Simmonds, T Mens Programming Technology Lab, 2002 | 34 | 2002 |
Property patterns for runtime monitoring of web service conversations J Simmonds, M Chechik, S Nejati, E Litani, B O’Farrell International Workshop on Runtime Verification, 137-157, 2008 | 33 | 2008 |
A megamodel for software process line modeling and evolution J Simmonds, D Perovich, MC Bastarrica, L Silvestre 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 32 | 2015 |
A teacher workshop for introducing computational thinking in rural and vulnerable environments J Simmonds, FJ Gutierrez, C Casanova, C Sotomayor, N Hitschfeld Proceedings of the 50th ACM technical symposium on computer science …, 2019 | 30 | 2019 |
Assessing software development skills among K-6 learners in a project-based workshop with scratch FJ Gutierrez, J Simmonds, N Hitschfeld, C Casanova, C Sotomayor, ... Proceedings of the 40th International Conference on Software Engineering …, 2018 | 30 | 2018 |
Description logics for consistency checking of architectural features in UML 2.0 models J Simmonds, MC Bastarrica Departamento de Ciencias de la Computacion, Facultad de Ciencias Fısicas y …, 2005 | 29 | 2005 |