| 2008 |
|---|
| 7 | EE | Jocelyn Simmonds,
Marsha Chechik,
Shiva Nejati,
Elena Litani,
Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations.
RV 2008: 137-157 |
| 6 | EE | Jocelyn 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) |
| 2007 |
|---|
| 5 | EE | Jocelyn Simmonds,
Jessica Davies,
Arie Gurfinkel,
Marsha Chechik:
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.
FMCAD 2007: 3-12 |
| 2005 |
|---|
| 4 | EE | Jocelyn Simmonds,
M. Cecilia Bastarrica:
A tool for automatic UML model consistency checking.
ASE 2005: 431-432 |
| 2004 |
|---|
| 3 | EE | Jocelyn 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) |
| 2003 |
|---|
| 2 | EE | Ragnhild Van Der Straeten,
Jocelyn Simmonds,
Tom Mens:
Detecting Inconsistencies between UML Models Using Description Logic.
Description Logics 2003 |
| 1 | EE | Ragnhild Van Der Straeten,
Tom Mens,
Jocelyn Simmonds,
Viviane Jonckers:
Using Description Logic to Maintain Consistency between UML Models.
UML 2003: 326-340 |
