Travelled to:1 × Austria
1 × Canada
1 × Denmark
1 × Germany
1 × India
1 × Italy
1 × Japan
1 × Luxembourg
1 × Russia
1 × Spain
1 × Sweden
2 × Hungary
2 × USA
3 × France
Collaborated with:L.C.Briand S.M.Easterbrook S.Nejati M.Chechik F.Zimmer G.Soltana C.Arora M.Adedjouma ∅ D.Falessi P.Zave N.Niu N.Sannier S.Nair J.L.d.l.Vara S.D.Alesio R.K.Panesar-Walawege T.Coq A.Goknil E.Fourneret R.Gnaga T.Yue A.Messina S.Uchitel S.Liaskos C.A.0002 F.Mandoux S.Y.Shin K.Chaouch
Talks about:model (11) approach (5) analysi (5) merg (5) inconsist (4) safeti (4) requir (4) autom (4) tool (4) base (4)
Person: Mehrdad Sabetzadeh
DBLP: Sabetzadeh:Mehrdad
Facilitated 2 volumes:
PubCh
PosterChContributed to:
201520152014
20142013
2013201220112010
2008
2008200720072006
2005200520032016201820162017Wrote 23 papers:
- ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements
- NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
- MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation
- A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
- MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using
- Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
- RE-2014-AdedjoumaSB #approach #automation #case study #detection
- Automated detection and resolution of legal cross references: Approach and a study of Luxembourg’s legislation (MA, MS, LCB), pp. 63–72.
- ESEC-FSE-2013-AroraSBZG #automation #consistency #flexibility #named
- RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
- ICST-2013-NairVSB #assessment #classification #overview #perspective #safety
- Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.
- MoDELS-2012-BriandFNSY #modelling
- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
- MoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing
- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
- ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing
- SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.
- ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard
- Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.
- FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards
- Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.
- ICSE-2008-SabetzadehNEC #consistency #distributed #modelling
- Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.
- ICSE-2007-NejatiSCEZ #specification
- Matching and Merging of Statecharts Specifications (SN, MS, MC, SME, PZ), pp. 54–64.
- RE-2007-SabetzadehNLEC #concept #consistency #model merging #modelling
- Consistency Checking of Conceptual Models via Model Merging (MS, SN, SL, SME, MC), pp. 221–230.
- ASE-2006-Sabetzadeh #consistency
- Management of Incomplete and Inconsistent Views (MS), pp. 339–342.
- ICSM-2005-NiuES #approach
- A Category-theoretic Approach to Syntactic Software Merging (NN, SME, MS), pp. 197–206.
- RE-2005-SabetzadehE #algebra #consistency #framework
- An Algebraic Framework for Merging Incomplete and Inconsistent Views (MS, SME), pp. 306–318.
- RE-2005-SabetzadehE05a #consistency #named
- iVuBlender: A Tool for Merging Incomplete and Inconsistent Views (MS, SME), pp. 453–454.
- ASE-2003-SabetzadehE #analysis #approach #consistency #graph #nondeterminism
- Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach (MS, SME), pp. 12–21.
- MoDELS-2016-AroraSBZ #approach #domain model #evaluation #industrial #modelling #requirements
- Extracting domain models from natural-language requirements: approach and industrial evaluation (CA, MS, LCB, FZ), pp. 250–260.
- MoDELS-2018-ShinCNSBZ #analysis #framework #named #physics #testing #uml
- HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.
- FSE-2016-NejatiS0BM #automation #design #impact analysis #modelling #requirements
- Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
- ASE-2017-SoltanaSB #generative #statistics #testing
- Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.