( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

, , , , , , , , , , , , , , , и . Formal Methods Syst. Des., 55 (1): 72 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gil dos Santos Guerreiro João

Lourenço Chiluvane

Ulrike Wiescholek Lourenço

João Barros

João Fonseca

 

Другие публикации лиц с тем же именем

Discovering Concurrency Errors., , , и . Lectures on Runtime Verification, том 10457 из Lecture Notes in Computer Science, Springer, (2018)A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , и 6 other автор(ы). Formal Methods Syst. Des., 54 (3): 279-335 (2019)Ephemeral Data Storage for Networks of Hand-Held Devices., , , и . Trustcom/BigDataSE/ISPA, стр. 1106-1113. IEEE, (2016)It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments., , , , , и . Future Gener. Comput. Syst., (2021)Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)., , , , , , , , , и 6 other автор(ы). Formal Methods Syst. Des., 55 (1): 72 (2019)A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)., , , , , , , , , и 6 other автор(ы). CoRR, (2018)Framework Support for the Efficient Implementation of Multi-version Algorithms., , и . Transactional Memory, том 8913 из Lecture Notes in Computer Science, Springer, (2015)Verifying Real-World Software with Contracts for Concurrency.. ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 70-73. Springer, (2018)Pot: Deterministic Transactional Execution., , , и . ACM Trans. Archit. Code Optim., 13 (4): 52:1-52:24 (2016)Lazy State Determination: More concurrency for contending linearizable transactions., , , , , и . CoRR, (2020)