( en | de | ru )

 

Disambiguierung von "Pinto, Jorge Sousa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification With Frama-C: A Case Study in the Space Software Domain.

, , , , und . IEEE Trans. Reliability, 65 (3): 1163-1179 (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.

Jorge Gómez Sousa

Gideon Sousa

Carlos Sousa

Ágabo Borges de Sousa

Maria Constança Dias Urbano Sousa

 

Weitere Publikationen von Autoren mit dem selben Namen

GamaSlicer: an online laboratory for program verification and analysis., , und . LDTA, Seite 3. ACM, (2010)Recursion patterns and time-analysis., , und . ACM SIGPLAN Notices, 40 (5): 45-54 (2005)Monitoring for a Decidable Fragment of MTL-∫., , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 169-184. Springer, (2015)A Compositional Monitoring Framework for Hard Real-Time Systems., , , und . NASA Formal Methods, Volume 8430 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2014)A Bounded Model Checker for SPARK Programs., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 24-30. Springer, (2014)Sequential and Concurrent Abstract Machines for Interaction Nets.. FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2000)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 493-495. Springer, (2012)Verification conditions for source-level imperative programs., und . Comput. Sci. Rev., 5 (3): 252-277 (2011)Combining interaction nets with externally defined programs., , und . APPIA-GULP-PRODE, Seite 297-312. Departamento de Informática, Universidade de Évora, (2001)Weak reduction and garbage collection in interaction nets.. WRS, Volume 86 von Electronic Notes in Theoretical Computer Science, Seite 625-640. Elsevier, (2003)