Travelled to:1 × Canada
1 × France
1 × Germany
1 × Italy
2 × USA
Collaborated with:L.C.Briand I.Kurtev I.Hajri T.Stephany I.Galvão F.Erata B.Tekinerdogan C.Wang F.Pastore M.Z.Z.Iqbal J.Millo K.v.d.Berg J.Suryadevara M.Peraldi-Frati F.Mallet G.Kardas C.Arora M.Sabetzadeh F.Zimmer
Talks about:model (6) case (6) approach (4) reason (4) use (4) product (3) system (3) specif (3) requir (3) autom (3)
Person: Arda Goknil
DBLP: Goknil:Arda
Contributed to:
2015
2015
2015
2013
2013
20082007
201620172018Wrote 11 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.
- ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support
- UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
- ISSTA-2015-WangPGBI #automation #case study #generative #specification #testing
- Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
- MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line
- Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
- ECSA-2013-GoknilSPM #analysis #constraints #modelling
- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
- EDOC-2013-GoknilKM #approach #metamodelling #modelling #multi #reasoning #requirements
- A metamodeling approach for reasoning on multiple requirements models (AG, IK, JVM), pp. 159–166.
- ECMDA-FA-2008-GoknilKB #approach #metamodelling #reasoning #requirements
- A Metamodeling Approach for Reasoning about Requirements (AG, IK, KvdB), pp. 310–325.
- EDOC-2007-GalvaoG #bibliography #modelling #traceability
- Survey of Traceability Approaches in Model-Driven Engineering (IG, AG), pp. 313–326.
- FSE-2016-HajriGBS #case study #domain model #modelling #named #product line
- PUMConf: a tool to configure product specific use case and domain models in a product line (IH, AG, LCB, TS), pp. 1008–1012.
- ESEC-FSE-2017-ErataGTK #automation #configuration management #reasoning #semantics
- A tool for automated reasoning about traces based on configurable formal semantics (FE, AG, BT, GK), pp. 959–963.
- ESEC-FSE-2018-ErataGKT #automation #first-order #logic #named #reasoning #relational
- AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning (FE, AG, IK, BT), pp. 920–923.