Marcel Oliveira

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 8

Top Topics

Symbolic Model Checking

Formal Verification

Top Venues

Theories of Programming and Formal Methods

Sci. Comput. Program.

Publications

Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods (2023)
Luciano Silva, Marcel Oliveira
Automatic Generation of Verified Concurrent Hardware Using VHDL. SBMF (2022)
José Dihego, Augusto Sampaio, Marcel Oliveira
A refinement checking based strategy for component-based systems evolution. CoRR (2020)
Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA (2020)
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR (2020)
José Dihego, Augusto Sampaio, Marcel Oliveira
A refinement checking based strategy for component-based systems evolution. J. Syst. Softw. 167 (2020)
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira
The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199 (2020)
Camila Araújo, Everton Cavalcante, Thaís Batista, Marcel Oliveira, Flávio Oquendo
A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access 7 (2019)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25 (1) (2013)
S. L. M. Barrocas, Marcel Oliveira
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. CPA (2012)
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
Mechanised support for sound refinement tactics. Formal Aspects Comput. 24 (1) (2012)
Marcel Oliveira, Frank Zeyda, Ana Cavalcanti
A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76 (9) (2011)
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei
Modelling and Implementing Complex Systems with Timebands. SSIRI (2010)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
. Formal Aspects Comput. 21 (1-2) (2009)
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
Supporting ArcAngel in ProofPower. Electron. Notes Theor. Comput. Sci. 259 (2009)
Marcel Oliveira, Ana Cavalcanti
ArcAngelC: a Refinement Tactic Language for Circus. Electron. Notes Theor. Comput. Sci. 214 (2008)
Marcel Oliveira, Jim Woodcock
Automatic Generation of Verified Concurrent Hardware. ICFEM (2007)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
A Denotational Semantics for Circus. Electron. Notes Theor. Comput. Sci. 187 (2007)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Unifying Theories in ProofPower-Z. UTP (2006)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
. Innov. Syst. Softw. Eng. 1 (2) (2005)
Marcel Oliveira, Ana Cavalcanti
From Circus to JCSP. ICFEM (2004)
Marcel Oliveira, Manuela Xavier, Ana Cavalcanti
Refine and Gabriel: Support for Refinement and Tactics. SEFM (2004)
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. 15 (1) (2003)
Marcel Oliveira, Ana Cavalcanti
Tactics of Refinement. SBES (2000)