![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jorge Sousa Pinto
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j20]Maria João Frade
, Jorge Sousa Pinto
:
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3. J. Log. Algebraic Methods Program. 133: 100871 (2023) - 2022
- [j19]José Nuno Oliveira, Jorge Sousa Pinto
, Luís Soares Barbosa
, Pedro Rangel Henriques
:
A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. 128: 100792 (2022) - [c38]Cláudio Belo Lourenço
, Jorge Sousa Pinto
:
Why3-do: The Way of Harmonious Distributed System Proofs. ESOP 2022: 114-142 - 2021
- [j18]Md. Imran Alam
, Raju Halder
, Jorge Sousa Pinto
:
A deductive reasoning approach for database applications using verification conditions. J. Syst. Softw. 175: 110903 (2021) - 2020
- [c37]João Carlos Pereira
, Nuno Machado
, Jorge Sousa Pinto
:
Testing for Race Conditions in Distributed Systems via SMT Solving. TAP@STAF 2020: 122-140 - [c36]André de Matos Pedro, Martin Leucker
, David Pereira, Jorge Sousa Pinto
:
Real-time MTL with durations as SMT with applications to schedulability analysis. TASE 2020: 49-56
2010 – 2019
- 2019
- [c35]Cláudio Belo Lourenço
, Maria João Frade
, Jorge Sousa Pinto
:
A generalized program verification workflow based on loop elimination and SA form. FormaliSE@ICSE 2019: 75-84 - 2018
- [j17]André de Matos Pedro
, Jorge Sousa Pinto
, David Pereira
, Luís Miguel Pinho
:
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. Int. J. Softw. Tools Technol. Transf. 20(4): 379-395 (2018) - [c34]Cláudio Belo Lourenço
, Maria João Frade
, Shin Nakajima, Jorge Sousa Pinto
:
A Generalized Approach to Verification Condition Generation. COMPSAC (1) 2018: 194-203 - [c33]Md. Imran Alam
, Raju Halder
, Harshita Goswami, Jorge Sousa Pinto
:
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework. ENASE 2018: 359-366 - 2017
- [j16]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho, Jorge Sousa Pinto
:
SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14(3): 40-42 (2017) - 2016
- [j15]Rovedy Aparecida Busquim e Silva, Nanci Naomi Arai, Luciana Akemi Burgareli, José Maria Parente de Oliveira, Jorge Sousa Pinto
:
Formal Verification With Frama-C: A Case Study in the Space Software Domain. IEEE Trans. Reliab. 65(3): 1163-1179 (2016) - [c32]Cláudio Belo Lourenço
, Maria João Frade
, Jorge Sousa Pinto
:
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. ESOP 2016: 41-67 - [i4]Cláudio Belo Lourenço
, Maria João Frade
, Jorge Sousa Pinto
:
A Single-Assignment Translation for Annotated Programs. CoRR abs/1601.00584 (2016) - 2015
- [j14]Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto:
Studying Verification Conditions for Imperative Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [j13]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho, Jorge Sousa Pinto
:
Logic-based schedulability analysis for compositional hard real-time embedded systems. SIGBED Rev. 12(1): 56-64 (2015) - [c31]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho
, Jorge Sousa Pinto
:
Monitoring for a Decidable Fragment of MTL-∫. RV 2015: 169-184 - 2014
- [j12]José Bacelar Almeida
, Manuel Barbosa
, Jean-Christophe Filliâtre, Jorge Sousa Pinto
, Bárbara Vieira:
CAOVerif: An open-source deductive verification platform for cryptographic software implementations. Sci. Comput. Program. 91: 216-233 (2014) - [c30]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho
, Jorge Sousa Pinto
:
Towards a Runtime Verification Framework for the Ada Programming Language. Ada-Europe 2014: 58-73 - [c29]Cláudio Belo Lourenço
, Maria João Frade
, Jorge Sousa Pinto
:
A Bounded Model Checker for SPARK Programs. ATVA 2014: 24-30 - [c28]André de Matos Pedro
, David Pereira
, Luís Miguel Pinho
, Jorge Sousa Pinto
:
A Compositional Monitoring Framework for Hard Real-Time Systems. NASA Formal Methods 2014: 16-30 - [c27]Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto
, Aaron Tomb:
Formal Verification of kLIBC with the WP Frama-C Plug-in. NASA Formal Methods 2014: 343-358 - 2013
- [j11]José Bacelar Almeida
, Manuel Barbosa
, Jorge Sousa Pinto
, Bárbara Vieira:
Formal verification of side-channel countermeasures using self-composition. Sci. Comput. Program. 78(7): 796-812 (2013) - [c26]Iago Abal, Jorge Sousa Pinto
:
Towards a mostly-automated prover for bit-vector arithmetic. C3S2E 2013: 132-133 - [c25]Daniela Carneiro da Cruz, Pedro Rangel Henriques
, Jorge Sousa Pinto
:
Interactive Verification of Safety-Critical Software. COMPSAC 2013: 519-528 - 2012
- [j10]José Bernardo Barros
, Daniela Carneiro da Cruz, Pedro Rangel Henriques
, Jorge Sousa Pinto
:
Assertion-based slicing and slice graphs. Formal Aspects Comput. 24(2): 217-248 (2012) - [c24]José Miguel Faria, João Martins, Jorge Sousa Pinto
:
An Approach to Model Checking Ada Programs. Ada-Europe 2012: 105-118 - [c23]Daniela Carneiro da Cruz, Maria João Frade
, Jorge Sousa Pinto
:
Verification conditions for single-assignment programs. SAC 2012: 1264-1270 - [c22]Iago Abal, Alcino Cunha
, Joe Hurd, Jorge Sousa Pinto
:
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT 2012: 493-495 - [e2]Günter Kniesel, Jorge Sousa Pinto:
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008. Electronic Notes in Theoretical Computer Science 290, Elsevier 2012 [contents] - 2011
- [b1]José Bacelar Almeida
, Maria João Frade
, Jorge Sousa Pinto
, Simão Melo de Sousa:
Rigorous Software Development - An Introduction to Program Verification. Undergraduate Topics in Computer Science, Springer 2011, ISBN 978-0-85729-017-5, pp. I-XII, 1-263 - [j9]Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques
, Jorge Sousa Pinto
:
GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011) - [j8]Maria João Frade
, Jorge Sousa Pinto
:
Verification conditions for source-level imperative programs. Comput. Sci. Rev. 5(3): 252-277 (2011) - 2010
- [j7]Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto:
Safe Integration of Annotated Components in Open Source Projects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010) - [j6]Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira:
A Deductive Verification Platform for Cryptographic Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010) - [j5]José Bacelar Almeida
, Manuel Barbosa
, Jorge Sousa Pinto
, Bárbara Vieira:
Deductive verification of cryptographic software. Innov. Syst. Softw. Eng. 6(3): 203-218 (2010) - [c21]Eduardo Brito, Jorge Sousa Pinto
:
Program Verification in SPARK and ACSL: A Comparative Case Study. Ada-Europe 2010: 97-110 - [c20]Daniela Carneiro da Cruz, Pedro Rangel Henriques
, Jorge Sousa Pinto
:
Contract-Based Slicing. ISoLA (1) 2010: 106-120 - [c19]André Carvalho, Joel Carvalho, Jorge Sousa Pinto
, Simão Melo de Sousa
:
Model-Checking Temporal Properties of Real-Time HTL Programs. ISoLA (2) 2010: 191-205 - [c18]Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto
:
Contract-Based Slicing Helps on Safety Reuse. ICPC 2010: 62-63 - [c17]Daniela Carneiro da Cruz, Pedro Rangel Henriques
, Jorge Sousa Pinto
:
GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3 - [c16]José Bernardo Barros
, Daniela Carneiro da Cruz, Pedro Rangel Henriques
, Jorge Sousa Pinto
:
Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102
2000 – 2009
- 2009
- [c15]José Bacelar Almeida
, Manuel Barbosa
, Jorge Sousa Pinto
, Bárbara Vieira:
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52 - [c14]Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira:
Deductive Verification of Cryptographic Software. NASA Formal Methods 2009: 146-155 - [e1]Ana Bove
, Luís Soares Barbosa
, Alberto Pardo, Jorge Sousa Pinto
:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520, Springer 2009, ISBN 978-3-642-03152-6 [contents] - [i3]Ian Mackie, Jorge Sousa Pinto
, Miguel Vilaça:
Iterators, Recursors and Interaction Nets. CoRR abs/0910.3321 (2009) - 2008
- [c13]Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto
:
Visual Programming with Interaction Nets. Diagrams 2008: 165-171 - [c12]Günter Kniesel, Jorge Sousa Pinto
:
Preface. RULE 2008: 1-2 - [i2]José Bacelar Almeida
, Jorge Sousa Pinto
:
Deriving Sorting Algorithms. CoRR abs/0802.3881 (2008) - [i1]João Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto
:
Lissom, a Source Level Proof Carrying Code Platform. CoRR abs/0803.2317 (2008) - 2007
- [j4]Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça:
Visual Programming with Recursion Patterns in Interaction Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007) - [c11]José Bacelar Almeida
, Jorge Sousa Pinto
, Miguel Vilaça:
A Tool for Programming with Interaction Nets. RULE@RDP 2007: 83-96 - [c10]José Bacelar Almeida
, Jorge Sousa Pinto
, Miguel Vilaça:
Token-passing Nets for Functional Languages. WRS@RDP 2007: 181-198 - 2006
- [c9]José Bacelar Almeida
, Jorge Sousa Pinto
, Miguel Vilaça:
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. TERMGRAPH@ETAPS 2006: 139-163 - 2005
- [j3]Alcino Cunha, Jorge Sousa Pinto:
Point-free Program Transformation. Fundam. Informaticae 66(4): 315-352 (2005) - [j2]Manuel Barbosa
, Alcino Cunha
, Jorge Sousa Pinto
:
Recursion patterns and time-analysis. ACM SIGPLAN Notices 40(5): 45-54 (2005) - [c8]Alcino Cunha
, Jorge Sousa Pinto
, José Proença
:
A Framework for Point-Free Program Transformation. IFL 2005: 1-18 - 2003
- [c7]Jorge Sousa Pinto
:
Weak reduction and garbage collection in interaction nets. WRS 2003: 625-640 - 2002
- [j1]Ian Mackie, Jorge Sousa Pinto
:
Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176(2): 153-186 (2002) - [c6]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
:
A Higher-Order Calculus for Graph Transformation. TERMGRAPH 2002: 45-58 - 2001
- [c5]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
Combining interaction nets with externally defined programs. APPIA-GULP-PRODE 2001: 297-312 - [c4]Jorge Sousa Pinto
:
Parallel Evaluation of Interaction Nets with MPINE. RTA 2001: 353-356 - [c3]Jorge Sousa Pinto
:
Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction. TLCA 2001: 385-399 - 2000
- [c2]Jorge Sousa Pinto
:
Sequential and Concurrent Abstract Machines for Interaction Nets. FoSSaCS 2000: 267-282
1990 – 1999
- 1996
- [c1]José Eduardo Pina Miranda, Jorge Sousa Pinto
:
Using Internet technology for course support. ITiCSE 1996: 96-100
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint