| 2010 | |
| Download | Jocelyn Simmonds, Marsha Chechik RuMoR: Monitoring and Recovery of BPEL Applications To appear in ASE '10 (tool paper) |
| Download | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik Guided Recovery for Web Service Applications To appear in SIGSOFT Foundations of Software Engineering '10 |
| Download | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha
Chechik Exploiting Resolution Proofs to Speed up LTL Vacuity Detection for BMC To appear in the International Journal on Software Tools for Technology Transfer (STTT) |
| 2009 | |
| Download | Jocelyn Simmonds, Yuan Gan, Marsha Chechik, Shiva Nejati, Bill O'Farrell, Elena Litani,
Julie Waterhouse Runtime Monitoring of Web Service Conversations IEEE Transactions on Services Computing |
| 2008 | |
| Jocelyn Simmonds, M. Cecilia Bastarrica, Nancy Hitschfeld-Kahler and Sebastian Rivas A Tool based on DL for UML Model Consistency Checking In International Journal of Software Engineering and Knowledge Engineering, IJSEKE 2008 | |
| Jocelyn Simmonds, Marsha Chechik and Shiva Nejati Property Patterns for Runtime Monitoring of Web Service Conversations RV'08 (workshop) | |
| 2007 | |
| Download | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha Chechik Slides - Exploiting Resolution Proofs to Speed up LTL Vacuity Detection for BMC FMCAD'07 |
| Download | Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha Chechik Exploiting Resolution Proofs to Speed up LTL Vacuity Detection for BMC FMCAD'07 |
| 2006 | |
| Download | Jocelyn Simmonds, Jessica Davies and Arie Gurfinkel VaqTree: Efficient Vacuity Detection for Bounded Model Checking In Tools and Posters track of Formal Methods 2006, 4 pages, August 2006. |
| 2005 | |
| Download | Jocelyn Simmonds and Cecilia Bastarrica A tool for automatic UML model consistency checking ASE 2005: 431-432. Actual poster can be downloaded here |
| Download | Jocelyn Simmonds and Cecilia Bastarrica Description Logics for Consistency Checking of Architectural Features in UML 2.0 Models Technical report, Department of Computer Science, University of Chile. |
| Download | Jocelyn Simmonds Un framework para el manejo de consistencia en diseños UML 2.0 (in Spanish) Thesis for Engineering degree, Department of Computer Science, University of Chile. |
| 2004 | |
| Tom Mens, Ragnhild Van Der Straeten and Jocelyn Simmonds A Framework for Managing Consistency of Evolving UML Models Chapter in the book Software Evolution With UML and XML, by Hongji Yang, Idea Group Publishing. | |
| Jocelyn Simmonds, Tom Mens, and Ragnhild Van Der Straeten Maintaining consistency between UML models using description logic In LMO 2004, Langages et Modèles ài; Objets, 2004 | |
| 2003 | |
| Download | Jocelyn Simmonds Consistency Management of UML Models with Description Logics Master's thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium |
| Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers Using Description Logic to Maintain Consistency between UML Models UML 2003: 326-340 | |
| Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens Detecting Inconsistencies between UML Models Using Description Logic Description Logics 2003 | |
| Download |
Tom Mens, Ragnhild Van Der Straeten, and Jocelyn Simmonds Maintaining Consistency between UML Models with Description Logic Tools In WOOR 2003 |