Jorge Sousa Pinto

Available identifiers

zbMath Open pinto.jorge-sousaMaRDI QIDQ465684

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2844066	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
https://portal.mardi4nfdi.de/entity/Q5472878	2006-06-19	Paper
Encoding linear logic with interaction combinators	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2778835	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q2778889	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jorge Sousa Pinto