From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection.

E. Stachtiari, Y. Soupionis, P. Katsaros, A. Mentis, и D. Gritzalis. CRITIS, том 7722 из Lecture Notes in Computer Science, стр. 143-154. Springer, (2012)

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.

Emmanouela Grypeou

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

Architecture-Based Design: A Satellite On-Board Software Case Study.A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov, P. Katsaros, и J. Sifakis. FACS, том 10231 из Lecture Notes in Computer Science, стр. 260-279. (2016)Summarization Meets Visualization on Online Social Networks.H. Gabriel, M. Spiliopoulou, E. Stachtiari, и A. Vakali. Web Intelligence, стр. 475-478. IEEE Computer Society, (2011)Correct-by-Construction Web Service Architecture.E. Stachtiari, N. Vesyropoulos, G. Kourouleas, C. Georgiadis, и P. Katsaros. SOSE, стр. 47-58. IEEE Computer Society, (2014)Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework.E. Stachtiari, A. Mentis, и P. Katsaros. ICWS, стр. 319-326. IEEE Computer Society, (2012)Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection.E. Stachtiari, Y. Soupionis, P. Katsaros, A. Mentis, и D. Gritzalis. CRITIS, том 7722 из Lecture Notes in Computer Science, стр. 143-154. Springer, (2012)Solving Schedulability as a Search Space Problem with Decision Diagrams.D. Racordon, A. Coet, E. Stachtiari, и D. Buchs. SSBSE, том 12420 из Lecture Notes in Computer Science, стр. 73-87. Springer, (2020)Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources.A. Naskos, E. Stachtiari, P. Katsaros, и A. Gounaris. RV, том 9333 из Lecture Notes in Computer Science, стр. 275-280. Springer, (2015)Early validation of system requirements and design through correctness-by-construction.E. Stachtiari, A. Mavridou, P. Katsaros, S. Bliudze, и J. Sifakis. J. Syst. Softw., (2018)Correct by construction model based design for systems and softwareE. Stachtiari. Aristotle University Of Thessaloniki, Greece, (2018)National Archive of PhD Theses: oai:10442/44836.VeriSolid: Correct-by-Design Smart Contracts for Ethereum.A. Mavridou, A. Laszka, E. Stachtiari, и A. Dubey. Financial Cryptography, том 11598 из Lecture Notes in Computer Science, стр. 446-465. Springer, (2019)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Emmanouela Grypeou

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

Disambiguation