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: Oliveira:Marcel_Vinicius_Medeiros
Contributed to:
2015
2014
20132012
2009Wrote 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.