Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)

被引：3

作者：

Bartocci, Ezio ^{[1
]}

Falcone, Ylies ^{[2
]}

机构：

[1] Vienna Univ Technol, Vienna, Austria

[2] Univ Grenoble Alpes, Inria, LIG, F-38000 Grenoble, France

来源：

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II | 2016年 / 9953卷

关键词：

TIMED PROPERTIES;

D O I：

10.1007/978-3-319-47169-3_24

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

During the last decade, the runtime verification and enforcement (RVE) community has been incredibly prolific in producing many theories, tools and techniques aiming towards the efficient analysis of systems' executions and guaranteeing their correctness w.r.t. some desired properties. With the major strides made in recent years, much effort is still needed to make RVE attractive and viable methodologies for industrial use. In addition to industry, numerous other domains, such as security, bio-health monitoring, etc., can gain from RVE. The purpose of the "Runtime Verification and Enforcement: the (industrial) application perspective" track at ISoLA'16 is to bring together RVE experts and potential application domains to try and advance the state-of-the-art on how to make RVE more useable and attractive to industry and other disciplines.

引用

页码：333 / 338

页数：6

共 35 条

[1]

[Anonymous], 1981, Lecture Notes in Computer Science, DOI DOI 10.1007/BFB0025774

[2]

[Anonymous], 2016, DES AUT TEST EUROPE

[3]

Bartocci Ezio, 2014, Formal Modeling and Analysis of Timed Systems. 12th International Conference, FORMATS 2014. Proceedings. LNCS: 8711, P23, DOI 10.1007/978-3-319-10512-3_3

[4] Computational Modeling, Formal Analysis, and Tools for Systems Biology [J].

Bartocci, Ezio ;

Lio, Pietro .

PLOS COMPUTATIONAL BIOLOGY, 2016, 12 (01)

[5] System design of stochastic models using robustness of temporal properties [J].

Bartocci, Ezio ;

Bortolussi, Luca ;

Nenzi, Laura ;

Sanguinetti, Guido .

THEORETICAL COMPUTER SCIENCE, 2015, 587 :3-25

[6] First International Competition on Software for Runtime Verification [J].

Bartocci, Ezio ;

Bonakdarpour, Borzoo ;

Falcone, YliéS .

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8734

[7]

Bartocci E, 2013, LECT N BIOINFORMAT, V8130, P164, DOI 10.1007/978-3-642-40708-6_13

[8] Challenges in Fault-Tolerant Distributed Runtime Verification [J].

Bonakdarpour, Borzoo ;

Fraigniaud, Pierre ;

Rajsbaum, Sergio ;

Travers, Corentin .

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 :363-370

[9]

Bufo S, 2014, LECT NOTES COMPUT SC, V8803, P391, DOI 10.1007/978-3-662-45231-8_30

[10] Runtime Verification for Stream Processing Applications [J].

Colombo, Christian ;

Pace, Gordon J. ;

Camilleri, Luke ;

Dimech, Claire ;

Farrugia, Reuben ;

Grech, Jean Paul ;

Magro, Alessio ;

Sammut, Andrew C. ;

Adami, Kristian Zarb .

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 :400-406

← 1 2 3 4 →