( en | de | ru )

 

Disambiguierung von "de Niz, Dionisio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constructing Real-time Group Communication Middleware Using the Resource Kernel.

, , , , und . RTSS, Seite 3-12. IEEE Computer Society, (2000)

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.

Sophia Nizielski

José Dionísio

Delia Myrna Nizet

Corrado Nizzola

Peter Niziak

 

Weitere Publikationen von Autoren mit dem selben Namen

Software Rejuvenation for Secure Tracking Control., , , und . CoRR, (2018)Verification of Replication Architectures in AADL., und . ICECCS, Seite 365-370. IEEE Computer Society, (2009)Resource allocation contracts for open analytic runtime models., , , und . EMSOFT, Seite 13-22. ACM, (2011)Time weaver: a software-through-models framework for embedded real-time systems., und . LCTES, Seite 133-143. ACM, (2003)Behavioral complexity quantification (Becom-Q)., , und . WETSoM@ICSE, Seite 29-35. ACM, (2016)On Resource Overbooking in an Unmanned Aerial Vehicle., , , , und . ICCPS, Seite 97-106. IEEE Computer Society, (2012)Formal Verification of a Mixed-Trust Synchronization Protocol., , , , , , , und . RTNS, Seite 57-67. ACM, (2021)Work-In-Progress: Toward Precomputation in Real-Time Mixed-Trust Scheduling., , , , und . RTSS, Seite 411-414. IEEE, (2020)Semantic Importance Sampling for Statistical Model Checking., , , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2015)Software Rejuvenation for Safe Operation of Cyber-Physical Systems in the Presence of Run-Time Cyberattacks., , , , und . IEEE Trans. Control. Syst. Technol., 31 (4): 1565-1580 (Juli 2023)