Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 9)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450385466

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime verification for trustworthy secure shell deployment

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468449 ◽

2021 ◽

Author(s):

Axel Curmi ◽

Christian Colombo ◽

Mark Vella

Keyword(s):

Runtime Verification ◽

Secure Shell

Download Full-text

RVPLAN: a general purpose framework for replanning using runtime verification

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468447 ◽

2021 ◽

Author(s):

Angelo Ferrando ◽

Rafael C. Cardoso

Keyword(s):

General Purpose ◽

Runtime Verification

Download Full-text

Optional monitoring for long-lived transactions

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468450 ◽

2021 ◽

Author(s):

Joshua Ellul ◽

Gordon J. Pace

Download Full-text

Test’n’Mo: a collaborative platform for human testers and intelligent monitoring agents

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468446 ◽

2021 ◽

Author(s):

Filippo Ricca ◽

Viviana Mascardi ◽

Alessandro Verri

Keyword(s):

Intelligent Monitoring ◽

Collaborative Platform

Download Full-text

RM for users’ safety and security in the built environment

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468445 ◽

2021 ◽

Author(s):

Giorgio Audrito ◽

Ferruccio Damiani ◽

Giuseppe Di Giuda ◽

Silvia Meschini ◽

Laura Pellegrini ◽

...

Keyword(s):

Built Environment

Download Full-text

Synchronous and asynchronous stream runtime verification

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468453 ◽

2021 ◽

Author(s):

César Sánchez

Keyword(s):

Runtime Verification

Download Full-text

The e-ACSL perspective on runtime assertion checking

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468451 ◽

2021 ◽

Author(s):

Julien Signoles

Keyword(s):

Runtime Assertion Checking

Download Full-text

Towards aggregate monitoring of spatio-temporal properties

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468448 ◽

2021 ◽

Author(s):

Giorgio Audrito ◽

Gianluca Torta

Keyword(s):

Temporal Properties ◽

Spatio Temporal

Download Full-text

Increasing confidence in autonomous systems

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution ◽

10.1145/3464974.3468452 ◽

2021 ◽

Author(s):

Michael Fisher ◽

Angelo Ferrando ◽

Rafael C. Cardoso

Keyword(s):

Autonomous Systems

Download Full-text

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecutionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Runtime verification for trustworthy secure shell deployment

RVPLAN: a general purpose framework for replanning using runtime verification

Optional monitoring for long-lived transactions

Test’n’Mo: a collaborative platform for human testers and intelligent monitoring agents

RM for users’ safety and security in the built environment

Synchronous and asynchronous stream runtime verification

The e-ACSL perspective on runtime assertion checking

Towards aggregate monitoring of spatio-temporal properties

Increasing confidence in autonomous systems

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution
Latest Publications