Selim Ciraci

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 7

Top Venues

NSDI

MASCOTS

COMPSAC

SIGCOMM Posters and Demos

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu
Aragog: Scalable Runtime Verification of Shardable Networked Systems. OSDI (2020)
Behnaz Arzani, Selim Ciraci, Stefan Saroiu, Alec Wolman, Jack W. Stokes, Geoff Outhred, Lechao Diwu
PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud. NSDI (2020)
Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
007: Democratically Finding the Cause of Packet Drops. NSDI (2018)
Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred
007: Democratically Finding The Cause of Packet Drops. CoRR (2018)
Jeffrey C. Carver, Neil P. Chue Hong, Selim Ciraci
The 4th International Workshop on Software Engineering for HPC in Computational Science and Engineering. Comput. Sci. Eng. 19 (2) (2017)
Behnaz Arzani, Selim Ciraci, Luiz Chamon, Yibo Zhu, Hongqiang Harry Liu, Jitu Padhye, Geoff Outhred, Boon Thau Loo
Closing the Network Diagnostics Gap with Vigil. SIGCOMM Posters and Demos (2017)
Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred
Taking the Blame Game out of Data Centers Operations with NetPoirot. SIGCOMM (2016)
Jeffrey C. Carver, Neil P. Chue Hong, Selim Ciraci
Software Engineering for CSE. Sci. Program. 2015 (2015)
Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan
A Runtime Verification Framework for Control System Simulation. COMPSAC (2014)
Selim Ciraci, Jeff A. Daily, Khushbu Agarwal, Jason C. Fuller, Laurentiu Marinovici, Andrew Fisher
Synchronization Algorithms for Co-simulation of Power Grid and Communication Networks. MASCOTS (2014)
Tara D. Gibson, Selim Ciraci, Sharma Poorva, Craig Allwardt, Mark Rice, Bora A. Akyol
An Integrated Security Framework for GOSS Power Grid Analytics Platform. DSN (2014)
Selim Ciraci, Jeff A. Daily, Jason C. Fuller, Andrew Fisher, Laurentiu Marinovici, Khushbu Agarwal
FNCS: a framework for power system and communication networks co-simulation. SpringSim (TMS-DEVS) (2014)
Ian Gorton, Jian Yin, Bora A. Akyol, Selim Ciraci, Terence Critchlow, Yan Liu, Tara D. Gibson, Sumit Purohit, Sharma Poorva, Vlachopoulou Maria
GridOPTICS(TM) A Novel Software Framework for Integrating Power Grid Data Storage, Management and Analysis. HICSS (2013)
Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan
A run-time verification framework for smart grid applications implemented on simulation frameworks. SE4SG@ICSE (2013)
Selim Ciraci, Oreste Villa
Exploiting points-to maps for de-/serialization code generation. SAC (2013)
Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan
An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. COMPSAC (2012)
Oreste Villa, Antonino Tumeo, Selim Ciraci, Jeff A. Daily, Jason C. Fuller
A High Performance Computing Network and System Simulator for the Power Grid: NGNS^2. SC Companion (2012)
Selim Ciraci, Bora A. Akyol
NetSim-Steer: A Runtime Steering Framework for Network Simulators. MASCOTS (2012)
Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang
Aspect-Oriented Model Development at Different Levels of Abstraction. ECMFA (2011)
Selim Ciraci, Hasan Sözer, Mehmet Aksit, Wilke Havinga
Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. SSIRI (2011)
Selim Ciraci, Jian Yin
Towards a scalable and reliable real time in-network data analysis infrastructure. LDAV (2011)
Selim Ciraci, Hasan Sözer, Mehmet Aksit
Guiding Architects in Selecting Architectural Evolution Alternatives. ECSA (2011)
Selim Ciraci, Pim van den Broek, Mehmet Aksit
Graph-based verification of static program constraints. SAC (2010)
Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christoph Bockisch, Pim van den Broek
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit
Checking the Correspondence between UML Models and Implementation. RV (2010)
Selim Ciraci, Ibrahim Korpeoglu, Özgür Ulusoy
Reducing query overhead through route learning in unstructured peer-to-peer network. J. Netw. Comput. Appl. 32 (3) (2009)
Selim Ciraci, Pim van den Broek, Mehmet Aksit
Framework for Computer-Aided Evolution of Object-Oriented Designs. COMPSAC (2008)
Selim Ciraci, Pim van den Broek, Mehmet Aksit
A Taxonomy for a Constructive Approach to Software Evolution. J. Softw. 2 (2) (2007)
Selim Ciraci, Pim van den Broek
Evolvability as a Quality Attribute of Software Architectures. EVOL (2006)
Selim Ciraci, Ibrahim Korpeoglu, Özgür Ulusoy
Characterizing Gnutella Network Properties for Peer-to-Peer Network Simulation. ISCIS (2005)

Selim Ciraci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Selim Ciraci