Selim Ciraci

According to our database, Selim Ciraci authored at least 30 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Aragog: Scalable Runtime Verification of Shardable Networked Systems.

Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

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

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2018

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

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

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

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

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

2016

Taking the Blame Game out of Data Centers Operations with NetPoirot.

Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred

Proceedings of the ACM SIGCOMM 2016 Conference, Florianopolis, Brazil, August 22-26, 2016, 2016

2015

Software Engineering for CSE.

Jeffrey C. Carver, Neil P. Chue Hong, Selim Ciraci

Sci. Program., 2015

2014

FNCS: a framework for power system and communication networks co-simulation.

Selim Ciraci, Jeff A. Daily, Jason C. Fuller, Andrew Fisher, Laurentiu Marinovici, Khushbu Agarwal

Proceedings of the 2014 Spring Simulation Multiconference, 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

Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

An Integrated Security Framework for GOSS Power Grid Analytics Platform.

Tara D. Gibson, Selim Ciraci, Sharma Poorva, Craig Allwardt, Mark Rice, Bora A. Akyol

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

A Runtime Verification Framework for Control System Simulation.

Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Exploiting points-to maps for de-/serialization code generation.

Selim Ciraci, Oreste Villa

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A run-time verification framework for smart grid applications implemented on simulation frameworks.

Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan

Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013

GridOPTICS(TM) A Novel Software Framework for Integrating Power Grid Data Storage, Management and Analysis.

Ian Gorton, Jian Yin, Bora A. Akyol, Selim Ciraci, Terence Critchlow, Yan Liu, Tara D. Gibson, Sumit Purohit, Sharma Poorva, Vlachopoulou Maria

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

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

Proceedings of the 2012 SC Companion: High Performance Computing, 2012

NetSim-Steer: A Runtime Steering Framework for Network Simulators.

Selim Ciraci, Bora A. Akyol

Proceedings of the 20th IEEE International Symposium on Modeling, 2012

An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code.

Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams.

Selim Ciraci, Hasan Sözer, Mehmet Aksit, Wilke Havinga

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Towards a scalable and reliable real time in-network data analysis infrastructure.

Selim Ciraci, Jian Yin

Proceedings of the IEEE Symposium on Large Data Analysis and Visualization, 2011

Guiding Architects in Selecting Architectural Evolution Alternatives.

Selim Ciraci, Hasan Sözer, Mehmet Aksit

Proceedings of the Software Architecture - 5th European Conference, 2011

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, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

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

Graph-based verification of static program constraints.

Selim Ciraci, Pim van den Broek, Mehmet Aksit

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Checking the Correspondence between UML Models and Implementation.

Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Graph Based Verification of Software Evolution Requirements.

Selim Ciraci

PhD thesis, 2009

Reducing query overhead through route learning in unstructured peer-to-peer network.

Selim Ciraci, Ibrahim Korpeoglu, Özgür Ulusoy

J. Netw. Comput. Appl., 2009

2008

Framework for Computer-Aided Evolution of Object-Oriented Designs.

Selim Ciraci, Pim van den Broek, Mehmet Aksit

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A Taxonomy for a Constructive Approach to Software Evolution.

Selim Ciraci, Pim van den Broek, Mehmet Aksit

J. Softw., 2007

2006

Evolvability as a Quality Attribute of Software Architectures.

Selim Ciraci, Pim van den Broek

Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

2005

Characterizing Gnutella Network Properties for Peer-to-Peer Network Simulation.

Selim Ciraci, Ibrahim Korpeoglu, Özgür Ulusoy

Proceedings of the Computer and Information Sciences, 2005