Marcel Oliveira

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