Runtime Verification on Abstracted Finite State Models

被引：0
|
作者：
Jevitha, K.P. [1 ]
Jayaraman, Bharat [1 ,2 ]
Sethumadhavan, M. [3 ]
机构：
[1] Department of Computer Science and Engineering, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
[2] Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo,NY, United States
[3] TIFAC CORE in Cyber Security, Amrita School of Computing, Amrita Vishwa Vidyapeetham, Coimbatore, India
来源：
SSRN | 2022年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Java programming language
引用
收藏
相关论文
共 50 条
  • [1] Automatic extraction and verification of state-models for web applications
    State Univ. of Information Technologies, Mechanics and Optics, St. Petersburg, Russia
    Lect. Notes Electr. Eng., VOL. 2 (157-160):
  • [2] Decentralized runtime verification of message sequences in message-based systems
    Samadi, Mahboubeh
    Ghassemi, Fatemeh
    Khosravi, Ramtin
    ACTA INFORMATICA, 2023, 60 (02) : 145 - 178
  • [3] Runtime Adaptation of Data Stream Processing Systems: The State of the Art
    Cardellini, Valeria
    Lo Presti, Francesco
    Nardelli, Matteo
    Russo, Gabriele Russo
    ACM Computing Surveys, 2022, 54 (11)
  • [4] Finite element models with viscoelastic damping
    Friswell, M.I.
    Inman, D.J.
    Shock and Vibration Digest, 2000, 32 (01):
  • [5] Low-power state assignment for asynchronous finite state machines
    Natl Yunlin Inst of Technology, Yunlin, Taiwan
    Midwest Symp Circuits Syst, (1325-1328):
  • [6] STOCHASTIC FINITE ELEMENT STRUCTURAL MODELS.
    Contreras, H.
    Scholl, R.E.
    Transactions of the International Conference on Structural Mechanics in Reactor Technology, 1979, M.
  • [7] JAILBREAK ANTIDOTE: RUNTIME SAFETY-UTILITY BALANCE VIA SPARSE REPRESENTATION ADJUSTMENT IN LARGE LANGUAGE MODELS
    Shen, Guobin
    Zhao, Dongcheng
    Dong, Yiting
    He, Xiang
    Zeng, Yi
    arXiv,
  • [8] Finite hedging in field theory models of interest rates
    Baaquie, Belal E.
    Srikant, Marakani
    Phys. Rev. E Stat. Nonlinear Soft Matter Phys., 3 2 (036130-1-036130-7):
  • [9] CONCURRENT PROGRAM SCHEME WITH FINITE STATE SCHEDULERS.
    Yamashita, Masafumi
    Honda, Namio
    Inagaki, Yasuyoshi
    Systems, computers, controls, 1980, 11 (04): : 59 - 66
  • [10] Neural network surrogate models for equations of state
    Mentzer, Katherine L.
    Peterson, J. Luc
    PHYSICS OF PLASMAS, 2023, 30 (03)
12345