Concepedia

Ragnhild Van Der Straeten

RV

19

Publications

537

Citations

15

H-Index

2002

Active since

Affiliations

Vrije Universiteit Brussel(Current)

University of Mons

Paderborn University

Ragnhild Van Der Straeten is an author at Vrije Universiteit Brussel specializing in engineering, systems engineering, and software design.

Top concepts

EngineeringSystems EngineeringSoftware DesignFormal MethodsComputer ScienceAutomated ReasoningSoftware EngineeringDesignFormal VerificationProgram Analysis

Publications per year

2002–2014

19

Publications

19

Verification of Business Process Quality Constraints Based on Visual Process Patterns

Alexander Förster, Gregor Engels, Tim Schattkowsky et al. · 2007 · 71 citations

Engineering, Business Processes, Industrial Engineering +23

Module superimposition: a composition technique for rule-based model transformation languages

Dennis Wagelaar, Ragnhild Van Der Straeten, Dirk Deridder · Software & Systems Modeling · 2009 · 63 citations

Syntax, Engineering, Automated Reasoning +11

A formal approach to model refactoring and model refinement

Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens · Software & Systems Modeling · 2006 · 49 citations

Software Maintenance, Refinement Technique, Engineering +9

Resolving model inconsistencies using automated regression planning

Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens · Software & Systems Modeling · 2013 · 46 citations

Engineering, Automated Regression Planning, Automated Reasoning +5

Maintaining Consistency between UML Models Using Description Logic

Jocelyn Simmonds, Ragnhild Van Der Straeten, Viviane Jonckers et al. · L objet · 2004 · 39 citations

Rows per page

1–5 of 19