Detecting potential deadlocks with static analysis and run-time monitoring

被引：0
|
作者：
Agarwal, R. [1 ]
Wang, Liqinng [1 ]
Stoller, Scott D. [1 ]
机构：
[1] Computer Science Dept., SUNY at Stony Brook, Stony Brook, NY 11794-4400
来源：
Lect. Notes Comput. Sci. | / 191-207期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Algorithms - Code converters - Diagnosis - Error analysis - Java programming language
引用
收藏
相关论文
共 50 条
  • [31] Run-time efficient feasibility analysis of uni-processor systems with static priorities
    Albers, Karsten
    Bodmann, Frank
    Slomka, Frank
    EMBEDDED SYSTEM DESIGN: TOPICS, TECHNIQUES AND TRENDS, 2007, 231 : 37 - +
  • [32] Run-Time Correlation Engine for System Monitoring and Testing
    Holub, Viliam
    Parsons, Trevor
    O'Sullivan, Patrick
    Murphy, John
    ACM/IEEE SIXTH INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND COMMUNICATIONS (ICAC '09), 2009, : 43 - 44
  • [33] Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks
    Wang, Yiran
    Lopez, Jose Antonio Hernandez
    Nilsson, Ulf
    Varro, Daniel
    COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, 2024, : 497 - 501
  • [34] Identification of Bot Commands By Run-time Execution Monitoring
    Park, Younghee
    Reeves, Douglas S.
    25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, 2009, : 321 - 330
  • [35] Run-time monitoring for privacy-agreement compliance
    Benbernou, S.
    Meziane, H.
    Hacid, M. S.
    SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS, 2007, 4749 : 353 - +
  • [36] Performance monitoring for run-time management of reconfigurable devices
    DeVille, RA
    Troxel, IA
    George, AD
    ERSA'05: Proceedings of the 2005 International Conference on Engineering of Reconfigurable Systems and Algorithms, 2005, : 175 - 181
  • [37] An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations
    Baresi, Luciano
    Guinea, Sam
    Kazhamiakin, Raman
    Pistore, Marco
    TOWARDS A SERVICE-BASED INTERNET, 2008, 5377 : 1 - +
  • [38] Run-Time Correlation Engine for System Monitoring and Testing
    Holub, Viliam
    Parsons, Trevor
    O'Sullivan, Patrick
    Murphy, John
    6TH INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND COMMUNICATION, ICAC-INDUST'09, 2009, : 9 - 17
  • [39] Incremental Model Synchronization for Efficient Run-Time Monitoring
    Vogel, Thomas
    Neumann, Stefan
    Hildebrandt, Stephan
    Giese, Holger
    Becker, Basil
    MODELS IN SOFTWARE ENGINEERING, 2010, 6002 : 124 - 139
  • [40] A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
    El-Hokayem, Antoine
    Bensalem, Saddek
    Bozga, Marius
    Sifakis, Joseph
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 284 - 302
12345