Travelled to:1 × Cyprus
1 × France
1 × Germany
1 × Ireland
1 × Poland
1 × Portugal
1 × Sweden
1 × The Netherlands
2 × Italy
2 × Spain
Collaborated with:∅ D.C.d.Cruz M.J.Frade P.R.Henriques E.Brito J.E.P.Miranda J.M.Faria J.Martins S.Areias I.Mackie M.Vilaça A.Cunha J.Proença C.B.Lourenço A.d.M.Pedro D.Pereira L.M.Pinho J.B.Barros
Talks about:program (8) verif (5) interact (4) slice (3) net (3) framework (2) parallel (2) approach (2) assign (2) singl (2)
Person: Jorge Sousa Pinto
DBLP: Pinto:Jorge_Sousa
Contributed to:
20142012
20122010
2010
2010
2010
2007
2005
2001
2001
2000
1996
2016Wrote 15 papers:
- AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification
- Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
- AdaEurope-2012-FariaMP #ada #approach #model checking #source code
- An Approach to Model Checking Ada Programs (JMF, JM, JSP), pp. 105–118.
- SAC-2012-CruzFP #source code #verification
- Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
- AdaEurope-2010-BritoP #case study #comparative #verification
- Program Verification in SPARK and ACSL: A Comparative Case Study (EB, JSP), pp. 97–110.
- ICPC-2010-AreiasCP #contract #reuse #safety #slicing
- Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
- LDTA-2010-CruzHP #analysis #named #online #verification
- GamaSlicer: an online laboratory for program verification and analysis (DCdC, PRH, JSP), p. 3.
- SEFM-2010-BarrosCHP #graph #slicing
- Assertion-based Slicing and Slice Graphs (JBB, DCdC, PRH, JSP), pp. 93–102.
- GT-VMT-2007-MackiePV #interactive #programming #recursion #visual notation
- Visual Programming with Recursion Patterns in Interaction Nets (IM, JSP, MV).
- IFL-2005-CunhaPP #framework #program transformation
- A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
- RTA-2001-Pinto #evaluation #interactive #parallel
- Parallel Evaluation of Interaction Nets with MPINE (JSP), pp. 353–356.
- TLCA-2001-Pinto #geometry #implementation #interactive #modelling #parallel #using #λ-calculus
- Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (JSP), pp. 385–399.
- FoSSaCS-2000-Pinto #automaton #concurrent #interactive
- Sequential and Concurrent Abstract Machines for Interaction Nets (JSP), pp. 267–282.
- ITiCSE-1996-MirandaP #internet #using
- Using Internet technology for course support (JEPM, JSP), pp. 96–100.
- ESOP-2016-LourencoFP #adaptation #approach #formal method #verification
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (CBL, MJF, JSP), pp. 41–67.