Jorge Sousa Pinto

Available identifiers

zbMath Open pinto.jorge-sousaMaRDI QIDQ465684

List of research outcomes

Publication	Date of Publication	Type
A Lotka-Volterra-type model analyzed through different techniques	2024-10-11	Paper
Why3-do: the way of harmonious distributed system proofs	2023-08-03	Paper
A Lotka-Volterra type model analyzed through different techniques	2023-06-22	Paper
A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3	2023-06-19	Paper
Testing for Race Conditions in Distributed Systems via SMT Solving	2022-11-09	Paper
A tribute to José Manuel Valença	2022-08-26	Paper
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach	2016-04-26	Paper
A Bounded Model Checker for SPARK Programs	2015-12-17	Paper
Verification conditions for source-level imperative programs	2014-10-24	Paper
Formal verification of side-channel countermeasures using self-composition	2014-04-02	Paper
Token-passing nets for functional languages	2014-01-24	Paper
A local graph-rewriting system for deciding equality in sum-product theories	2013-12-20	Paper
Weak reduction and garbage collection in interaction nets	2013-08-27	Paper
Assertion-based slicing and slice graphs	2013-03-22	Paper
Rigorous software development. An introduction to program verification.	2010-10-13	Paper
A Framework for Point-Free Program Transformation	2009-04-28	Paper
Point-free program transformation	2006-06-19	Paper
Encoding linear logic with interaction combinators	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2778889	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2778835	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4508308	2000-10-03	Paper
Sampling expansions and generalized translation invariance	1984-01-01	Paper

Research outcomes over time

This page was built for person: Jorge Sousa Pinto