From informal to formal modeling
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
Incremental verification of software models
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
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
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
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 González) conducted an analysis on the field of static model verification, with the intent of shedding some light on what was the current landscape on the area and, if possible, trying...Modeling: all you need to know
