Jocelyn Simmonds

Cited by

	All	Since 2016
Citations	1214	461
h-index	18	11
i10-index	30	16

100

200320042005200620072008200920102011201220132014201520162017201820192020202112 16 35 41 41 62 66 71 61 72 83 73 87 97 68 69 73 82 71

Co-authors

Cecilia BastarricaComputer Science Department, Universidad de ChileVerified email at dcc.uchile.cl
Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Tom MensFull Professor in Computing Science, Faculty of Sciences, University of MonsVerified email at umons.ac.be
Ragnhild Van Der StraetenPost-doc, Computer Science, VUBVerified email at vub.ac.be
Nancy HitschfeldAssociate Professor at the Computer Science Department, University of ChileVerified email at dcc.uchile.cl
Luis SilvestrePhD in Computer Science - Universidad de TalcaVerified email at dcc.uchile.cl
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca
Maíra Marques SamaryBoston CollegeVerified email at dcc.uchile.cl
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Francisco J. GutierrezDepartment of Computer Science, University of ChileVerified email at dcc.uchile.cl
Pedro O. RosselComputer Science Department & CIBAS, Universidad Católica de la Santísima ConcepciónVerified email at ucsc.cl
Alcides QuispeAssistant Professor, Department of Informatics, University of Santiago, ChileVerified email at usach.cl
Romain RobbesAssociate Professor, Free University of Bozen-BolzanoVerified email at unibz.it
Johan FabryRaincode Labs, previously DCC - Universidad de ChileVerified email at dcc.uchile.cl
Pablo EstefoPhD Student, DCC - Universidad de ChileVerified email at dcc.uchile.cl
Julio Ariel Hurtado AlegríaSenior Lecturer in Software Engineering at Universida del CaucaVerified email at unicauca.edu.co
Sergio f. OchoaComputer Science Department, University of ChileVerified email at dcc.uchile.cl
Rick SalayUniversity of WaterlooVerified email at gsd.uwaterloo.ca
Vanessa Peña ArayaINRIA, Université Paris-SaclayVerified email at inria.fr
Mehrdad (Mike) SabetzadehEECS / University of OttawaVerified email at uottawa.ca

Jocelyn Simmonds

Universidad de Chile

Verified email at dcc.uchile.cl - Homepage

Software Engineering Verification and Validation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Using description logic to maintain consistency between UML models R Van Der Straeten, T Mens, J Simmonds, V Jonckers International Conference on the Unified Modeling Language, 326-340, 2003	263	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	106	2009
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	66	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	46	2004
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 (5), 319-335, 2010	41	2010
A tool for automatic UML model consistency checking J Simmonds, MC Bastarrica Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005	40	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	39	2003
Detecting Inconsistencies between UML Models Using Description Logic. R Van Der Straeten, J Simmonds, T Mens Description Logics 81, 2003	39	2003
Software product line evolution: A systematic literature review M Marques, J Simmonds, PO Rossel, MC Bastarrica Information and Software Technology 105, 190-208, 2019	37	2019
Consistency maintenance of UML models with description logics J Simmonds	35	2003
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
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	32	2019
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	30	2005
A comparison of software refactoring tools J Simmonds, T Mens Programming Technology Lab, 2002	30	2002
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	29	2013
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	25	2015
Monitoring and recovery of web service applications J Simmonds, S Ben-David, M Chechik The smart internet, 250-288, 2010	25	2010
Modeling variability in software process lines J Simmonds, MC Bastarrica Departamento de Ciencias de la Computación. Universidad de Chile, 2011	18	2011
Dynamic analysis of web services J Simmonds	17	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors