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 条
  • [21] Predicting Performance Anomalies in Software Systems at Run-time
    Zhao, Guoliang
    Hassan, Safwat
    Zou, Ying
    Truong, Derek
    Corbin, Toby
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2021, 30 (03)
  • [22] A Run-Time Power Manager Exploiting Software Parallelism
    Holmbacka, Simon
    Lafond, Sebastien
    Lilius, Johan
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT'14), 2014, : 471 - 472
  • [23] RUN-TIME REVERSE ENGINEERING SPEEDS SOFTWARE TROUBLESHOOTING
    OBRIEN, C
    HIGH PERFORMANCE SYSTEMS-THE MAGAZINE FOR TECHNOLOGY CHAMPIONS, 1989, 10 (11): : 41 - &
  • [24] SOFTWARE BASED METHODS TO HARDEN EMBEDDED SOFTWARE AT RUN-TIME: A SURVEY
    Kramer, Michael
    Horauer, Martin
    INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2015, VOL 9, 2016,
  • [25] Formal Verification of A Domain Specific Language for Run-time Adaptation
    Khan, Shahid
    Khalid, Faiq
    Hasan, Osman
    Cardoso, Joao M. P.
    12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 7 - 14
  • [26] A formal toolchain for offline and run-time verification of robotic systems
    Dal Zilio, Silvano
    Hladik, Pierre-Emmanuel
    Ingrand, Felix
    Mallet, Anthony
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2023, 159
  • [27] The Discourje project: run-time verification of communication protocols in Clojure
    Hamers, Ruben
    Horlings, Erik
    Jongmans, Sung-Shik
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (05) : 757 - 782
  • [28] Run-time Verification of MSMAS Norms Using Event Calculus
    Elakehal, Emad Eldeen
    Montali, Marco
    Padget, Julian
    2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2014, : 110 - 115
  • [29] The Discourje project: run-time verification of communication protocols in Clojure
    Ruben Hamers
    Erik Horlings
    Sung-Shik Jongmans
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 757 - 782
  • [30] Run-time Verification of Behavioural Conformance for Conversational Web Services
    Dranidis, Dimitris
    Ramollari, Ervin
    Kourtesis, Dimitrios
    ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2009, : 139 - +
12345