BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Italy
1 × The Netherlands
2 × Spain
Collaborated with:
M.C.Filho A.O.Gomes J.Dihego A.Sampaio A.C.A.Sampaio M.S.C.Filho I.S.d.M.Júnior J.Woodcock
Talks about:
implement (2) system (2) specif (2) refin (2) trustworthi (1) synchronis (1) interleav (1) construct (1) protocol (1) cardiac (1)

Person: Marcel Vinicius Medeiros Oliveira

DBLP DBLP: Oliveira:Marcel_Vinicius_Medeiros

Contributed to:

SAC 20152015
IFM 20142014
SEFM 20132013
SEFM 20122012
FM 20092009

Wrote 5 papers:

SAC-2015-DihegoSO #component
Constructive extensibility of trustworthy component-based systems (JD, AS, MVMO), pp. 1808–1814.
IFM-2014-OliveiraSF #model checking #specification
Model-Checking Circus State-Rich Specifications (MVMO, ACAS, MSCF), pp. 39–54.
SEFM-2013-OliveiraJW #csp #multi #protocol
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (MVMO, ISdMJ, JW), pp. 46–60.
SEFM-2012-FilhoO #implementation #refinement
Implementing Tactics of Refinement in CRefine (MCF, MVMO), pp. 342–351.
FM-2009-GomesO #specification
Formal Specification of a Cardiac Pacing System (AOG, MVMO), pp. 692–707.

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.