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

• 2024
• 
  Divyanjali Sharma, Subodh Sharma:
  Parameterized Static Analysis for Weak Memory Models. ISEC 2024: 25:1-25:4
• 
  Atanu Kundu, Sauvik Gon, Rajarshi Ray:
  Data-Driven Falsification of Cyber-Physical Systems. ISEC 2024: 10:1-10:5
• 
  Nimisha Agarwal:
  Finding and Investigating Buggy Codes to Make CS1 Learning Efficient. ISEC 2024: 24:1-24:3
• 
  Shivali Agarwal, Sridhar Chimalakonda, Saravanan Krishnan, Vini Kanvar, Samveg Shah:
  Tutorial Report on Legacy Software Modernization: A Journey From Non-AI to Generative AI Approaches. ISEC 2024: 19:1-19:3
• 
  Tumu Akshar, Vikram Singh, N. L. Bhanu Murthy, Aneesh Krishna, Lov Kumar:
  A Codebert Based Empirical Framework for Evaluating Classification-Enabled Vulnerability Prediction Models. ISEC 2024: 6:1-6:11
• 
  Shivani Balwani, Saurabh Tiwari, Sourish Dasgupta, Akhilesh Sharma:
  An Approach for Providing Recommendation for Requirements Non-Conformant with Requirement Templates (RTs). ISEC 2024: 9:1-9:11
• 
  Souvik Barat, Varun Ramamohan:
  Workshop Report on Reimagining Future Enterprises and Society using Digital Twin. ISEC 2024: 22:1-22:2
• 
  Anil Kant Choudhary, Manoj Kumar Lal, Rajesh Vaishampayan, Sumi Lal:
  Tutorial Report on A Framework for Structured Industry Knowledge for Requirement Understanding in Software Development. ISEC 2024: 17:1
• 
  Devdan Dey, Mir Md Sajid Sarwar, Rajarshi Ray, Ansuman Banerjee:
  A Contrastive Explanation Tool for Plans in Hybrid Domains. ISEC 2024: 15:1-15:5
• 
  Ganesha, Sujit Kumar Chakrabarti:
  Safeguarding Controller Variables from SEUs using Static Analysis. ISEC 2024: 28:1-28:4
• 
  Sangharatna Godboley, P. Radha Krishna, Ritesh Kumar Jha:
  Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC). ISEC 2024: 16:1-16:5
• 
  Alessandra Gorla:
  On the Analysis of Mobile Apps. Why is most of our Research on Android? ISEC 2024: 3:1
• 
  Shilin He:
  SPINE: A Scalable Log Parser with Feedback Guidance. ISEC 2024: 4:1
• 
  Mrityunjay Kumar, Venkatesh Choppella:
  Enhancing MVC architecture pattern description using its System of Systems model. ISEC 2024: 8:1-8:11
• 
  Akash Lal:
  Concurrency Testing: A Journey from Research to Practice. ISEC 2024: 1:1
• 
  Priyanka Maity:
  Neural Networks Verification: Perspectives from Formal Method. ISEC 2024: 26:1-26:2
• 
  Ravindra Naik, Asha Rajbhoj, Manasi Patwardhan, Raveendra Kumar Medicherla:
  Workshop Report on Generative AI-based Software Engineering. ISEC 2024: 21:1-21:5
• 
  Kanchanjot Kaur Phokela, Kapil Singi, Vikrant Kaulgud:
  Embedding Privacy First Human Centric in User Experience for Mobile Applications. ISEC 2024: 11:1-11:5
• 
  Asha Rajbhoj, Akanksha Somase, Piyush Kulkarni, Vinay Kulkarni:
  Accelerating Software Development Using Generative AI: ChatGPT Case Study. ISEC 2024: 5:1-5:11
• 
  Santosh Singh Rathore, Saurabh Tiwari, Sheikh Umar Farooq:
  Workshop Report on Emerging Software Engineering Education. ISEC 2024: 20:1-20:2
• 
  Abhik Roychoudhury:
  Program Repair and Trusted Automatic Programming. ISEC 2024: 2:1
• 
  Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade:
  CodeQueries: A Dataset of Semantic Queries over Code. ISEC 2024: 7:1-7:11
• 
  Karnika Shivhare:
  Business Process Modeling and Challenges through Examples. ISEC 2024: 18:1-18:3
• 
  Samarth Sikand, Kanchanjot Kaur Phokela, Vibhu Saujanya Sharma, Kapil Singi, Vikrant Kaulgud, Teresa Tung, Pragya Sharma, Adam P. Burden:
  How much SPACE do metrics have in GenAI assisted software development? ISEC 2024: 14:1-14:5
• 
  Pankaj Upadhyay, Subodh Sharma, Guangdong Bai:
  Symbolic Verification of Mesh Commissioning Protocol of Thread. ISEC 2024: 27:1-27:4
• 
  Dhiraj SM Varanasi, Sai Anirudh Karre, Raghu Reddy:
  Software Development Waste amidst COVID-19 Pandemic: An Industry Study. ISEC 2024: 13:1-13:5
• 
  Anurag Yadav, Santosh Singh Rathore:
  A Hierarchical Attention Networks based Model for Bug Report Prioritization. ISEC 2024: 12:1-12:5
• 
  Chavhan Sujeet Yashavant:
  SecSEC: Securing Smart Ethereum Contracts. ISEC 2024: 23:1-23:4
• 
  Sujit Kumar Charkrabarti, Raghavan Komondoor, Raveendra Kumar Medicherla, Aseem Rastogi, Sudipto Ghosh:
  Proceedings of the 17th Innovations in Software Engineering Conference, ISEC 2024, Bangalore, India, February 22-24, 2024. ACM 2024 [contents]
• 2023
• 
  David Lo:
  Human-Centered AI for Software Engineering: Requirements, Reflection, and Road Ahead. ISEC 2023: 2:1

skipping 465 more matches