default search action

combined dblp search
author search
venue search
publication search

ask others

Marcel Oliveira

Marcel Vinícius Medeiros Oliveira

> Home > Persons

Person information

affiliation: Universidade Federal do Rio Grande do Norte, Natal, Brasil

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2005
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Oliveira05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Oliveira05
Marcel Vinícius Medeiros Oliveira:
Formal derivation of state-rich reactive programs using Circus. University of York, UK, 2005

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/DihegoSO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DihegoSO20
José Dihego, Augusto Sampaio, Marcel Oliveira:
A refinement checking based strategy for component-based systems evolution. J. Syst. Softw. 167: 110598 (2020)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/LecomteDFO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LecomteDFO20
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira:
The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199: 102524 (2020)
2019
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AraujoCBOO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AraujoCBOO19
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: 171752-171764 (2019)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/FilhoOSC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/FilhoOSC18
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti:
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133: 21-25 (2018)
2016
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraARSMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraARSMR16
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe:
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28(6): 937-1004 (2016)
2013
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraCW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraCW13
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25(1): 133-158 (2013)
2012
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ZeydaOC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ZeydaOC12
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti:
Mechanised support for sound refinement tactics. Formal Aspects Comput. 24(1): 127-160 (2012)
2011
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/OliveiraZC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/OliveiraZC11
Marcel Oliveira, Frank Zeyda, Ana Cavalcanti:
A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011)
2009
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraCW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraCW09
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
A UTP semantics for Circus. Formal Aspects Comput. 21(1-2): 3-32 (2009)
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/OliveiraCW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/OliveiraCW05
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Formal development of industrial-scale systems in Circus. Innov. Syst. Softw. Eng. 1(2): 125-146 (2005)
2003
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/OliveiraCW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/OliveiraCW03
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. 15(1): 28-47 (2003)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/000100OSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/000100OSZ23
Jim Woodcock, Ana Cavalcanti, Simon Foster, Marcel Oliveira, Augusto Sampaio, Frank Zeyda:
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/BezerraOLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/BezerraOLP23
P. E. R. Bezerra, Marcel Vinícius Medeiros Oliveira, Thierry Lecomte, Dalay Israel de Almeida Pereira:
CSP Specification and Verification of a Relay-Based Railway Interlocking System. SBMF 2023: 36-54
2022
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PereiraOBBD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PereiraOBBD22
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul:
CSP specification and verification of relay-based railway interlocking systems. SAC 2022: 97-106
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/SilvaO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/SilvaO22
Luciano Silva, Marcel Oliveira:
Automatic Generation of Verified Concurrent Hardware Using VHDL. SBMF 2022: 55-72
2020
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/DiasOBCLOA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/DiasOBCLOA20
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: 101-117
2018
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/OliveiraOF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/OliveiraOF18
Nelson Ion de Oliveira, Marcel Vinícius Medeiros Oliveira, Jorge Tarcísio da Rocha Falcão:
An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses. CSEDU (1) 2018: 267-274
2017
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/PereiraOFS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/PereiraOFS17
Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, Madiel S. Conserva Filho, Sarah Raquel Da Rocha Silva:
BTS: A Tool for Formal Component-Based Development. IFM 2017: 211-226
2016
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FilhoOSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FilhoOSC16
Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti:
Local Livelock Analysis of Component-Based Models. ICFEM 2016: 279-295
2015
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/DihegoSO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DihegoSO15
José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira:
Constructive extensibility of trustworthy component-based systems. SAC 2015: 1808-1814
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/MacarioO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MacarioO15
F. J. S. Macário, Marcel Vinícius Medeiros Oliveira:
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. SBMF 2015: 3-18
2014
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OliveiraSF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OliveiraSF14
Marcel Vinícius Medeiros Oliveira, Augusto C. A. Sampaio, Madiel S. Conserva Filho:
Model-Checking Circus State-Rich Specifications. IFM 2014: 39-54
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/AntoninoOSKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/AntoninoOSKB14
Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans:
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. NASA Formal Methods 2014: 31-45
2013
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/OliveiraLNARHF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/OliveiraLNARHF13
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:
Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion. CSEDU 2013: 603-611
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/OliveiraJW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/OliveiraJW13
Marcel Vinícius Medeiros Oliveira, Ivan Soares de Medeiros Júnior, Jim Woodcock:
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. SEFM 2013: 46-60
2012
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FilhoO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FilhoO12
Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira:
Implementing Tactics of Refinement in CRefine. SEFM 2012: 342-351
[c18]
- view
  - electronic edition @ wotug.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wotug/BarrocasO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wotug/BarrocasO12
S. L. M. Barrocas, Marcel Oliveira:
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. CPA 2012: 15-36
2011
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/OliveiraDC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/OliveiraDC11
Marcel Vinícius Medeiros Oliveira, David Déharbe, Luís C. D. S. Cruz:
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design. SBMF 2011: 44-59
2010
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GurgelMOD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GurgelMOD10
Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe:
Integrating SMT-Solvers in Z and B Tools. ASM 2010: 412-413
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CostaJO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CostaJO10
Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira:
Specification and Verification of a MPI Implementation for a MP-SoC. ICTAC 2010: 168-183
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/GomesO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/GomesO10
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira:
Formal Development of a Cardiac Pacemaker: From Specification to Code. SBMF 2010: 210-225
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ssiri/WoodcockOBW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssiri/WoodcockOBW10
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei:
Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13
2009
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/ChavezGBOSR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/ChavezGBOSR09
Christina Chavez, Alessandro F. Garcia, Thaís Vasconcelos Batista, Marcel Vinícius Medeiros Oliveira, Cláudio Sant'Anna, Awais Rashid:
Composing architectural aspects based on style semantics. AOSD 2009: 111-122
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GomesO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GomesO09
Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira:
Formal Specification of a Cardiac Pacing System. FM 2009: 692-707
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZeydaOC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZeydaOC09
Frank Zeyda, Marcel Oliveira, Ana Cavalcanti:
Supporting ArcAngel in ProofPower. REFINE@FMWeek 2009: 225-243
2008
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/GurgelCO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/GurgelCO08
Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira:
Tool Support for the CircusRefinement Calculus. ABZ 2008: 349
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/OliveiraGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/OliveiraGC08
Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro:
CRefine: Support for the Circus Refinement Calculus. SEFM 2008: 281-290
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OliveiraC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraC08
Marcel Oliveira, Ana Cavalcanti:
ArcAngelC: a Refinement Tactic Language for Circus. Refine@FM 2008: 203-229
2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/OliveiraW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/OliveiraW07
Marcel Oliveira, Jim Woodcock:
Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/utp/OliveiraCW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/OliveiraCW06
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying Theories in ProofPower-Z. UTP 2006: 123-140
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/OliveiraCW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/OliveiraCW07
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
A Denotational Semantics for Circus. Refine@ICFEM 2006: 107-123
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/OliveiraC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/OliveiraC04
Marcel Oliveira, Ana Cavalcanti:
From Circus to JCSP. ICFEM 2004: 320-340
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/OliveiraXC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/OliveiraXC04
Marcel Oliveira, Manuela Xavier, Ana Cavalcanti:
Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319
2000
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/Oliveira000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/Oliveira000
Marcel Oliveira, Ana Cavalcanti:
Tactics of Refinement. SBES 2000: 117-132

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2009
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2009
Marcel Vinícius Medeiros Oliveira, Jim Woodcock:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902, Springer 2009, ISBN 978-3-642-10451-0 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10295
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10295
José Dihego, Augusto Sampaio, Marcel Oliveira:
A refinement checking based strategy for component-based systems evolution. CoRR abs/2005.10295 (2020)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10662
Thierry Lecomte, David Déharbe, Paulin Fournier, Marcel Oliveira:
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR abs/2005.10662 (2020)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.