runtime enforcement
Recently Published Documents
Luca Aceto
◽
Ian Cassar
◽
Adrian Francalanza
◽
Anna Ingólfsdóttir
Yliès Falcone
◽
Gwen Salaün
Dhananjay Raju
◽
Sudarshanan Bharadwaj
◽
Franck Djeumou
◽
Ufuk Topcu
Norine Coenen
◽
Bernd Finkbeiner
◽
Christopher Hahn
◽
Jana Hofmann
◽
Yannick Schillo
2020 ◽
Vol 21
(11)
◽
pp. 1591-1606
Chi Hu
◽
Wei Dong
◽
Yong-hui Yang
◽
Hao Shi
◽
Fei Deng
2020 ◽
Vol 32
(2-3)
◽
pp. 315-360
Matthieu Renard
◽
Antoine Rollet
◽
Yliès Falcone
Ruggero Lanotte
◽
Massimo Merro
◽
Andrei Munteanu
Elvinia Riccobene
◽
Patrizia Scandurra
2019 ◽
Vol 14
(2)
◽
pp. 1-29
◽
Oliviero Riganelli
◽
Daniela Micucci
◽
Leonardo Mariani
Hammond Pearce
◽
Matthew M. Y. Kuo
◽
Partha S. Roop
◽
Srinivas Pinisetty