( en | de | ru )

 

Disambiguierung von "Stachtiari, Emmanouela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dependable Horizontal Scaling Based on Probabilistic Model Checking.

, , , , , , und . CCGRID, Seite 31-40. IEEE Computer Society, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Emmanouela Grypeou

 

Weitere Publikationen von Autoren mit dem selben Namen

Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 260-279. (2016)Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid., , , , und . IEEE Trans. Dependable Secur. Comput., 20 (4): 3110-3127 (Juli 2023)Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection., , , , und . CRITIS, Volume 7722 von Lecture Notes in Computer Science, Seite 143-154. Springer, (2012)Solving Schedulability as a Search Space Problem with Decision Diagrams., , , und . SSBSE, Volume 12420 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2020)Correct-by-Construction Web Service Architecture., , , , und . SOSE, Seite 47-58. IEEE Computer Society, (2014)Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework., , und . ICWS, Seite 319-326. IEEE Computer Society, (2012)Cloud elasticity using probabilistic model checking., , , , , , und . CoRR, (2014)Compositional execution semantics for business process verification., und . J. Syst. Softw., (2018)Summarization Meets Visualization on Online Social Networks., , , und . Web Intelligence, Seite 475-478. IEEE Computer Society, (2011)Early validation of system requirements and design through correctness-by-construction., , , , und . J. Syst. Softw., (2018)