Selim Ciraci

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