Run-time verification of networked software

被引：0
|
作者：
Research Center for Information Security , National Institute of Advanced Industrial Science and Technology , Tokyo, Japan [1 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 59-73期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Verification
引用
收藏
相关论文
共 50 条
  • [41] Framework for mapping scalable networked multimedia applications on run-time reconfigurable platforms
    Ngoc, NP
    Lafruit, G
    Mignolet, JY
    Vernalde, S
    Deconinck, G
    Lauwereins, R
    2003 INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOL I, PROCEEDINGS, 2003, : 469 - 472
  • [42] Run-time upgradable software in a large real-time telecommunication system
    Myrén, H
    Piculell, J
    Lundberg, L
    SEVENTH IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2001, : 226 - 235
  • [43] MESSAGE FLOW-ANALYSIS AND RUN-TIME VERIFICATION FOR PARALLEL PROGRAMS
    YANG, SS
    JUANG, JY
    PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 2: SOFTWARE, 1989, : 19 - 22
  • [44] Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
    Majzik, Istvan
    Horanyi, Gergo
    12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, 2011, : 161 - 172
  • [45] LAOCOON: A Run-time Monitoring and Verification Approach for Hardware Trojan Detection
    Danger, Jean-Luc
    Fribourg, Laurent
    Naceur, Maha
    Kuhne, Ulrich
    2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 269 - 276
  • [46] PublicCheck: Public Integrity Verification for Services of Run-time Deep Models
    Wang, Shuo
    Abuadbba, Sharif
    Agarwal, Sidharth
    Moore, Kristen
    Sun, Ruoxi
    Xue, Minhui
    Nepal, Surya
    Camtepe, Seyit
    Kanhere, Salil
    2023 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, 2023, : 1348 - 1365
  • [47] Discourje: Run-Time Verification of Communication Protocols in Clojure - Live at Last
    Jongmans, Sung-Shik
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 158 - 166
  • [48] Stochastic Verification of Run-time Performance Adaptation with Field Delay Testing
    Hashimoto, Masanori
    2014 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS), 2014, : 751 - 754
  • [49] Component-based approach to run-time kernel specification and verification
    Naeser, G
    Lundqvist, K
    17TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2005, : 68 - 76
  • [50] Prevent: A Predictive Run-Time Verification Framework Using Statistical Learning
    Babaee, Reza
    Gurfinkel, Arie
    Fischmeister, Sebastian
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 205 - 220
12345