Works matching IS 14332779 AND DT 2021 AND VI 23 AND IP 4
Results: 8
Compositional learning of mutually recursive procedural systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 521, doi. 10.1007/s10009-021-00634-y
- By:
- Publication type:
- Article
Specifying and detecting temporal patterns with shape expressions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 565, doi. 10.1007/s10009-021-00627-x
- By:
- Publication type:
- Article
An extension of first-order LTL with rules with application to runtime verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 547, doi. 10.1007/s10009-021-00626-y
- By:
- Publication type:
- Article
What can we monitor over unreliable channels?
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 579, doi. 10.1007/s10009-021-00625-z
- By:
- Publication type:
- Article
Comparing controlled system synthesis and suppression enforcement.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 601, doi. 10.1007/s10009-021-00624-0
- By:
- Publication type:
- Article
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 615, doi. 10.1007/s10009-021-00623-1
- By:
- Publication type:
- Article
Quantitative estimation of side-channel leaks with neural networks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 641, doi. 10.1007/s10009-021-00622-2
- By:
- Publication type:
- Article
Introduction to the special issue of the 19th International Conference on Runtime Verification.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 545, doi. 10.1007/s10009-021-00621-3
- By:
- Publication type:
- Article