runtime enforcement
Recently Published Documents

TOTAL DOCUMENTS

54
(FIVE YEARS 4)

H-INDEX

9
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Bidirectional Runtime Enforcement

2021 ◽  
pp. 3-21
Author(s):  
Luca Aceto ◽  
Ian Cassar ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir
Keyword(s):  
Runtime Enforcement

scholarly journals Online Synthesis for Runtime Enforcement of Safety in Multi-agent Systems

2021 ◽  
pp. 1-1
Author(s):  
Dhananjay Raju ◽  
Sudarshanan Bharadwaj ◽  
Franck Djeumou ◽  
Ufuk Topcu
Keyword(s):  
Multi Agent Systems ◽  
Runtime Enforcement ◽  
Agent Systems ◽  
Multi Agent

scholarly journals Runtime Enforcement with Reordering, Healing, and Suppression

2021 ◽  
pp. 47-65
Author(s):  
Yliès Falcone ◽  
Gwen Salaün
Keyword(s):  
Runtime Enforcement

Runtime Enforcement of Hyperproperties

2021 ◽  
pp. 283-299
Author(s):  
Norine Coenen ◽  
Bernd Finkbeiner ◽  
Christopher Hahn ◽  
Jana Hofmann ◽  
Yannick Schillo
Keyword(s):  
Runtime Enforcement

Decentralized runtime enforcement for robotic swarms

2020 ◽  
Vol 21 (11) ◽  
pp. 1591-1606
Author(s):  
Chi Hu ◽  
Wei Dong ◽  
Yong-hui Yang ◽  
Hao Shi ◽  
Fei Deng
Keyword(s):  
Runtime Enforcement ◽  
Robotic Swarms

scholarly journals Runtime enforcement of timed properties using games

2020 ◽  
Vol 32 (2-3) ◽  
pp. 315-360
Author(s):  
Matthieu Renard ◽  
Antoine Rollet ◽  
Yliès Falcone
Keyword(s):  
Runtime Enforcement ◽  
Timed Properties

scholarly journals Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement

2019 ◽  
Vol 14 (2) ◽  
pp. 1-29 ◽  
Author(s):  
Oliviero Riganelli ◽  
Daniela Micucci ◽  
Leonardo Mariani
Keyword(s):  
Runtime Enforcement ◽  
Android Apps
Load More ...
Sign in / Sign up

Export Citation Format

Share Document