- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j2 |      | Razieh Behjati, Tao Yue, Lionel C. Briand, Bran Selic: SimPL: A product-line modeling methodology for families of integrated control systems. Information & Software Technology 55(3): 607-629 (2013) |
| 2012 | ||
| c5 | | Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand: Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA 2012: 226-243 |
| c4 | | Razieh Behjati, Tao Yue, Lionel C. Briand: A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. MoDELS 2012: 497-513 |
| 2011 | ||
| c3 | | Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand, Bran Selic: Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ECMFA 2011: 236-252 |
| 2010 | ||
| j1 | | Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani: Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embedded Comput. Syst. 10(2): 19 (2010) |
| 2009 | ||
| c2 | | Razieh Behjati, Marjan Sirjani, Majid Nili Ahmadabadi: Bounded Rational Search for On-the-Fly Model Checking of LTL Properties. FSEN 2009: 292-307 |
| 2008 | ||
| c1 | | Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61 |
| 1 | Majid Nili Ahmadabadi | |
| 2 | Lionel C. Briand | |
| 3 | Arnaud Gotlieb | |
| 4 | Ehsan Khamespanah | |
| 5 | Shiva Nejati | |
| 6 | Niloofar Razavi | |
| 7 | Hamideh Sabouri | |
| 8 | Bran Selic | |
| 9 | Amin Shali | |
| 10 | Marjan Sirjani | |
| 11 | Tao Yue |
Colors in the list of coauthors
Last update Wed May 22 13:48:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page