Travelled to:1 × Australia
1 × Canada
1 × Japan
2 × USA
Collaborated with:C.Salinesi D.Diaz O.Djebbi C.Rolland J.C.Muñoz-Fernández G.Tamura C.Dumitrescu A.Dauron L.Rincón I.Raicu J.Martinez T.Ziadi T.F.Bissyandé J.Klein Y.L.Traon
Talks about:product (5) line (5) engin (4) constraint (3) system (3) featur (3) model (3) requir (2) base (2) visualis (1)
Person: Raúl Mazo
DBLP: Mazo:Ra=uacute=l
Contributed to:
2015
20142013
20102009Wrote 7 papers:
- SPLC-2015-MazoMRST #named #product line
- VariaMos: an extensible tool for engineering (dynamic) product lines (RM, JCMF, LR, CS, GT), pp. 374–379.
- SPLC-2015-Munoz-Fernandez #adaptation #approach #named #requirements #self #simulation
- REFAS: a PLE approach for simulation of self-adaptive systems requirements (JCMF, GT, IR, RM, CS), pp. 121–125.
- VISSOFT-2014-MartinezZMBKT #constraints #graph #paradigm #product line #visualisation
- Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines (JM, TZ, RM, TFB, JK, YLT), pp. 50–59.
- SPLC-2013-DumitrescuMSD #experience #modelling #product line #variability
- Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering (CD, RM, CS, AD), pp. 254–263.
- RE-2010-SalinesiMDD #constraints #integer #requirements #reuse #theorem proving #using
- Using Integer Constraint Solving in Reuse Based Requirements Engineering (CS, RM, DD, OD), pp. 243–251.
- RE-2009-SalinesiDDMR #constraints #finite #modelling #product line #programming
- Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models (CS, DD, OD, RM, CR), pp. 375–376.
- RE-2009-SalinesiRDM #classification #fault #feature model #modelling #product line #towards #verification
- Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria (CS, CR, DD, RM), pp. 385–386.