Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sousa Pinto, Jorge
5379  Ergebnisse:
Personensuche X
?
1

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/..
 
?
2

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/..
 
?
3

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/..
 
?
4

'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/..
 
?
5

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/..
 
?
6

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/..
 
?
7

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/..
 
?
8

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..
 
?
9

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/..
 
?
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://dl.acm.org/doi/1..
 
?
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://doi.org/10.1145/..
 
?
12

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/..
 
?
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://dl.acm.org/doi/1..
 
?
14

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/..
 
?
15

Towards a mostly-automated prover for bit-vector arithmetic:

, In: Proceedings of the International C* Conference on Computer Science and Software Engineering,
Abal, Iago ; Pinto, Jorge Sousa - p. 132-133 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15