Travelled to:1 × Austria
1 × Canada
1 × Hungary
1 × India
1 × Italy
1 × Sweden
1 × United Kingdom
2 × Denmark
2 × Germany
5 × USA
Collaborated with:L.C.Briand M.Sabetzadeh M.Chechik R.Matinnejad T.Bruckmann S.M.Easterbrook T.Yue S.D.Alesio ∅ A.Gotlieb R.B.Abdessalem T.Stifter C.Menghi K.Gaaloul R.Behjati D.Falessi P.Zave A.Gurfinkel B.Selic A.Messina S.Uchitel S.Liaskos C.A.González M.Varmazyar Y.Isasi C.A.0002 F.Mandoux A.Panichella M.Adedjouma J.Hellebaut J.Begey Y.Clement S.Y.Shin K.Chaouch F.Zimmer S.Foster D.Wolfe
Talks about:model (17) test (13) system (8) use (5) control (4) continu (4) search (4) autom (4) simulink (3) analysi (3)
♂ Person: Shiva Nejati
DBLP: Nejati:Shiva
Facilitated 6 volumes:
DSPrCoPrCo
PrCoPrCoDSChContributed to:
20152014
20142013
2012
2012201220112011
2008
20082007
20072005
2005201620182016201720182019Wrote 26 papers:
- ESEC-FSE-2015-MatinnejadNBB #effectiveness #testing
- Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
- ASE-2014-MatinnejadNBB #configuration management #modelling #scalability #testing #using
- MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.
- ASE-2014-MatinnejadNBB14a #named #testing
- CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
- ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using
- Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.
- ASE-2013-NejatiABHBC #cpu #embedded #risk management
- Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
- ECMFA-2012-BehjatiNYGB #automation #embedded #modelling
- Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
- ICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using
- Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
- 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.
- ECMFA-2011-BehjatiYNBS #architecture #concept #modelling
- Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling (RB, TY, SN, LCB, BS), pp. 236–252.
- 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.
- 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-2005-Nejati
- Formal support for merging and negotiation (SN), pp. 456–460.
- ASE-2005-NejatiC
- Let’s agree to disagree (SN, MC), pp. 287–290.
- SEFM-2005-NejatiGC #abstraction
- Stuttering Abstraction for Model Checkin (SN, AG, MC), pp. 311–320.
- ASE-2016-AbdessalemNBS #multi #network #testing #using
- Testing advanced driver assistance systems using multi-objective search and neural networks (RBA, SN, LCB, TS), pp. 63–74.
- MoDELS-2018-GonzalezVNBI #cyber-physical #testing
- Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.
- 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.
- ESEC-FSE-2017-MatinnejadNB #automation #case study #hybrid #industrial #testing
- Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
- ASE-2018-AbdessalemPNBS #feature model #interactive #testing #using
- Testing autonomous cars for feature interaction failures using many-objective search (RBA, AP, SN, LCB, TS), pp. 143–154.
- ESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #nondeterminism #online #testing
- Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
- ESEC-FSE-2019-NejatiGMBFW #model checking #modelling #requirements #testing
- Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.