Verification and analysis of autonomic systems for networked enterprises

被引：0
|
作者：
Bertolino, Antonia [1 ]
De Angelis, Guglielmo [1 ]
Di Giandomenico, Felicita [1 ]
Marchetti, Eda [1 ]
Sabetta, Antonino [1 ]
Spoletini, Paola [2 ]
机构：
[1] ISTI-CNR, Via Moruzzi 1, Pisa, Italy
[2] Universitá dell'Insubria, Via Ravasi 2, Varese, Italy
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2012年 / 7200 LNCS卷
关键词：
Compendex;
D O I：
10.1007/978-3-642-31739-2_8
中图分类号：
学科分类号：
摘要：
Model checking
引用
收藏
页码：143 / 169
相关论文
共 50 条
  • [1] Autonomic workflow and business process modelling for networked enterprises
    Canfora, Gerardo
    Tretola, Giancarlo
    Zimeo, Eugenio
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7200 LNCS : 115 - 142
  • [2] Functional verification of networked embedded systems
    Bombieri, N
    Fummi, F
    Pravadelli, G
    6TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS, 2005, : 321 - 326
  • [3] Synchronization Analysis and Verification for Complex Networked Systems Under Directed Topology
    Zhang, Shuyuan
    Wang, Lei
    Wang, Wei
    COMPLEX NETWORKS & THEIR APPLICATIONS XII, VOL 4, COMPLEX NETWORKS 2023, 2024, 1144 : 438 - 448
  • [4] Controllability Verification for Constrained Networked Dynamic Systems
    Yuan, Zhang
    Tong, Zhou
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 7422 - 7427
  • [5] Consensus verification for heterogeneous polynomial networked systems
    Zhang, Shuyuan
    Wang, Lei
    Xue, Bai
    Li, Chanying
    Wang, Qing-Guo
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2023, 360 (17): : 12878 - 12891
  • [6] Software Verification of Autonomic Systems Developed with ASSL
    Vassev, Emil
    Hinchey, Mike
    FOUNDATIONS OF COMPUTER SOFTWARE: MODELING, DEVELOPMENT, AND VERIFICATION OF ADAPTIVE SYSTEMS, 2011, 6662 : 1 - 16
  • [7] Aragog: Scalable Runtime Verification of Shardable Networked Systems
    Yaseen, Nofel
    Arzani, Behnaz
    Beckett, Ryan
    Ciraci, Selim
    Liu, Vincent
    PROCEEDINGS OF THE 14TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '20), 2020, : 701 - 718
  • [8] A new method for control of networked systems with an experimental verification
    Rahmani, Behrooz
    Markazi, Amir H. D.
    Seyfi, Behzad
    ISA TRANSACTIONS, 2015, 56 : 299 - 307
  • [9] Information Flow Design and Verification for Networked Satellite Systems
    Guo, Jia
    Xu, Nuo
    WIRELESS AND SATELLITE SYSTEMS, PT I, 2019, 280 : 456 - 465
  • [10] Modelling networked enterprises
    Steen, MWA
    Lankhorst, MM
    van de Wetering, RG
    SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2002, : 109 - 119
12345