dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rick Salay (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick Salay, Michalis Famelis, Marsha Chechik: Language Independent Refinement Using Partial Modeling. FASE 2012: 224-239
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichalis Famelis, Rick Salay, Marsha Chechik: Partial models: Towards modeling and reasoning with uncertainty. ICSE 2012: 573-583
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick Salay, Marsha Chechik, Jan Gorzny: Towards a Methodology for Verifying Partial Model Refinements. ICST 2012: 938-945
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page