Arda Goknil,
Post-Doc
Adress:
Office: L016
E-Mail: arda.goknil
[|_at_|] inria.fr
Home
Page: http://www-sop.inria.fr/members/Arda.Goknil/
Biography
·
PhD
(2006-2011): Software Engineering Group;
·
MSc (2003-2006):
Computer Engineering;
·
BSc (1999-2003):
Computer Engineering;
Research
Interests
My current research is about Requirements Engineering and
Architectural
Design activities with a special emphasis on timing requirements.
Tools
Tool for
Requirements Inferencing and Consistency Checking (TRIC)
Recent
Publications
This is a list of recent
publications. For
the full list of publications please check here.
A Metamodeling Approach for Reasoning on Multiple Requirements Models. (Arda Goknil, Ivan Kurtev, Jean-Vivien
Millo), EDOC 2013
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. (Arda Goknil, Jagadish Suryadevara, Marie-Agnès
Peraldi-Frati, Frederic Mallet), ECSA 2013
Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare. (Arda Goknil, Julien DeAntoni,
Marie-Agnès Peraldi-Frati, Frederic Mallet), ICECCS 2013
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. (Marie-Agnès
Peraldi-Frati, Arda Goknil,
Julien DeAntoni, Johan Nordlander), ICECCS 2012
Modeling a BSG-E Automotive System with the Timing Augmented Description Language. (Marie-Agnès
Peraldi-Frati, Arda Goknil,
Morayo Adedjouma, Pierre Yves Gueguen), ISOLA 2012
A DSL for Specifying Timing Requirements. (Arda
Goknil, Marie-Agnès Peraldi-Frati), MODRE 2012
Traceability of Requirements and Software Architecture for Change Management. (Arda
Goknil), PhD Thesis, University of Twente, the Netherlands, 2011
Semantics of Trace Relations in
Requirements Models
for Consistency Checking and Inferencing. (Arda
Goknil, Ivan
Kurtev, Klaas van den
Berg, Jan-Willem Veldhuis), Software and Systems Modeling Journal (SoSyM), 2011
Tool Support for Generation and Validation of Traces between Requirements and Architecture. (Arda
Goknil, Ivan Kurtev,
Klaas van den Berg), ECMFA-TW 2010
Change Impact Analysis for SysML
Requirements Models based on
Semantics of Trace Relations. (David
ten Hove, Arda
Goknil, Ivan Kurtev,
Klaas
van den Berg, Koos
de Goede), ECMDA-TW 2009
A Metamodeling
Approach for Reasoning about Requirements. (Arda Goknil, Ivan Kurtev, Klaas van den Berg),
ECMDA 2008