| 2020 | NSDI | 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 |
| 2020 | OSDI | Aragog: Scalable Runtime Verification of Shardable Networked Systems. | Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu |
| 2018 | NSDI | 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 |
| 2017 | SIGCOMM | 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 |
| 2016 | SIGCOMM | Taking the Blame Game out of Data Centers Operations with NetPoirot. | Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred |
| 2014 | COMPSAC | A Runtime Verification Framework for Control System Simulation. | Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan |
| 2014 | DSN | An Integrated Security Framework for GOSS Power Grid Analytics Platform. | Tara D. Gibson, Selim Ciraci, Sharma Poorva, Craig Allwardt, Mark Rice, Bora A. Akyol |
| 2014 | MASCOTS | 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 |
| 2013 | ICSE | A run-time verification framework for smart grid applications implemented on simulation frameworks. | Selim Ciraci, Hasan Szer, Bedir Tekinerdogan |
| 2013 | SAC | Exploiting points-to maps for de-/serialization code generation. | Selim Ciraci, Oreste Villa |
| 2012 | COMPSAC | An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. | Selim Ciraci, Hasan Szer, Bedir Tekinerdogan |
| 2012 | MASCOTS | NetSim-Steer: A Runtime Steering Framework for Network Simulators. | Selim Ciraci, Bora A. Akyol |
| 2012 | SC | 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 |
| 2011 | ECSA | Guiding Architects in Selecting Architectural Evolution Alternatives. | Selim Ciraci, Hasan Szer, Mehmet Aksit |
| 2010 | SAC | Graph-based verification of static program constraints. | Selim Ciraci, Pim van den Broek, Mehmet Aksit |
| 2010 | RV | Checking the Correspondence between UML Models and Implementation. | Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit |
| 2008 | COMPSAC | Framework for Computer-Aided Evolution of Object-Oriented Designs. | Selim Ciraci, Pim van den Broek, Mehmet Aksit |