Travelled to:1 × Canada
1 × Denmark
1 × Estonia
1 × France
1 × India
1 × Sweden
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
3 × Austria
4 × Italy
5 × USA
Collaborated with:M.Chechik M.Famelis A.D.Sandro J.Mylopoulos S.Zschaler J.Gorzny S.M.Easterbrook S.Kokaly J.Horkoff J.d.Lara E.Guerra J.Rubin S.Nalchigar S.Wang V.Suen R.Shahin G.Taentzer D.Strüber J.Dingel N.Ben-David V.Cassano T.Maibaum K.Czarnecki T.Viger M.Rahimi M.Amrani L.Lambers L.Lúcio G.Selim E.Syriani M.Wimmer L.Lucio G.M.K.Selim J.R.Cordy H.Vangheluwe S.Ramesh
Talks about:model (18) transform (8) uncertainti (7) product (7) line (7) manag (6) softwar (5) partial (5) toward (4) reus (3)
Person: Rick Salay
DBLP: Salay:Rick
Facilitated 2 volumes:
Ed
DSChContributed to:
2015
2015
201520152014
2014201320132013201220122012
201220122012
2009
2008
20152016201620172018
2019
20182019Wrote 27 papers:
- AMT-2015-SalayZC #question #reuse #what
- Transformation Reuse: What is the Intent? (RS, SZ, MC), pp. 7–15.
- FASE-2015-SalayC #framework #modelling
- A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
- ICSE-v2-2015-FamelisBSSC #ide #named #nondeterminism
- MU-MMINT: An IDE for Model Uncertainty (MF, NBD, ADS, RS, MC), pp. 697–700.
- MoDELS-2015-SalayKSC #megamodelling #model management
- Enriching megamodel management with collection-based operators (RS, SK, ADS, MC), pp. 236–245.
- ICSE-2014-SalayFRSC #model transformation #product line
- Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
- RE-2014-HorkoffSCS #nondeterminism
- Supporting early decision-making in the presence of uncertainty (JH, RS, MC, ADS), pp. 33–42.
- AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards #transformation language
- Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
- FASE-2013-SalayGC #co-evolution #nondeterminism
- Change Propagation due to Uncertainty Change (RS, JG, MC), pp. 21–36.
- MoDELS-2013-FamelisSSC #modelling #nondeterminism
- Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
- AMT-2012-AmraniDLLSSSW #model transformation #towards
- Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
- FASE-2012-SalayFC #independence #modelling #refinement #using
- Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.
- ICSE-2012-FamelisSC #modelling #nondeterminism #reasoning #towards
- Partial models: Towards modeling and reasoning with uncertainty (MF, RS, MC), pp. 573–583.
- ICST-2012-SalayCG #towards #verification
- Towards a Methodology for Verifying Partial Model Refinements (RS, MC, JG), pp. 938–945.
- MoDELS-2012-SalayWS #development #modelling
- Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
- RE-2012-SalayCH #modelling #nondeterminism #requirements
- Managing requirements uncertainty with partial models (RS, MC, JH), pp. 1–10.
- CAiSE-2009-SalayM #diagrams #quality #test coverage #using
- Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.
- CAiSE-2009-SalayME #megamodelling #modelling #using
- Using Macromodels to Manage Collections of Related Models (RS, JM, SME), pp. 141–155.
- ASE-2008-SalayME #megamodelling #modelling
- Managing Models through Macromodeling (RS, JM, SME), pp. 447–450.
- ICMT-2015-FamelisLSSSCCDV #case study #migration #product line
- Migrating Automotive Product Lines: A Case Study (MF, LL, GMKS, ADS, RS, MC, JRC, JD, HV, SR), pp. 82–97.
- ICMT-2016-SalayZC #reuse #using
- Correct Reuse of Transformations is Hard to Guarantee (RS, SZ, MC), pp. 107–122.
- MoDELS-2016-KokalySCMC #approach #assurance #evolution #model management #reuse
- A model management approach for assurance case reuse due to system evolution (SK, RS, VC, TM, MC), pp. 196–206.
- MoDELS-2017-FamelisRCSC #design #nondeterminism #product line #reasoning #variability
- Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty (MF, JR, KC, RS, MC), pp. 93–100.
- MoDELS-2017-TaentzerSSC #category theory #framework #product line
- Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory (GT, RS, DS, MC), pp. 101–111.
- MoDELS-2018-LaraGCS #model transformation #product line
- Model Transformation Product Lines (JdL, EG, MC, RS), pp. 67–77.
- ESEC-FSE-2019-ShahinCS #analysis #product line
- Lifting Datalog-based analyses to software product lines (RS, MC, RS), pp. 39–49.
- SLE-2018-GuerraLCS #metamodelling #product line
- Analysing meta-model product lines (EG, JdL, MC, RS), pp. 160–173.
- FASE-2019-ChechikSVKR #assurance #nondeterminism
- Software Assurance in an Uncertain World (MC, RS, TV, SK, MR), pp. 3–21.