Rick Salay (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Rick Salay, Michalis Famelis, Marsha Chechik: Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239

8 Michalis Famelis, Rick Salay, Marsha Chechik: Partial models: Towards modeling and reasoning with uncertainty. ICSE 2012: 573-583

7 Rick Salay, Marsha Chechik, Jan Gorzny: Towards a Methodology for Verifying Partial Model Refinements. ICST 2012: 938-945

2 Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn: An Eclipse-based tool framework for software model management. ETX 2007: 55-59

Selection of 4 from 9 records - Rick Salay has 10 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

9		Rick Salay, Michalis Famelis, Marsha Chechik: Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239
8		Michalis Famelis, Rick Salay, Marsha Chechik: Partial models: Towards modeling and reasoning with uncertainty. ICSE 2012: 573-583
7		Rick Salay, Marsha Chechik, Jan Gorzny: Towards a Methodology for Verifying Partial Model Refinements. ICST 2012: 938-945
2		Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn: An Eclipse-based tool framework for software model management. ETX 2007: 55-59