Marcel Vincius Medeiros Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2008–2022
Best venue rank
B
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAC | CSP specification and verification of relay-based railway interlocking systems. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul |
| 2018 | CSEDU | An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses. | Nelson Ion de Oliveira, Marcel Vincius Medeiros Oliveira, Jorge Tarcsio da Rocha Falco |
| 2017 | IFM | BTS: A Tool for Formal Component-Based Development. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva |
| 2016 | ICFEM | Local Livelock Analysis of Component-Based Models. | Madiel S. Conserva Filho, Marcel Vincius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti |
| 2015 | SAC | Constructive extensibility of trustworthy component-based systems. | Jos Dihego, Augusto Sampaio, Marcel Vincius Medeiros Oliveira |
| 2014 | IFM | Model-Checking Circus State-Rich Specifications. | Marcel Vincius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho |
| 2013 | CSEDU | Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion. | Marcel Vincius Medeiros Oliveira, Jair Cavalcanti Leite, Adrio Duarte Dria Neto, Pablo Javier Alsina, Jos Ivonildo Rego, Izabel Hazin, Jorge Tarcsio da Rocha Falco |
| 2013 | SEFM | A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. | Marcel Vincius Medeiros Oliveira, Ivan Soares de Medeiros Jnior, Jim Woodcock |
| 2012 | SEFM | Implementing Tactics of Refinement in CRefine. | Madiel Conserva Filho, Marcel Vincius Medeiros Oliveira |
| 2010 | ICTAC | Specification and Verification of a MPI Implementation for a MP-SoC. | Umberto Souza da Costa, Ivan Soares de Medeiros Jnior, Marcel Vincius Medeiros Oliveira |
| 2009 | FM | Formal Specification of a Cardiac Pacing System. | Artur Oliveira Gomes, Marcel Vincius Medeiros Oliveira |
| 2008 | SEFM | CRefine: Support for the Circus Refinement Calculus. | Marcel Vincius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro |