Marcel Vinícius Medeiros Oliveira

25 papers B 7C 3Misc 2Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
Bridging the B-Method and ACSL: Towards Verified C Code.
SBMF
Fagner Dias, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte
2023 — conf
CSP Specification and Verification of a Relay-Based Railway Interlocking System.
SBMF
P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira
2022 Misc conf
CSP specification and verification of relay-based railway interlocking systems.
SAC
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul
2018 — conf
An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses.
CSEDU (1)
Nelson Ion de Oliveira, Marcel Vinícius Medeiros Oliveira, Jorge Tarcísio da Rocha Falcão
2018 J jnl
Compositional and local livelock analysis for CSP.
Inf. Process. Lett.
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2017 B conf
BTS: A Tool for Formal Component-Based Development.
IFM
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva
2016 C conf
Local Livelock Analysis of Component-Based Models.
ICFEM
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2016 J jnl
Rigorous development of component-based systems using component metadata and patterns.
Formal Aspects Comput.
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
2015 Misc conf
Constructive extensibility of trustworthy component-based systems.
SAC
José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
2015 — conf
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.
SBMF
F. J. S. Macário, Marcel Vinícius Medeiros Oliveira
2014 — conf
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
NASA Formal Methods
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans
2014 B conf
Model-Checking Circus State-Rich Specifications.
IFM
Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho
2013 B conf
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.
SEFM
Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock
2013 B conf
Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion.
CSEDU
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
2012 B conf
Implementing Tactics of Refinement in CRefine.
SEFM
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira
2011 — conf
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design.
SBMF
Marcel Vinícius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz
2010 — conf
Formal Development of a Cardiac Pacemaker: From Specification to Code.
SBMF
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira
2010 — conf
Integrating SMT-Solvers in Z and B Tools.
ASM
Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe
2010 C conf
Specification and Verification of a MPI Implementation for a MP-SoC.
ICTAC
Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira
2009 — conf
Composing architectural aspects based on style semantics.
AOSD
Christina Chavez, Alessandro F. Garcia, Thaís Vasconcelos Batista, Marcel Vinícius Medeiros Oliveira, Cláudio Sant'Anna, Awais Rashid
2009 — ed.
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers
SBMF
Marcel Vinícius Medeiros Oliveira, Jim Woodcock
2009 B conf
Formal Specification of a Cardiac Pacing System.
FM
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira
2008 B conf
CRefine: Support for the Circus Refinement Calculus.
SEFM
Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro
2008 C conf
Tool Support for the CircusRefinement Calculus.
ABZ
Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira
2005 — —
Formal derivation of state-rich reactive programs using Circus.
Marcel Vinícius Medeiros Oliveira