• 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 35 matches

• 2019
• 
  Saurabh Tiwari, Deepti Ameta, Asim Banerjee:
  An Approach to Identify Use Case Scenarios from Textual Requirements Specification. ISEC 2019: 5:1-5:11
• 
  Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal:
  SamaTulyataOne: A Path Based Equivalence Checker. ISEC 2019: 21:1-21:5
• 
  Nitin Bhatia, Meenakshi D'Souza, Sujit Kumar Chakrabarti:
  Formalizing GPU Instruction Set Architecture in Coq. ISEC 2019: 28:1-28:5
• 
  Subhrojyoti Roy Chaudhuri, Amar Banerjee, N. Swaminathan, Venkatesh Choppella, Arpan Pal, P. Balamurali:
  A knowledge centric approach to conceptualizing robotic solutions. ISEC 2019: 12:1-12:11
• 
  Pavan Kumar Chittimalli, Abhidip Bhattacharyya:
  SBVR-based Business Rule Creation for Legacy Programs using Variable Provenance. ISEC 2019: 16:1-16:11
• 
  Venkatesh Choppella, Aseem Rastogi:
  Tutorials and Technical Briefings at ISEC 2019. ISEC 2019: 33:1-33:2
• 
  Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri:
  Formal Verification of Optimizing Transformations during High-level Synthesis. ISEC 2019: 27:1-27:5
• 
  Tony Clark, Balbir Barn, Vinay Kulkarni, Souvik Barat:
  Making Sense of Actor Behaviour: An Algebraic Filmstrip Pattern and its Implementation. ISEC 2019: 13:1-13:10
• 
  Meenakshi D'Souza, Subhajit Roy:
  The ISEC 2019 Ph.D. Symposium. ISEC 2019: 30:1-30:3
• 
  Subhajit Datta, Poulami Sarkar:
  Evolutionary Trends in the Collaborative Review Process of a Large Software System. ISEC 2019: 22:1-22:5
• 
  Yvonne Dittrich:
  Use-Oriented Design and Software Ecosystems. ISEC 2019: 2:1
• 
  Arpita Dutta, Shubham Kumar, Sangharatna Godboley:
  Enhancing Test Cases generated by Concolic Testing. ISEC 2019: 11:1-11:11
• 
  Ajai V. George, Sankar Manoj, Santonu Sarkar:
  ThrustHetero: A Framework to Simplify Heterogeneous Computing Platform Programming using Design Abstraction. ISEC 2019: 4:1-4:11
• 
  Holger Giese:
  Software Engineering for Smart Cyber-Physical Systems: Challenges and Opportunities. ISEC 2019: 1:1
• 
  Rajeev Kumar Gupta, Shivani Jain, Bharat Singh, Sanjay Kumar Jha:
  Key Factors in Scaling up Agile Team in Matrix Organization. ISEC 2019: 23:1-23:5
• 
  Raghudeep Kannavara, Jacob Vangore, William Roberts, Marcus Lindholm, Priti Shrivastav:
  A Threat Intelligence Tool for the Security Development Lifecycle. ISEC 2019: 19:1-19:5
• 
  Deepika Kansal, Tejashree Aher, Rushikesh K. Joshi:
  Sensitivity and Monotonicity in Class Cohesion Metrics. ISEC 2019: 24:1-24:5
• 
  Sai Anirudh Karre, Neeraj Mathur, Y. Raghu Reddy:
  Is Virtual Reality Product Development different?: An Empirical Study on VR Product Development Practices. ISEC 2019: 3:1-3:11
• 
  Gireendra Kasmalkar, Kiran Deshpande:
  Start-ups Track ISEC 2019. ISEC 2019: 34:1-34:2
• 
  Aniket Kulkarni:
  Correct By Construction Approach For Translation Of Stored Procedures To Java Code. ISEC 2019: 18:1-18:5
• 
  Vinay Kulkarni:
  Towards an Adaptive Enterprise. ISEC 2019: 31:1-31:2
• 
  Prashant Kumar, Monika Gajrani:
  A Case Study Exploring Supply Chain Systems Using Actor Based Simulation. ISEC 2019: 25:1-25:5
• 
  Lov Kumar, Sangeeta Lal, Anjali Goyal, N. L. Bhanu Murthy:
  Change-Proneness of Object-Oriented Software Using Combination of Feature Selection Techniques and Ensemble Learning Techniques. ISEC 2019: 8:1-8:11
• 
  Lov Kumar, Shashank Mouli Satapathy, Lalita Bhanu Murthy Neti:
  Method Level Refactoring Prediction on Five Open Source Java Projects using Machine Learning Techniques. ISEC 2019: 7:1-7:10
• 
  Daniel Link, Pooyan Behnamghader, Ramin Moazeni, Barry W. Boehm:
  The Value of Software Architecture Recovery for Maintenance. ISEC 2019: 17:1-17:10
• 
  Pragyan Mohapatra, Rahul Sinha:
  A Software Framework for Adaptive Signal Analytics based on Autonomic Service Components. ISEC 2019: 14:1-14:8
• 
  E. S. F. Najumudheen, Rajib Mall, Debasis Samanta:
  Modeling and Coverage Analysis of Programs with Exception Handling. ISEC 2019: 15:1-15:11
• 
  Asha Rajbhoj, Padmalata Nistala, Vinay Kulkarni, Gomathi Ganesan:
  A RFP System for Generating Response to a Request for Proposal. ISEC 2019: 9:1-9:9
• 
  Vijaya Sharvani, Kumar Abhinav, Alpana Dubey, Sakshi Jain, Veenu Arora, Meenakshi D'Souza:
  FrAppLe: A Framework for Apprenticeship Learning. ISEC 2019: 26:1-26:5
• 
  Paramvir Singh, Sheikh Umar Farooq, Saurabh Tiwari, Ranjith Tharayil:
  A Report on the Second Workshop on Emerging Software Engineering Education (WESEE 2019). ISEC 2019: 32:1-32:2

skipping 5 more matches