Travelled to:1 × Denmark
1 × United Kingdom
Collaborated with:R.V.D.Straeten T.Mens
Talks about:model (4) inconsist (3) resolv (3) regress (2) planner (1) kodkod (1) finder (1) design (1) badger (1) assess (1)
Person: Jorge Pinna Puissant
DBLP: Puissant:Jorge_Pinna
Contributed to:
201220152011Wrote 3 papers:
- ECMFA-2012-PuissantSM #consistency #design #named #nondeterminism
- Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.
- ECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using
- Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
- ECMFA-2011-StraetenPM #consistency #nondeterminism
- Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.