EEMCS

Alférez, M. and Amálio, N. and Ciraci, S. and Fleurey, F. and Kienzle, J. and Klein, J. and Kramer, M. and Mosser, S. and Mussbacher, G. and Roubtsova, E. and Zhang, G. (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. 361-376. Lecture Notes in Computer Science 6698. Springer Verlag. ISBN 978-3-642-21470-7

Ciraci, S. and Sözer, H. and Akşit, M. (2011) Guiding Architects in Selecting Architectural Evolution Alternatives. In: 5th European Conference on Software Architecture, ECSA 2011, 13-16 Sept 2011, Essen, Germany. pp. 252-260. Lecture Notes in Computer Science 6903. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-23797-3

Ciraci, S. and Sözer, H. and Akşit, M. and Havinga, W.K. (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. 31-40. IEEE Computer Society. ISBN 978-1-4577-0780-3

Ciraci, S. and van den Broek, P.M. and Akşit, M. (2010) Graph-Based Verification of Static Program Constraints. In: Proceedings of the 25th Annual ACM Symposium on Applied Computing 2010, 22-26 March, 2010, Sierre, Switzerland. pp. 2265-2273. ACM. ISBN 978-1-60558-638-0

Ciraci, S. and van den Broek, P.M. and Akşit, M. (2010) Verifying Runtime Reconfiguration Requirements on UML Models. In: Views on Evolvability of Embedded Systems. Springer, pp. 209-225. ISBN 978-90-481-9848-1

Ciraci, S. and Havinga, W.K. and Akşit, M. and Bockisch, C.M. and van den Broek, P.M. (2010) A graph-based aspect interference detection approach for UML-based aspect-oriented models. Transactions on Aspect-Oriented Software Development, 6210. pp. 321-374. ISSN 0302-9743 ISBN 978-3-642-16085-1

Ciraci, S. and Malakuti Khah Olun Abadi, S. and Katz, S. and Akşit, M. (2010) Checking the Correspondence Between UML models and Implementation. In: 1st International Conference on Runtime Verification, 1-4 Nov 2010, Malta. pp. 198-213. Lecture Notes in Computer Science 6418. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16611-2

Ciraci, S. (2009) Graph Based Verification of Software Evolution Requirements. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-162 ISBN 978-90-365-2956-3

Ciraci, S. and Havinga, W.K. and Akşit, M. and Bockisch, C.M. and van den Broek, P.M. (2009) A graph-based aspect interference detection approach for UML-based aspect-oriented models. Technical Report TR-CTIT-09-39, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Ciraci, S. and Kopreoglu, I. and Ulusoy, Ö. (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 *** ISI Impact 0,660 ***

Ciraci, S. and van den Broek, P.M. and Akşit, M. (2008) Framework for Computer-Aided Evolution of Object-Oriented Designs. In: The 2nd IEEE International Workshop on Quality Oriented Reuse of Software (QUORS 2008), 01-08-2009, Turku, Finland. pp. 757-764. 32nd Annual IEEE International Computer Software and Applications Conference 2. IEEE Computer Society. ISBN 978-0-7695-3262-2

Ciraci, S. and van den Broek, P.M. and Akşit, M. (2007) A Taxonomy for a Constructive Approach to Software Evolution. Journal of Software, 2 (2). pp. 84-97. ISSN 1796-217X

Ciraci, S. and van den Broek, P.M. and Akşit, M. (2007) A Constructive Approach To Software Evolution. In: Workshop on Model-Driven Software Evolution - MoDSE2007, 20 March 2007, Amsterdam, the Netherlands. pp. 1-9. Vrije Universiteit Amsterdam. ISBN not assigned

Ciraci, S. and van den Broek, P.M. (2006) Modeling Software Evolution using Algebraic Graph Rewriting. In: Workshop on Architecture-Centric Evolution (ACE 2006), 3-7 July 2006, Nantes, France. RUG. ISBN not assigned

Ciraci, S. and van den Broek, P.M. (2006) Evolvability as a Quality Attribute of Software Architectures. In: The International ERCIM Workshop on Software Evolution 2006, 6-7 Apr 2006, LIFL et l'INRIA, Universite des Sciences et Technologies de Lille, France. pp. 29-31. UMH. ISBN not assigned