Marcel Vinícius Medeiros Oliveira

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 6

Top Venues

SBMF

IFM

CSEDU (1)

Formal Aspects Comput.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF (2023)
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133 (2018)
Nelson Ion de Oliveira, Marcel Vinícius Medeiros Oliveira, Jorge Tarcísio da Rocha Falcão
An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses. CSEDU (1) (2018)
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva
BTS: A Tool for Formal Component-Based Development. IFM (2017)
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
Local Livelock Analysis of Component-Based Models. ICFEM (2016)
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28 (6) (2016)
F. J. S. Macário, Marcel Vinícius Medeiros Oliveira
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. SBMF (2015)
José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
Constructive extensibility of trustworthy component-based systems. SAC (2015)
Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho
Model-Checking Circus State-Rich Specifications. IFM (2014)
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods (2014)
Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. SEFM (2013)
Marcel Vinícius Medeiros Oliveira, Jair Cavalcanti Leite, Adrião Duarte Dória Neto, Pablo Javier Alsina, José Ivonildo Rego, Izabel Hazin, Jorge Tarcísio da Rocha Falcão
Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion. CSEDU (2013)
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira
Implementing Tactics of Refinement in CRefine. SEFM (2012)
Marcel Vinícius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. SBMF (2011)
Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira
Specification and Verification of a MPI Implementation for a MP-SoC. ICTAC (2010)
Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe
Integrating SMT-Solvers in Z and B Tools. ASM (2010)
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira
Formal Development of a Cardiac Pacemaker: From Specification to Code. SBMF (2010)
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira
Formal Specification of a Cardiac Pacing System. FM (2009)
Christina Chavez, Alessandro F. Garcia, Thaís Vasconcelos Batista, Marcel Vinícius Medeiros Oliveira, Cláudio Sant'Anna, Awais Rashid
Composing architectural aspects based on style semantics. AOSD (2009)
Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro
CRefine: Support for the Circus Refinement Calculus. SEFM (2008)
Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira
Tool Support for the CircusRefinement Calculus. ABZ (2008)

Marcel Vinícius Medeiros Oliveira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcel Vinícius Medeiros Oliveira