Jocelyn Simmonds

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

2007
4EEJocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
2005
3EEJocelyn Simmonds, M. Cecilia Bastarrica: A tool for automatic UML model consistency checking. ASE 2005: 431-432
2003
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 [3]
2Marsha Chechik [4]
3Jessica Davies [4]
4Arie Gurfinkel [4]
5Viviane Jonckers [1]
6Tom Mens [1] [2]
7Ragnhild Van Der Straeten [1] [2]

Colors in the list of coauthors

Copyright © Thu Sep 4 18:13:36 2008 by Michael Ley (ley@uni-trier.de)