Jocelyn Simmonds

2007
4	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
3	EE	Jocelyn Simmonds, M. Cecilia Bastarrica: A tool for automatic UML model consistency checking. ASE 2005: 431-432
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

Coauthor Index

1	M. Cecilia Bastarrica	[3]
2	Marsha Chechik	[4]
3	Jessica Davies	[4]
4	Arie Gurfinkel	[4]
5	Viviane Jonckers	[1]
6	Tom Mens	[1] [2]
7	Ragnhild Van Der Straeten	[1] [2]

Colors in the list of coauthors