verification Archive

Ligthweight model-driven engineering

Revisiting all aspects of model-driven engineering (application, teaching, verification , tooling, research,...) promoting a lightweight perspective to maximize MDE success and adoption

Practical and Scalable model-driven verification: Lessons Learnt

Is it possible to apply model-based verification techniques on large systems? Before saying no way!, check this keynote talk by Lionel Briand

anATLyzer – Static analysis of ATL transformations to uncover errors

Combination of static analysis and constraint solving to improve the quality of model transformations. Implemented as an extension of the standard ATL IDE.

State of the art on static model verification tools

During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos

UMLtoCSP – Check the quality of your UML class diagrams with Constraint Programming

UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a

Checking Model Transformation Refinement

Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research

Lightweight mechanism to reason on String values

Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted

A model-driven approach for the extraction of network access-control policies

(work presented at MDsec’12 co-authored with Salvador Martínez, Joaquin García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia and myself).  Network security

Lightweight String Reasoning for OCL

Most domain models include a number of constraints which frequently deal with text data (e.g. checking