BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × South Korea
3 × Italy
Collaborated with:
M.Pereira G.Barthe G.Dufay L.Jakubiec P.Soares A.Ravara V.Rodrigues B.Akesson M.Florido J.B.Almeida N.Moreira D.Pereira B.P.Serpette
Talks about:
formal (3) semant (2) java (2) card (2) correspond (1) platform (1) multicor (1) composit (1) automata (1) abstract (1)

Person: Simão Melo de Sousa

DBLP DBLP: Sousa:Sim=atilde=o_Melo_de

Facilitated 1 volumes:

GTTSE 2015SciCo

Contributed to:

PDP 20152015
SAC 20142014
PADL 20132013
CIAA 20102010
VMCAI 20022002
ESOP 20012001

Wrote 6 papers:

PDP-2015-SoaresRS #concurrent #logic #semantics
Revisiting Concurrent Separation Logic and Operational Semantics (PS, AR, SMdS), pp. 484–491.
SAC-2014-PereiraS #complexity #deduction #source code
Complexity checking of ARM programs, by deduction (MP, SMdS), pp. 1309–1314.
PADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.
CIAA-2010-AlmeidaMPS #automaton #coq
Partial Derivative Automata Formalized in Coq (JBA, NM, DP, SMdS), pp. 59–68.
VMCAI-2002-BartheDJS #virtual machine
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
ESOP-2001-BartheDJSS #execution #framework #platform #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.