Provably correct runtime monitoring

被引：0
|
作者：
School of Computer Science and Communication, KTH, Sweden [1 ]
不详 [2 ]
机构：
来源：
J. Logic. Algebraic Program. | 1600年 / 5卷 / 304-339期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Automata theory - Application programs
引用
收藏
相关论文
共 50 条
  • [31] Provably correct edgel linking and subpixel boundary reconstruction
    Koethe, Ullrich
    Stelldinger, Peer
    Meine, Hans
    [J]. PATTERN RECOGNITION, PROCEEDINGS, 2006, 4174 : 81 - 90
  • [32] Provably correct reactive control from natural language
    Constantine Lignos
    Vasumathi Raman
    Cameron Finucane
    Mitchell Marcus
    Hadas Kress-Gazit
    [J]. Autonomous Robots, 2015, 38 : 89 - 105
  • [33] Designing provably correct information networks with digital diodes
    Cohen, Fred
    [J]. Computers and Security, 1988, 7 (03): : 279 - 286
  • [34] Synthesis of Provably Correct Autonomy Protocols for Shared Control
    Cubuktepe, Murat
    Jansen, Nils
    Alshiekh, Mohammed
    Topcu, Ufuk
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (07) : 3251 - 3258
  • [35] Provably correct hardware compilation using timing diagrams
    Schenke, M
    Dossis, M
    [J]. FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 313 - 331
  • [36] Provably-Correct and Comfortable Adaptive Cruise Control
    Althoff, Matthias
    Maierhofer, Sebastian
    Pek, Christian
    [J]. IEEE TRANSACTIONS ON INTELLIGENT VEHICLES, 2021, 6 (01): : 159 - 174
  • [37] A Control Architecture for Provably-Correct Autonomous Driving
    Aasi, Erfan
    Vasile, Cristian Ioan
    Belta, Calin
    [J]. 2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 2913 - 2918
  • [38] Cooperative runtime monitoring
    Halle, Sylvain
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2013, 7 (04) : 395 - 423
  • [39] Predictable Runtime Monitoring
    Zhu, Haitao
    Dwyer, Matthew B.
    Goddard, Steve
    [J]. PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 2009, : 173 - 183
  • [40] A Foundation for Runtime Monitoring
    Francalanza, Adrian
    Aceto, Luca
    Achilleos, Antonis
    Attard, Duncan Paul
    Cassar, Ian
    Della Monica, Dario
    Ingolfsdottir, Anna
    [J]. RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 8 - 29
12345