Login / Signup
Bounded-memory runtime enforcement with probabilistic and performance analysis.
Saumya Shankar
Ankit Pradhan
Srinivas Pinisetty
Antoine Rollet
Yliès Falcone
Published in:
Formal Methods Syst. Des. (2024)
Keyphrases
</>
bounded memory
probabilistic model
data streams
data driven
uncertain data
real time
website
xml documents
databases
data mining
machine learning
database systems
access control
generative model
information theoretic
probabilistic reasoning