Trace-Length Independent Runtime Monitoring of Quantitative Policies

Author(s):  
Xiaoning Du ◽  
Alwen Tiu ◽  
Kun Cheng ◽  
Yang Liu
2020 ◽  
Vol 27 (2) ◽  
pp. 102-116
Author(s):  
Esen Yel ◽  
Taylor J. Carpenter ◽  
Carmelo Di Franco ◽  
Radoslav Ivanov ◽  
Yiannis Kantaros ◽  
...  

10.29007/7lrd ◽  
2018 ◽  
Author(s):  
Ian Cassar ◽  
Adrian Francalanza ◽  
Duncan Attard ◽  
Luca Aceto ◽  
Anna Ingolfsdottir

Ensuring formal correctness for actor-based, concurrent systems is a difficult task, pri- marily because exhaustive, static analysis verification techniques such as model checking quickly run into state-explosion problems. Runtime monitoring techniques such as Run- time Verification and Adaptation circumvent this limitation by verifying the correctness of a program by dynamically analysing its executions. This paper gives an overview of a suite of monitoring tools available for verifying and adapting actor-based Erlang programs.


Bragantia ◽  
1995 ◽  
Vol 54 (2) ◽  
pp. 237-249 ◽  
Author(s):  
Celso V. Pommer ◽  
David W. Ramming ◽  
Richard L. Emershad

Eighteen seedless grape genotypes differing in ripening season (early, mid and late) and in seed trace size (small, medium and large) were harvested at 6, 10, 14, 18 and 22 weeks past bloom (wpb). Using embryo rescue techniques it was studied if embryo do abort as the fruit matures and what percent embryos remain viable at later stages. The size of seed trace was also investigated to determine its influence on embryo viability during maturation. It was found that genotype have great influence on embryo culture traits. Late maturing genotypes showed fewer rescued embryos, germinated embryos and transplantable plants than early and mid season ones. The best culture time for grape embryo rescue is 6 and 10 wpb. At these dates, the largest number of embryos, germinated embryos and transplantable plants were obtained. Genotypes with the largest ratio for seed trace weight/seed trace length (i.e., largest density) showed the greatest tendency to have the largest number of ovules with embryos, more germinated embryos and more transplantable plants. The study also showed that it is possible to recover plants from mature fruit harvested late, although at a much reduced rate.


Sign in / Sign up

Export Citation Format

Share Document