• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 32 matches

• 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: 797-815
• 
  Nofel Yaseen, Behnaz Arzani, Ryan Beckett, Selim Ciraci, Vincent Liu:
  Aragog: Scalable Runtime Verification of Shardable Networked Systems. OSDI 2020: 701-718
• 2018
• 
  Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred:
  007: Democratically Finding the Cause of Packet Drops. NSDI 2018: 419-435
• 
  Behnaz Arzani, Selim Ciraci, Luiz F. O. Chamon, Yibo Zhu, Hongqiang Liu, Jitu Padhye, Boon Thau Loo, Geoff Outhred:
  007: Democratically Finding The Cause of Packet Drops. CoRR abs/1802.07222 (2018)
• 2017
• 
  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): 91-95 (2017)
• 
  Behnaz Arzani, Selim Ciraci, Luiz F. O. 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: 40-42
• 2016
• 
  Behnaz Arzani, Selim Ciraci, Boon Thau Loo, Assaf Schuster, Geoff Outhred:
  Taking the Blame Game out of Data Centers Operations with NetPoirot. SIGCOMM 2016: 440-453
• 2015
• 
  Jeffrey C. Carver, Neil P. Chue Hong, Selim Ciraci:
  Software Engineering for CSE. Sci. Program. 2015: 591562:1-591562:2 (2015)
• 2014
• 
  Selim Ciraci, Jason C. Fuller, Jeff A. Daily, Atefe Makhmalbaf, David Callahan:
  A Runtime Verification Framework for Control System Simulation. COMPSAC 2014: 75-84
• 
  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: 786-791
• 
  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: 355-364
• 
  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: 36
• 2013
• 
  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: 2167-2176
• 
  Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan:
  A run-time verification framework for smart grid applications implemented on simulation frameworks. SE4SG@ICSE 2013: 1-8
• 
  Selim Ciraci, Oreste Villa:
  Exploiting points-to maps for de-/serialization code generation. SAC 2013: 1712-1719
• 
  Jeffrey C. Carver, Neil P. Chue Hong, Selim Ciraci:
  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. ACM 2013, ISBN 978-1-4503-2499-1 [contents]
• 2012
• 
  Selim Ciraci, Hasan Sözer, Bedir Tekinerdogan:
  An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code. COMPSAC 2012: 257-266
• 
  Selim Ciraci, Bora A. Akyol:
  NetSim-Steer: A Runtime Steering Framework for Network Simulators. MASCOTS 2012: 498-500
• 
  Oreste Villa, Antonino Tumeo, Selim Ciraci, Jeff A. Daily, Jason C. Fuller:
  A High Performance Computing Network and System Simulator for the Power Grid: NGNS2. SC Companion 2012: 313-322
• 2011
• 
  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: 361-376
• 
  Selim Ciraci, Hasan Sözer, Mehmet Aksit:
  Guiding Architects in Selecting Architectural Evolution Alternatives. ECSA 2011: 252-260
• 
  Selim Ciraci, Jian Yin:
  Towards a scalable and reliable real time in-network data analysis infrastructure. LDAV 2011: 135-136
• 
  Selim Ciraci, Hasan Sözer, Mehmet Aksit, Wilke Havinga:
  Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. SSIRI 2011: 31-40
• 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: 321-374 (2010)
• 
  Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit:
  Checking the Correspondence between UML Models and Implementation. RV 2010: 198-213
• 
  Selim Ciraci, Pim van den Broek, Mehmet Aksit:
  Graph-based verification of static program constraints. SAC 2010: 2265-2272
• 2009
• 
  Selim Ciraci:
  Graph Based Verification of Software Evolution Requirements. University of Twente, Enschede, Netherlands, 2009
• 
  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): 550-567 (2009)
• 2008
• 
  Selim Ciraci, Pim van den Broek, Mehmet Aksit:
  Framework for Computer-Aided Evolution of Object-Oriented Designs. COMPSAC 2008: 757-764
• 2007
• 
  Selim Ciraci, Pim van den Broek, Mehmet Aksit:
  A Taxonomy for a Constructive Approach to Software Evolution. J. Softw. 2(2): 84-97 (2007)

skipping 2 more matches