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

1

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

2

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

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

An Approach to Model Checking Ada Programs:

, In: Reliable Software Technologies – Ada-Europe 2012; Lecture Notes in Computer Science,

Faria, José Miguel ; Martins, João ; Pinto, Jorge Sousa - p. 105-118 , 2012

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

13

Assertion-based slicing and slice graphs:

Barros, José Bernardo ; da Cruz, Daniela ; Henriques, Pedro Rangel.
Formal Aspects of Computing. 24 (2012) 2 - p. 217-248 , 2012

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

14

An approach to model checking ada programs:

, In: Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies,

Faria, José Miguel ; Martins, João ; Pinto, Jorge Sousa - p. 105-118 , 2012

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

15

Preface:

Kniesel, Günter ; Pinto, Jorge Sousa
Electronic Notes in Theoretical Computer Science. 290 (2012) - p. 1-2 , 2012

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