Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Number of items: 16.

Article

Ciraci, Selim and Körpeoglu, Ibrahim and Ulusoy, Özgür (2009) Reducing query overhead through route learning in unstructured peer-to-peer network. Journal of Network and Computer Applications, 32 (3). pp. 550-567. ISSN 1084-8045

Ciraci, Selim and Broek, Pim van den and Aksit, Mehmet (2007) A Taxonomy for a Constructive Approach to Software Evolution. Journal of Software, 2 (2). pp. 84-97. ISSN 1796-217X

Gurlu, Oguzhan and Zandvliet, Harold J.W. and Poelsema, Bene and Dag, Sefa and Ciraci, S. (2004) Initial stages of Pt growth on Ge(001) studied by scanning tunneling microscopy and density functional theory. Physical Review B: Condensed matter and materials physics, 70 (8). 085312. ISSN 1098-0121

Book Section

Ciraci, Selim and Broek, Pim van den and Aksit, Mehmet (2010) Verifying Runtime Reconfiguration Requirements on UML Models. In: Views on Evolvability of Embedded Systems. Springer, pp. 209-225. ISBN 9789048198481

Ciraci, Selim and Havinga, Wilke and Aksit, Mehmet and Bockisch, Christoph and Broek, Pim van den (2010) A graph-based aspect interference detection approach for UML-based aspect-oriented models. In: Transactions on Aspect-Oriented Software Development VII. Lecture Notes in Computer Science (6210). Springer Verlag, Berlin, pp. 321-374. ISBN 9783642160851

Conference or Workshop Item

Alférez, Mauricio and Amálio, Nuno and Ciraci, Selim and Fleurey, Franck and Kienzle, Jörg and Klein, Jacques and Kramer, Max and Mosser, Sebastien and Mussbacher, Gunter and Roubtsova, Ella and Zhang, Gefei (2011) Aspect-Oriented Model Development at Different Levels of Abstraction. In: 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, 6-9 June 2011, Birmingham, UK (pp. pp. 361-376).

Ciraci, Selim and Broek, Pim van den (2006) Evolvability as a Quality Attribute of Software Architectures. In: International ERCIM Workshop on Software Evolution 2006, 6-7 April 2006, Universite des Sciences et Technologies de Lille, France (pp. pp. 29-31).

Ciraci, Selim and Broek, Pim van den (2006) Modelling Software Evolution using Algebraic Graph Rewriting. In: Workshop on Architecture-Centric Evolution, ACE 2006, 3-7 July 2006, Nantes, France.

Ciraci, Selim and Broek, Pim van den and Aksit, Mehmet (2008) Framework for Computer-Aided Evolution of Object-Oriented Designs. In: 32nd Annual IEEE International Computer Software and Applications Conference 2008, July 28 - August 1, 2008, Turku, Finland (pp. pp. 757-764).

Ciraci, Selim and Broek, Pim van den and Aksit, Mehmet (2007) A Constructive Approach To Software Evolution. In: Workshop on Model-Driven Software Evolution, MoDSE 2007, 20 March 2007, Amsterdam, the Netherlands.

Ciraci, Selim and Broek, Pim van den and Aksit, Mehmet (2010) Graph-Based Verification of Static Program Constraints. In: 25th Annual ACM Symposium on Applied Computing 2010, 22-26 March, 2010, Sierre, Switzerland (pp. pp. 2265-2273).

Ciraci, Selim and Malakuti, Somayeh and Katz, Shmuel and Aksit, Mehmet (2010) Checking the Correspondence Between UML models and Implementation. In: 1st International Conference on Runtime Verification, 1-4 Nov 2010, Malta (pp. pp. 198-213).

Ciraci, Selim and Sözer, Hasan and Aksit, Mehmet (2011) Guiding Architects in Selecting Architectural Evolution Alternatives. In: 5th European Conference on Software Architecture, ECSA 2011, 13-16 Sept 2011, Essen, Germany (pp. pp. 252-260).

Ciraci, Selim and Sözer, Hasan and Aksit, Mehmet and Havinga, Wilke (2011) Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. In: Fifth IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June 2011, Jeju Island, Korea (pp. pp. 31-40).

Report

Ciraci, Selim and Havinga, Wilke and Aksit, Mehmet and Bockisch, Christoph and Broek, Pim van den (2009) A graph-based aspect interference detection approach for UML-based aspect-oriented models. [Report]

Thesis

Ciraci, Selim (2009) Graph Based Verification of Software Evolution Requirements. thesis.

This list was generated on Sun Nov 23 05:31:38 2014 CET.