Characterizing Gnutella Network Properties for Peer-to-Peer Network Simulation. - Selim Ciraci; Ibrahim Korpeoglu; Özgür Ulusoy (ISCIS, 2005)

Evolvability as a Quality Attribute of Software Architectures. - Selim Ciraci; Pim van den Broek (EVOL, 2006)

A Taxonomy for a Constructive Approach to Software Evolution. - Selim Ciraci; Pim van den Broek; Mehmet Aksit (J. Softw., 2007)

Framework for Computer-Aided Evolution of Object-Oriented Designs. - Selim Ciraci; Pim van den Broek; Mehmet Aksit (COMPSAC, 2008)

Reducing query overhead through route learning in unstructured peer-to-peer network. - Selim Ciraci; Ibrahim Korpeoglu; Özgür Ulusoy (J. Netw. Comput. Appl., 2009)

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

Checking the Correspondence between UML Models and Implementation. - Selim Ciraci; Somayeh Malakuti; Shmuel Katz; Mehmet Aksit (RV, 2010)

Graph-based verification of static program constraints. - Selim Ciraci; Pim van den Broek; Mehmet Aksit (SAC, 2010)

A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. - Selim Ciraci; Wilke Havinga; Mehmet Aksit; Christoph Bockisch; Pim van den Broek (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

Aspect-Oriented Model Development at Different Levels of Abstraction. - Mauricio Alférez; Nuno Amálio; Selim Ciraci; Franck Fleurey; Jörg Kienzle; Jacques Klein; Max E. Kramer; Sébastien Mosser 001; Gunter Mussbacher; Ella E. Roubtsova; Gefei Zhang (ECMFA, 2011)

Guiding Architects in Selecting Architectural Evolution Alternatives. - Selim Ciraci; Hasan Sözer; Mehmet Aksit (ECSA, 2011)

Towards a scalable and reliable real time in-network data analysis infrastructure. - Selim Ciraci; Jian Yin 002 (LDAV, 2011)

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. - Selim Ciraci; Hasan Sözer; Mehmet Aksit; Wilke Havinga (SSIRI, 2011)

An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. - Selim Ciraci; Hasan Sözer; Bedir Tekinerdogan (COMPSAC, 2012)

NetSim-Steer: A Runtime Steering Framework for Network Simulators. - Selim Ciraci; Bora A. Akyol (MASCOTS, 2012)

A High Performance Computing Network and System Simulator for the Power Grid: NGNS^2. - Oreste Villa; Antonino Tumeo; Selim Ciraci; Jeff A. Daily; Jason C. Fuller (SC Companion, 2012)

GridOPTICS(TM) A Novel Software Framework for Integrating Power Grid Data Storage, Management and Analysis. - Ian Gorton; Jian Yin 002; Bora A. Akyol; Selim Ciraci; Terence Critchlow; Yan Liu 001; Tara D. Gibson; Sumit Purohit; Sharma Poorva; Vlachopoulou Maria (HICSS, 2013)

A run-time verification framework for smart grid applications implemented on simulation frameworks. - Selim Ciraci; Hasan Sözer; Bedir Tekinerdogan (SE4SG@ICSE, 2013)

Exploiting points-to maps for de-/serialization code generation. - Selim Ciraci; Oreste Villa (SAC, 2013)

A Runtime Verification Framework for Control System Simulation. - Selim Ciraci; Jason C. Fuller; Jeff A. Daily; Atefe Makhmalbaf; David Callahan (COMPSAC, 2014)

An Integrated Security Framework for GOSS Power Grid Analytics Platform. - Tara D. Gibson; Selim Ciraci; Sharma Poorva; Craig Allwardt; Mark Rice 002; Bora A. Akyol (DSN, 2014)

Synchronization Algorithms for Co-simulation of Power Grid and Communication Networks. - Selim Ciraci; Jeff A. Daily; Khushbu Agarwal; Jason C. Fuller; Laurentiu Marinovici; Andrew Fisher 003 (MASCOTS, 2014)

FNCS: a framework for power system and communication networks co-simulation. - Selim Ciraci; Jeff A. Daily; Jason C. Fuller; Andrew Fisher 003; Laurentiu Marinovici; Khushbu Agarwal (SpringSim (TMS-DEVS), 2014)

Software Engineering for CSE. - Jeffrey C. Carver; Neil P. Chue Hong; Selim Ciraci (Sci. Program., 2015)

Taking the Blame Game out of Data Centers Operations with NetPoirot. - Behnaz Arzani; Selim Ciraci; Boon Thau Loo; Assaf Schuster; Geoff Outhred (SIGCOMM, 2016)

Closing the Network Diagnostics Gap with Vigil. - Behnaz Arzani; Selim Ciraci; Luiz F. O. Chamon; Yibo Zhu; Hongqiang Harry Liu; Jitu Padhye; Geoff Outhred; Boon Thau Loo (SIGCOMM Posters and Demos, 2017)

The 4th International Workshop on Software Engineering for HPC in Computational Science and Engineering. - Jeffrey C. Carver; Neil P. Chue Hong; Selim Ciraci (Comput. Sci. Eng., 2017)

007: Democratically Finding the Cause of Packet Drops. - Behnaz Arzani; Selim Ciraci; Luiz F. O. Chamon; Yibo Zhu; Hongqiang Liu; Jitu Padhye; Boon Thau Loo; Geoff Outhred (NSDI, 2018)

PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud. - Behnaz Arzani; Selim Ciraci; Stefan Saroiu; Alec Wolman; Jack W. Stokes; Geoff Outhred; Lechao Diwu (NSDI, 2020)

Aragog: Scalable Runtime Verification of Shardable Networked Systems. - Nofel Yaseen; Behnaz Arzani; Ryan Beckett; Selim Ciraci; Vincent Liu 001 (OSDI, 2020)