Zobrazeno 1 - 6
of 6
pro vyhledávání: '"George Chatzieleftheriou"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)
Given a Kripke structure M and CTL formula $\varphi$, where M does not satisfy $\varphi$, the problem of Model Repair is to obtain a new model M' such that M' satisfies $\varphi$. Moreover, the changes made to M to derive M' should be minimum with re
Externí odkaz:
https://doaj.org/article/7a563f6580e441cb9df06a7cbf3adcf8
Publikováno v:
Information and Computation. 259:142-160
Given a Discrete Time Markov Chain M and a probabilistic temporal logic formula φ, where M violates φ, the problem of Model Repair is to obtain a new model M ′ , such that M ′ satisfies φ. Additionally, the changes made to M in order to obtain
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14d8f78245f9097d94aad893adb08c7c
https://doi.org/10.1016/j.ic.2018.02.019
https://doi.org/10.1016/j.ic.2018.02.019
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 9783662452301
A large number of tools that automate the process of finding errors in programs has recently emerged in the software development community. Many of them use static analysis as the main method for analyzing and capturing faults in the source code. Sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da87caa1de91f55d16a858449acf87a2
https://doi.org/10.1007/978-3-662-45231-8_39
https://doi.org/10.1007/978-3-662-45231-8_39
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642288906
NASA Formal Methods
NASA Formal Methods
Given a Kripke structure M and CTL formula $\varphi$, where M does not satisfy $\varphi$, the problem of Model Repair is to obtain a new model M' such that M' satisfies $\varphi$. Moreover, the changes made to M to derive M' should be minimum with re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9510260cb1cb87178542790c4792482b
https://doi.org/10.1007/978-3-642-28891-3_32
https://doi.org/10.1007/978-3-642-28891-3_32
Publikováno v:
COMPSAC Workshops
Recently, a number of tools for automated code scanning came in the limelight. Due to the significant costs associated with incorporating such a tool in the software lifecycle, it is important to know what defects are detected and how accurate and ef
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7f6acfd9755c8e24eabf839e6758bd9
https://doi.org/10.1109/compsacw.2011.26
https://doi.org/10.1109/compsacw.2011.26
Autor:
Aliki Tserkezoglou, Demitra Daskalopoulou, George Magiakos, George Chatzieleftheriou, Maria Kouvousi, Efstathia Panotopoulou, Ioanna Tsiaousi
Publikováno v:
Journal of medical virology. 79(12)
To study HPV prevalence and HPV types 6, 11, 16, 18, 31, and 33 distribution in cervical smears in a cohort of Greek women. One thousand six hundred thirty-six samples were cytologically evaluated and molecularly analyzed, by PCR based assay. Abnorma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6cbdbb0952b15c4742209ecfd69a664
https://pubmed.ncbi.nlm.nih.gov/17935171
https://pubmed.ncbi.nlm.nih.gov/17935171