verification Archive
Lightweight 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
15/6/2017
1
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
3/3/2015
0
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.
20/10/2014
1
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
14/5/2014
0
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
1/4/2014
0
Checking Model Transformation Refinement
Next month, at the Int. Conf. on Model Transformation (ICMT), AtlanMod, in cooperation with ATOS Research
23/5/2013
0
Lightweight mechanism to reason on String values
Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted
3/3/2013
0
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
29/10/2012
0
Lightweight String Reasoning for OCL
Most domain models include a number of constraints which frequently deal with text data (e.g. checking
27/6/2012
1