verification Archive
Lightweight model-driven engineering
Revisiting all aspects of model-driven engineering (application, teaching, verification , tooling, research,...) promoting a lightweight
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
3/3/2015
0
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