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

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

4

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

5

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

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

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

8

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

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://doi.org/10.1145/..

10

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

11

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

12

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

13

Verification conditions for single-assignment programs:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

da Cruz, Daniela ; Frade, Maria João ; Pinto, Jorge Sousa - p. 1264-1270 , 2012

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

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

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