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

• 2024
• 
  Jinfu Chen, Zhehao Li, Dongjie Wang:
  HyWE: A Hybrid Word Embedding Method for Smart Contract Vulnerability Detection. ISSRE (Workshops) 2024: 179-186
• 
  Xiao Xiao, Tomoya Tanahashi, Tadashi Dohi:
  A Web-based Tool for Predicting Software Development Effort. ISSRE (Workshops) 2024: 155-160
• 
  Yong Liu, Ruishi Huang, Jizhe Yang, Binbin Yang, ShuMei Wu:
  TLFL: Token-Level Fault Localization for Novice Programs via Graph Representation Learning. ISSRE (Workshops) 2024: 135-142
• 
  Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng:
  Generating Understandable and Reusable Safety Assurance Cases using Workflow⁺. ISSRE (Workshops) 2024: 236-239
• 
  Alberto Avritzer, James J. Cusick, Andrea Janes, Matteo Camilli, Barbara Russo, Catia Trubiani, Andre van Hoom:
  Dependability Modeling in an Industrial Environment. ISSRE (Workshops) 2024: 43-48
• 
  Alberto Avritzer, Andrea Janes, Andrea Marin, Daniel S. Menasché, Catia Trubiani, André B. Bondi, James J. Cusick:
  Measurements and Models for Resiliency Assessment of VM clusters under Aging and Rejuvenation. ISSRE (Workshops) 2024: 410-417
• 
  Takumi Ayukawa, Jati H. Husen, Nobukazu Yoshioka, Hironori Washizaki, Naoyasu Ubayashi:
  Toward Pattern-Oriented Machine Learning Reliability Argumentation. ISSRE (Workshops) 2024: 121-122
• 
  Carlos Eduardo De Schuller Banjar, Daniel Sadoc Menasché, Alberto Avritzer:
  Splitting Application Input into Batches as a Countermeasure Against Software Aging. ISSRE (Workshops) 2024: 418-425
• 
  Alec Banks, Prathyush P. Menon, Steve Austen:
  Removing the Big Red Button: Uncrewed Ground Vehicles in Complex Military Environments. ISSRE (Workshops) 2024: 205-208
• 
  Robin Bloomfield, John Rushby:
  Models are Central to AI Assurance. ISSRE (Workshops) 2024: 199-202
• 
  Carmen Cârlan, Noah Carlson, Chris Dwyer, Manoja Hirannaiah, Michael Wagner:
  The SOTIF Meta-Algorithm: Quantitative Analyses of the Safety of Autonomous Behaviors. ISSRE (Workshops) 2024: 191-198
• 
  Mauricio Castillo-Effen, Carter E. Veldhuizen, Charles D. Lutz:
  A Digital Assurance Framework. ISSRE (Workshops) 2024: 232-235
• 
  Andrea Ceccarelli, Leonardo Montecchi:
  Better and safer autonomous driving with predicted object relevance. ISSRE (Workshops) 2024: 329-336
• 
  Zeyu Chen, Jidong Xiao, Angelos Stavrou, Haining Wang:
  An Exploration of Fuzzing for Discovering Use-After-Free Vulnerabilities. ISSRE (Workshops) 2024: 19-24
• 
  Bharti Chimdyalwar:
  Fast and Precise Interval Analysis on Industry code. ISSRE (Workshops) 2024: 67-72
• 
  James J. Cusick:
  A Process Pattern for Cybersecurity Assessment Automation: Experience and Futures. ISSRE (Workshops) 2024: 123-126
• 
  James J. Cusick, Lija Basil:
  A Global Operational Readiness Review Process: Improving Cloud Availability. ISSRE (Workshops) 2024: 1-6
• 
  Frank Eichenseer, Shinjini Sarkar, Ali Shakeri:
  A Systematic Methodology for Specifying the Operational Design Domain of Automated Vehicles. ISSRE (Workshops) 2024: 13-18
• 
  Camille Fayollas, Célia Martinie, Philippe A. Palanque:
  Taking into Account Human Error when Assessing the Impact of Dependability on Usability. ISSRE (Workshops) 2024: 271-278
• 
  Indira Febriyanti, Youmei Fan, Kazumasa Shimari, Kenichi Matsumoto, Raula Gaikovina Kula:
  How Maintainable is Proficient Code? A Case Study of Three PyPI Libraries. ISSRE (Workshops) 2024: 103-104
• 
  Justin W. Firestone, Myra B. Cohen, Robyn R. Lutz:
  SynBioTrace: Integrating Safety and Security Artifacts to Build Assurance Cases for Synthetic Biology Applications. ISSRE (Workshops) 2024: 216-223
• 
  Linyun Gao, Qiang Wen, Fumio Machida:
  Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System. ISSRE (Workshops) 2024: 337-344
• 
  Chuqi Guo, Yu Lin, Ling Dong, Zhijie Feng, Luyao Ye, Wenhua Hu, Siwei Zhou, Jianwen Xiang:
  Reliability Analysis of Man-Machine Systems Considering Imperfect Error Coverage Model. ISSRE (Workshops) 2024: 385-390
• 
  Georg Hägele, Abdelbaki Bouguerra, Arezoo Sarkheyli-Hägele:
  Towards the Certification of an Evacuation Assistance System Utilizing AI-based Approaches. ISSRE (Workshops) 2024: 240-246
• 
  Ippo Hiroi, Fumio Machida, Ermeson Carneiro de Andrade:
  Energy Bugs in Object Detection Software on Battery-Powered Devices. ISSRE (Workshops) 2024: 313-320
• 
  Kiyoshi Honda, Hironori Washizaki, Yoshiaki Fukazawa, Masahiro Taga, Akira Matsuzaki, Kazuyuki Nakagawa, Yusuke Sakai:
  An Empirical Study on Predicting Software Development Bugs Using Dynamic Bayesian Networks. ISSRE (Workshops) 2024: 307-310
• 
  Weijie Hong, Yong Yang, Junqi Wu, Dongdong Shangguan, Yuanhao Lai, Qiang Bai, Ying Li:
  NICSDG: A Non-Intrusive Approach to Constructing Concise Service Dependency Graphs for Microservice Systems. ISSRE (Workshops) 2024: 79-84
• 
  Ani Hovhannisyan, Youmei Fan, Gema Rodríguez-Pérez, Raula Gaikovina Kula:
  Linking Code and Documentation Churn: Preliminary Analysis. ISSRE (Workshops) 2024: 107-108
• 
  Jie Hu, Mingyue Zhang, Bo Liu, Yuechen Wu, Yingfeng Chen:
  A Language-guided Acceleration Method for Smoke Testing of Game Quests. ISSRE (Workshops) 2024: 7-12
• 
  Bing Huang, Kwok-Yan Lam:
  A Survey on Physical Event Verification in User-centric Smart Home Systems. ISSRE (Workshops) 2024: 263-270

skipping 47 more matches