( en | de | ru )

 

Disambiguierung von "Sanán, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Specification and Analysis of Partitioning Operating Systems by Integrating Ontology and Refinement.

, , , und . IEEE Trans. Ind. Informatics, 12 (4): 1321-1331 (2016)

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.

Farahnaz Sananbenesi

Sanan Jörg Badrawy

Jürgen Davids

Volker David

Bodo David

 

Weitere Publikationen von Autoren mit dem selben Namen

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems., , , und . CoRR, (2018)An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor., , , , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 388-405. (2016)Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B., , , und . ISSRE, Seite 281-292. IEEE Computer Society, (2015)Model Checking C Programs with Dynamic Memory Allocation., , und . COMPSAC, Seite 219-226. IEEE Computer Society, (2008)Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS., und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 515-533. Springer, (2019)Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code., , , , und . ICECCS, Seite 120-129. IEEE Computer Society, (2015)CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs., , , , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 481-498. (2017)Towards Model Checking C Code with OPEN/CÆSAR., , und . MSVVEIS, Seite 198-201. INSTICC Press, (2006)Extending CADP for Analyzing C Code., , und . MSVVEIS, Seite 104-113. INSTICC PRESS, (2007)VeriFormal: An Executable Formal Model of a Hardware Description Language., , und . SG-CRC, Volume 15 von Cryptology and Information Security Series, Seite 19-36. IOS Press, (2017)