A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. - Silvie Spreeuwenberg; Rik Gerrits (EUROVAV, 1999)

VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. - Rik Gerrits; Silvie Spreeuwenberg (ECAI, 2000)

Validation and verification of knowledge-based systems: report on EUROVAV99. - Frans Coenen; Trevor J. M. Bench-Capon; Robin Boswell; Juliette Dibie-Barthélemy; Barry Eaglestone; Rik Gerrits; Éric Grégoire; Antoni Ligeza; Luis M. Laita; Mieczyslaw L. Owoc; Florence Sellini; Silvie Spreeuwenberg; et al. (Knowl. Eng. Rev., 2000)

Requirements for Successful Verification in Practice. - Silvie Spreeuwenberg; Rik Gerrits (FLAIRS, 2002)

A Step out of the Ivory Tower: Experiences with Adapting a Test Case Generation Idea to Business Rules. - Rainer Knauf; Silvie Spreeuwenberg; Rik Gerrits; Martin Jendreck (FLAIRS, 2004)

OMG Production Rule Representation - Context and Current Status. - Said Tabet; Gerd Wagner 001; Silvie Spreeuwenberg; Paul D. Vincent; Gonzaques Jacques; Christian de Sainte Marie; Jon Pellant; Jim Frank; Jacques Durand (Rule Languages for Interoperability, 2005)

Business Rules in the Semantic Web, Are There Any or Are They Different? - Silvie Spreeuwenberg; Rik Gerrits (Reasoning Web, 2006)

SBVR's Approach to Controlled Natural Language. - Silvie Spreeuwenberg; Keri Anderson Healy (CNL, 2009)

Using CNL Techniques and Pattern Sentences to Involve Domain Experts in Modeling. - Silvie Spreeuwenberg; Jeroen van Grondelle; Ronald Heller; Gartjan Grijzen (CNL, 2010)

Development of the Rule Based Approach to Traffic Management by the Dutch Road Authorities. - Silvie Spreeuwenberg; Rolf Krikke (RuleML+RR (Supplement), 2017)

Choose for AI and for Explainability. - Silvie Spreeuwenberg (OTM Workshops, 2019)