Jocelyn Simmonds

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

7EEJocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell: Property Patterns for Runtime Monitoring of Web Service Conversations. RV 2008: 137-157
6EEJocelyn Simmonds, M. Cecilia Bastarrica, Nancy Hitschfeld-Kahler, Sebastián Rivas: A Tool Based on DL for UML Model Consistency Checking. International Journal of Software Engineering and Knowledge Engineering 18(6): 713-735 (2008)
5EEJocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
4EEJocelyn Simmonds, M. Cecilia Bastarrica: A tool for automatic UML model consistency checking. ASE 2005: 431-432
3EEJocelyn Simmonds, Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens: Maintaining Consistency between UML Models Using Description Logic. L'OBJET 10(2-3): 231-244 (2004)
2EERagnhild Van Der Straeten, Jocelyn Simmonds, Tom Mens: Detecting Inconsistencies between UML Models Using Description Logic. Description Logics 2003
1EERagnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers: Using Description Logic to Maintain Consistency between UML Models. UML 2003: 326-340

Coauthor Index

1M. Cecilia Bastarrica [4] [6]
2Marsha Chechik [5] [7]
3Jessica Davies [5]
4Arie Gurfinkel [5]
5Nancy Hitschfeld-Kahler (Nancy Hitschfeld) [6]
6Viviane Jonckers [1] [3]
7Elena Litani [7]
8Tom Mens [1] [2] [3]
9Shiva Nejati [7]
10Bill O'Farrell [7]
11Sebastián Rivas [6]
12Ragnhild Van Der Straeten [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)