( en | de | ru )

 

Disambiguierung von "Pereira, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Well-formed control flow for critical sections in RTFM-core.

, , , , und . INDIN, Seite 1438-1445. IEEE, (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.

Roberto Pereira

Marcos Pereira

Tiago Pereira

Sílvia Pereira

Gislene Pereira

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs., , , , , und . SIGBED Review, 13 (1): 48-53 (2016)A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring., , und . Ada-Europe, Volume 9111 von Lecture Notes in Computer Science, Seite 66-82. Springer, (2015)Response time for IEC 61499 over Ethernet., , , , , und . INDIN, Seite 1206-1212. IEEE, (2015)Logic-based schedulability analysis for compositional hard real-time embedded systems., , , und . SIGBED Review, 12 (1): 56-64 (2015)A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems., , , , , , , , , und 5 andere Autor(en). QUATIC, Volume 1439 von Communications in Computer and Information Science, Seite 325-340. Springer, (2021)Towards certified program logics for the verification of imperative programs. University of Porto, Portugal, (2013)Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks., , und . ISSRE Workshops, Seite 237-242. IEEE, (2020)REVERT: Runtime Verification for Real-Time Systems., , , und . RTSS, Seite 365. IEEE Computer Society, (2016)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , und 6 andere Autor(en). DSD, Seite 352-359. IEEE, (2020)Real-time MTL with durations as SMT with applications to schedulability analysis., , , und . TASE, Seite 49-56. IEEE, (2020)