Marcel Vinícius Medeiros Oliveira

发表

Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion

Adrião Duarte Dória Neto, Marcel Vinícius Medeiros Oliveira, Jair C. Leite, 2013, CSEDU.

Rigorous development of component-based systems using component metadata and patterns

Augusto Sampaio, A. W. Roscoe, Marcel Vinícius Medeiros Oliveira, 2016, Formal Aspects of Computing.

Formal Specification of a Cardiac Pacing System

Marcel Vinícius Medeiros Oliveira, Artur Oliveira Gomes, 2009, FM.

Tool Support for the CircusRefinement Calculus

Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, 2008, ABZ.

Formal Development of a Cardiac Pacemaker: From Specification to Code

Marcel Vinícius Medeiros Oliveira, Artur Oliveira Gomes, 2010, SBMF.

BTS: A Tool for Formal Component-Based Development

Marcel Vinícius Medeiros Oliveira, Dalay Israel de Almeida Pereira, Madiel Conserva Filho, 2017, IFM.

Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware

Marcel Vinícius Medeiros Oliveira, F. J. S. Macário, 2015, SBMF.

Composing architectural aspects based on style semantics

Cláudio Sant'Anna, Thaís Vasconcelos Batista, Alessandro F. Garcia, 2009, AOSD '09.

Model-Checking Circus State-Rich Specifications

Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, Madiel Conserva Filho, 2014, IFM.

Specification and Verification of a MPI Implementation for a MP-SoC

Marcel Vinícius Medeiros Oliveira, Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, 2010, ICTAC.

Constructive extensibility of trustworthy component-based systems

Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, José Dihego, 2015, SAC.

An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses

Marcel Vinícius Medeiros Oliveira, Jorge Tarcísio da Rocha Falcão, Nelson Ion de Oliveira, 2018, CSEDU.

Formal Methods: Foundations and Applications

Marcel Vinícius Medeiros Oliveira, JimWoodcock, 2018, Lecture Notes in Computer Science.

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

Jim Woodcock, Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, 2013, SEFM.

B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design

Marcel Vinícius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz, 2011, SBMF.

Formal derivation of state-rich reactive programs using Circus

Marcel Vinícius Medeiros Oliveira, 2005 .

Local Livelock Analysis of Component-Based Models

Augusto Sampaio, Ana Cavalcanti, Marcel Vinícius Medeiros Oliveira, 2016, ICFEM.

Integrating SMT-Solvers in Z and B Tools

Marcel Vinícius Medeiros Oliveira, David Déharbe, Alessandro Cavalcante Gurgel, 2010, ASM.

Compositional and local livelock analysis for CSP

Augusto Sampaio, Ana Cavalcanti, Marcel Vinícius Medeiros Oliveira, 2018, Inf. Process. Lett..

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification

Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, Jeremy Bryans, 2014, NASA Formal Methods.

Implementing Tactics of Refinement in CRefine

Marcel Vinícius Medeiros Oliveira, Madiel Conserva Filho, 2012, SEFM.

CRefine: Support for the Circus Refinement Calculus

Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.