BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × New Zealand
2 × USA
2 × United Kingdom
3 × France
Collaborated with:
D.Sinnig P.Chalin P.Colombo L.Lavazza M.Törö R.Gotzhein A.Jahanbanifar U.Waqar D.Vincent S.Mustafiz G.Dupont M.Toeroe A.Gherbi A.Kanso A.Hamou-Lhadj
Talks about:
model (7) case (4) generat (3) integr (3) use (3) configur (2) approach (2) softwar (2) problem (2) analysi (2)

Person: Ferhat Khendek

DBLP DBLP: Khendek:Ferhat

Facilitated 4 volumes:

MoDELS 2014PrCo
TestCom 2005Ed
MoDELS 2016PrCo

Contributed to:

ECMFA 20152015
ECMFA 20112011
ECMFA 20102010
ICST 20102010
ASE 20092009
SAC 20092009
IFM 20072007
TestCom 20062006
ICSM 20022002
ECMFA 20182018

Wrote 10 papers:

ECMFA-2015-JahanbanifarKT #approach #integration #modelling
A Model-Based Approach for the Integration of Configuration Fragments (AJ, FK, MT), pp. 125–136.
ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
ECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.
ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface
A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
ASE-2009-GherbiKKHT #generative #validation
A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.
SAC-2009-SinnigCK #automaton #case study #lts #modelling #semantics
LTS semantics for use case models (DS, PC, FK), pp. 365–370.
IFM-2007-SinnigCK #case study #modelling #semantics
Common Semantics for Use Cases and Task Models (DS, PC, FK), pp. 579–598.
TestCom-2006-GotzheinK #communication #composition #testing
Compositional Testing of Communication Systems (RG, FK), pp. 227–244.
ICSM-2002-WaqarKV #approach #formal method #maintenance
A Formal Approach for Software Maintenance (UW, FK, DV), pp. 608–617.
ECMFA-2018-MustafizDKT #ide #modelling #named #process
MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (SM, GD, FK, MT), pp. 164–178.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.