Marcel Oliveira

According to our database, Marcel Oliveira authored at least 44 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

CSP Specification and Verification of a Relay-Based Railway Interlocking System.

P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

UTP, Circus, and Isabelle.

Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Automatic Generation of Verified Concurrent Hardware Using VHDL.

Luciano Silva, Marcel Oliveira

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

CSP specification and verification of relay-based railway interlocking systems.

Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2020

The CLEARSY safety platform: 5 years of research, development and deployment.

Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira

Sci. Comput. Program., 2020

A refinement checking based strategy for component-based systems evolution.

José Dihego, Augusto Sampaio, Marcel Oliveira

J. Syst. Softw., 2020

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.

Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

A Research Landscape on Formal Verification of Software Architecture Descriptions.

Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo

IEEE Access, 2019

2018

Compositional and local livelock analysis for CSP.

Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti

Inf. Process. Lett., 2018

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

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

Proceedings of the 10th International Conference on Computer Supported Education, 2018

2017

BTS: A Tool for Formal Component-Based Development.

Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

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

Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe

Formal Aspects Comput., 2016

Local Livelock Analysis of Component-Based Models.

Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2016

2015

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

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

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Constructive extensibility of trustworthy component-based systems.

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

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.

Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Model-Checking Circus State-Rich Specifications.

Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

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

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

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

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

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

Proceedings of the CSEDU 2013, 2013

2012

Mechanised support for sound refinement tactics.

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Formal Aspects Comput., 2012

JCircus 2.0: an Extension of an Automatic Translator from Circus to Java.

S. L. M. Barrocas, Marcel Oliveira

Proceedings of the 34th Communicating Process Architectures, 2012

Implementing Tactics of Refinement in CRefine.

Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2011

A tactic language for refinement of state-rich concurrent specifications.

Marcel Oliveira, Frank Zeyda, Ana Cavalcanti

Sci. Comput. Program., 2011

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

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011

2010

Modelling and Implementing Complex Systems with Timebands.

Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Formal Development of a Cardiac Pacemaker: From Specification to Code.

Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira

Proceedings of the Formal Methods: Foundations and Applications, 2010

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

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

Proceedings of the Theoretical Aspects of Computing, 2010

Integrating SMT-Solvers in Z and B Tools.

Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe

Proceedings of the Abstract State Machines, 2010

2009

A UTP semantics for <i>Circus</i>.

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock

Formal Aspects Comput., 2009

Supporting ArcAngel in ProofPower.

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Formal Specification of a Cardiac Pacing System.

Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira

Proceedings of the FM 2009: Formal Methods, 2009

Composing architectural aspects based on style semantics.

Christina Chavez, Alessandro F. Garcia, Thaís Vasconcelos Batista, Marcel Vinícius Medeiros Oliveira, Cláudio Sant'Anna, Awais Rashid

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

ArcAngelC: a Refinement Tactic Language for Circus.

Marcel Oliveira, Ana Cavalcanti

Proceedings of the 13th BAC-FACS Refinement Workshop, 2008

CRefine: Support for the Circus Refinement Calculus.

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

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Tool Support for the CircusRefinement Calculus.

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

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Automatic Generation of Verified Concurrent Hardware.

Marcel Oliveira, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2007

2006

A Denotational Semantics for Circus.

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock

Proceedings of the 11th Refinement Workshop, 2006

Unifying Theories in ProofPower-Z.

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

2005

Formal derivation of state-rich reactive programs using Circus.

Marcel Vinícius Medeiros Oliveira

PhD thesis, 2005

Formal development of industrial-scale systems in <i>Circus</i>.

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock

Innov. Syst. Softw. Eng., 2005

2004

Refine and Gabriel: Support for Refinement and Tactics.

Marcel Oliveira, Manuela Xavier, Ana Cavalcanti

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

From Circus to JCSP.

Marcel Oliveira, Ana Cavalcanti

Proceedings of the Formal Methods and Software Engineering, 2004

2003

ArcAngel: a Tactic Language for Refinement.

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock

Formal Aspects Comput., 2003

2000

Tactics of Refinement.

Marcel Oliveira, Ana Cavalcanti

Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000