E-LIB Suche - Ergebnisse für: Sousa Pinto, Jorge

1

Exploring Frama-C Resources by Verifying Space Software:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,

Busquim e Silva, Rovedy Aparecida ; Arai, Nanci Naomi ; Burgareli, Luciana Akemi.. - p. 583-615 , 2024

2

A verified VCGen based on dynamic logic: An exercise in met..:

Frade, Maria João ; Sousa Pinto, Jorge
Journal of Logical and Algebraic Methods in Programming. 133 (2023) - p. 100871 , 2023

Link: https://doi.org/10.1016/..

3

Testing for Race Conditions in Distributed Systems via SMT ..:

, In: Tests and Proofs; Lecture Notes in Computer Science,

Pereira, João Carlos ; Machado, Nuno ; Sousa Pinto, Jorge - p. 122-140 , 2020

Link: https://doi.org/10.1007/..

4

In vitro diagnosis of drug allergy. Assessment of the chrom..:

De Sousa Pinto, Jorge M. ; Babo, Maria João
Pharmacoepidemiology and Drug Safety. 6 (1997) S3 - p. S61-S69 , 1997

Link: https://doi.org/10.1002/..

5

'Whether it pleases the locals or not': Empire and Consent ..:

Pinto, Paulo Jorge de Sousa
Ler História; Impérios: temas emergentes. 84 (2024) - p. 55-77 , 2024

Link: https://doi.org/10.4000/..

6

A tribute to José Manuel Valença:

Oliveira, José Nuno ; Pinto, Jorge Sousa ; Barbosa, Luís Soares.
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100792 , 2022

Link: https://doi.org/10.1016/..

7

Why3-do: The Way of Harmonious Distributed System Proofs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lourenço, Cláudio Belo ; Pinto, Jorge Sousa - p. 114-142 , 2022

Link: https://doi.org/10.1007/..

8

A deductive reasoning approach for database applications us..:

Alam, Md. Imran ; Halder, Raju ; Pinto, Jorge Sousa
Journal of Systems and Software. 175 (2021) - p. 110903 , 2021

Link: https://doi.org/10.1016/..

9

A generalized program verification workflow based on loop e..:

, In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering,

Lourenço, Cláudio Belo ; Frade, Maria João ; Pinto, Jorge Sousa - p. 75-84 , 2019

Link: https://dl.acm.org/doi/1..

10

SMT-based schedulability analysis using RMTL-∫:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 14 (2017) 3 - p. 40-42 , 2017

Link: https://doi.org/10.1145/..

11

SMT-based schedulability analysis using RMTL-∫:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 14 (2017) 3 - p. 40-42 , 2017

Link: https://dl.acm.org/doi/1..

12

Runtime verification of autopilot systems using a fragment ..:

de Matos Pedro, André ; Pinto, Jorge Sousa ; Pereira, David.
International Journal on Software Tools for Technology Transfer. 20 (2017) 4 - p. 379-395 , 2017

Link: https://doi.org/10.1007/..

13

Logic-based schedulability analysis for compositional hard ..:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 12 (2015) 1 - p. 56-64 , 2015

Link: https://doi.org/10.1145/..

14

Logic-based schedulability analysis for compositional hard ..:

de Matos Pedro, André ; Pereira, David ; Pinho, Luís Miguel.
ACM SIGBED Review. 12 (2015) 1 - p. 56-64 , 2015

Link: https://dl.acm.org/doi/1..

15

CAOVerif: An open-source deductive verification platform fo..:

Almeida, José Bacelar ; Barbosa, Manuel ; Filliâtre, Jean-Christophe..
Science of Computer Programming. 91 (2014) - p. 216-233 , 2014

Link: https://doi.org/10.1016/..