Arda Goknil, Post-Doc

AOSTE Research Team


Adress: INRIA Sophia Antipolis - Méditerranée, Projet AOSTE , 2004 route des Lucioles, BP 93 06902 Sophia Antipolis Cedex, France

Office: L016

E-Mail: arda.goknil [|_at_|]

Home Page:


·         PhD (2006-2011): Software Engineering Group; University of Twente; the Netherlands

·         MSc (2003-2006): Computer Engineering; Ege University; Turkey

·         BSc (1999-2003): Computer Engineering; Ege University; Turkey

Research Interests

My current research is about Requirements Engineering and Architectural Design activities with a special emphasis on timing requirements.


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