Jorge Sousa Pinto

Günter Kniesel, Jorge Sousa Pinto: Preface. Electr. Notes Theor. Comput. Sci. 290: 1-2 (2012)

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)

José Miguel Faria, João Martins, Jorge Sousa Pinto: An Approach to Model Checking Ada Programs. Ada-Europe 2012: 105-118

Daniela Carneiro da Cruz, Maria João Frade, Jorge Sousa Pinto: Verification conditions for single-assignment programs. SAC 2012: 1264-1270

Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). SAT 2012: 493-495

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011)

Maria João Frade, Jorge Sousa Pinto: Verification conditions for source-level imperative programs. Computer Science Review 5(3): 252-277 (2011)

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Safe Integration of Annotated Components in Open Source Projects. ECEASST 33 (2010)

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira: A Deductive Verification Platform for Cryptographic Software. ECEASST 33 (2010)

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Deductive verification of cryptographic software. ISSE 6(3): 203-218 (2010)

Eduardo Brito, Jorge Sousa Pinto: Program Verification in SPARK and ACSL: A Comparative Case Study. Ada-Europe 2010: 97-110

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Contract-Based Slicing. ISoLA (1) 2010: 106-120

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

Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto: Contract-Based Slicing Helps on Safety Reuse. ICPC 2010: 62-63

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52

Manuel Barbosa, José Bacelar Almeida, Jorge Sousa Pinto, Bárbara Vieira: Deductive Verification of Cryptographic Software. NASA Formal Methods 2009: 146-155

Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (Eds.): 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

Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Iterators, Recursors and Interaction Nets. CoRR abs/0910.3321 (2009)

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: Token-passing Nets for Functional Languages. Electr. Notes Theor. Comput. Sci. 204: 181-198 (2008)

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Tool for Programming with Interaction Nets. Electr. Notes Theor. Comput. Sci. 219: 83-96 (2008)

Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto: Visual Programming with Interaction Nets. Diagrams 2008: 165-171

José Bacelar Almeida, Jorge Sousa Pinto: Deriving Sorting Algorithms. CoRR abs/0802.3881 (2008)

Joao Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto: Lissom, a Source Level Proof Carrying Code Platform. CoRR abs/0803.2317 (2008)

Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Visual Programming with Recursion Patterns in Interaction Nets. ECEASST 6 (2007)

Maribel Fernández, Ian Mackie, Jorge Sousa Pinto: A Higher-Order Calculus for Graph Transformation. Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007)

José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. Electr. Notes Theor. Comput. Sci. 176(1): 139-163 (2007)

Alcino Cunha, Jorge Sousa Pinto: Point-free Program Transformation. Fundam. Inform. 66(4): 315-352 (2005)

Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto: Recursion patterns and time-analysis. SIGPLAN Notices 40(5): 45-54 (2005)

Alcino Cunha, Jorge Sousa Pinto, José Proença: A Framework for Point-Free Program Transformation. IFL 2005: 1-18

Jorge Sousa Pinto: Weak reduction and garbage collection in interaction nets. Electr. Notes Theor. Comput. Sci. 86(4): 625-640 (2003)

Ian Mackie, Jorge Sousa Pinto: Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176(2): 153-186 (2002)

Jorge Sousa Pinto: Parallel Evaluation of Interaction Nets with MPINE. RTA 2001: 353-356

Jorge Sousa Pinto: Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction. TLCA 2001: 385-399

Jorge Sousa Pinto: Sequential and Concurrent Abstract Machines for Interaction Nets. FoSSaCS 2000: 267-282

José Eduardo Pina Miranda, Jorge Sousa Pinto: Using Internet technology for course support. ITiCSE 1996: 96-100