( en | de | ru )

 

Disambiguation of "Simmonds, Jocelyn"

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting resolution proofs to speed up LTL vacuity detection for BMC.

, , , and . Int. J. Softw. Tools Technol. Transf., 12 (5): 319-335 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rebecca Simmonds

Jocelyn Heer

Jocelyn Braun

Jocelyn Benoist

Jocelyn Buisson

 

Other publications of authors with the same name

Software process line discovery., , and . ICSSP, page 127-136. ACM, (2015)Runtime Monitoring of Web Service Conversations., , , , , , and . IEEE Trans. Serv. Comput., 2 (3): 223-244 (2009)$\mu$ PrintGen: Supporting Workflow Logs Analysis Through Visual Microprint., , and . VISSOFT, page 45-49. IEEE, (2023)Lessons Learned From Introducing Preteens in Parent-Led Homeschooling to Computational Thinking., , , , , , and . SIGCSE, page 65-71. ACM, (2020)Mobile Application Monitoring., and . SCCC, page 30-32. IEEE Computer Society, (2013)A megamodel for Software Process Line modeling and evolution., , , and . MoDELS, page 406-415. IEEE Computer Society, (2015)MDE software process lines in small companies., , , and . J. Syst. Softw., 86 (5): 1153-1171 (2013)The Robot Operating System: Package reuse and community dynamics., , , and . J. Syst. Softw., (2019)Maintaining Consistency between UML Models Using Description Logic, , , and . Série L'objet - logiciel, base de données, réseaux, 10 (2-3): 231-244 (2004)The effects of team gender composition in capstone software development projects., and . SCCC, page 1-6. IEEE, (2022)