( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources.

, , , и . RV, том 9333 из Lecture Notes in Computer Science, стр. 275-280. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Byron Katsaros

Konstantinos Katsaros

Christos Katsaros

Byron Katsaros

Wassilias Katsaros

 

Другие публикации лиц с тем же именем

The ACID model checker and code generator for transaction processing., и . HPCS, стр. 138-144. IEEE, (2009)Economic Evaluation of Interactive Audio Media for Securing Internet Services., , и . ICGS3/e-Democracy, том 99 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 46-53. Springer, (2011)Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection., , , , и . CRITIS, том 7722 из Lecture Notes in Computer Science, стр. 143-154. Springer, (2012)On Neural Network Equivalence Checking Using SMT Solvers., , , и . FORMATS, том 13465 из Lecture Notes in Computer Science, стр. 237-257. Springer, (2022)Combining Invariant Violation with Execution Path Classification for Detecting Multiple Types of Logical Errors and Race Conditions., , , и . SECRYPT, стр. 28-40. SciTePress, (2016)Product Line Variability with Elastic Components and Test-Driven Development., , и . CIMCA/IAWTIC/ISE, стр. 146-151. IEEE Computer Society, (2008)Securing Legacy Code with the TRACER Platform., , , , , , , и . Panhellenic Conference on Informatics, стр. 26:1-26:6. ACM, (2014)Abstract Model Repair., , , и . NASA Formal Methods, том 7226 из Lecture Notes in Computer Science, стр. 341-355. Springer, (2012)Semantic Modeling and Analysis of Natural Language System Requirements., , , и . IEEE Access, (2022)Runtime Verification for FMI-Based Co-simulation., , и . RV, том 13498 из Lecture Notes in Computer Science, стр. 304-313. Springer, (2022)