default search action
Marcel Oliveira
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
2020 – today
- 2023
- [c33]Jim Woodcock
, Ana Cavalcanti
UTP, Circus, and Isabelle. Theories of Programming and Formal Methods 2023: 19-51 - [c32]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]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]Luciano Silva, Marcel Oliveira:
Automatic Generation of Verified Concurrent Hardware Using VHDL. SBMF 2022: 55-72 - 2020
- [j11]José Dihego
A refinement checking based strategy for component-based systems evolution. J. Syst. Softw. 167: 110598 (2020) - [j10]Thierry Lecomte
The CLEARSY safety platform: 5 years of research, development and deployment. Sci. Comput. Program. 199: 102524 (2020) - [c29]Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. ECSA 2020: 101-117 - [i2]José Dihego, Augusto Sampaio, Marcel Oliveira:
A refinement checking based strategy for component-based systems evolution. CoRR abs/2005.10295 (2020) - [i1]Thierry Lecomte
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment. CoRR abs/2005.10662 (2020)
2010 – 2019
- 2019
- [j9]Camila Araújo
A Research Landscape on Formal Verification of Software Architecture Descriptions. IEEE Access 7: 171752-171764 (2019) - 2018
- [j8]Madiel Conserva Filho
Compositional and local livelock analysis for CSP. Inf. Process. Lett. 133: 21-25 (2018) - [c28]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]Dalay Israel de Almeida Pereira
BTS: A Tool for Formal Component-Based Development. IFM 2017: 211-226 - 2016
- [j7]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) - [c26]Madiel S. Conserva Filho, Marcel Vinícius Medeiros Oliveira
Local Livelock Analysis of Component-Based Models. ICFEM 2016: 279-295 - 2015
- [c25]José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira
Constructive extensibility of trustworthy component-based systems. SAC 2015: 1808-1814 - [c24]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]Marcel Vinícius Medeiros Oliveira
Model-Checking Circus State-Rich Specifications. IFM 2014: 39-54 - [c22]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
- [j6]Marcel Oliveira, Ana Cavalcanti
Unifying theories in ProofPower-Z. Formal Aspects Comput. 25(1): 133-158 (2013) - [c21]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]Marcel Vinícius Medeiros Oliveira
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP. SEFM 2013: 46-60 - 2012
- [j5]Frank Zeyda, Marcel Oliveira
Mechanised support for sound refinement tactics. Formal Aspects Comput. 24(1): 127-160 (2012) - [c19]Madiel Conserva Filho, Marcel Vinícius Medeiros Oliveira:
Implementing Tactics of Refinement in CRefine. SEFM 2012: 342-351 - [c18]S. L. M. Barrocas, Marcel Oliveira:
JCircus 2.0: an Extension of an Automatic Translator from Circus to Java. CPA 2012: 15-36 - 2011
- [j4]Marcel Oliveira
A tactic language for refinement of state-rich concurrent specifications. Sci. Comput. Program. 76(9): 792-833 (2011) - [c17]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]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]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]Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira:
Formal Development of a Cardiac Pacemaker: From Specification to Code. SBMF 2010: 210-225 - [c13]Jim Woodcock
Modelling and Implementing Complex Systems with Timebands. SSIRI 2010: 1-13
2000 – 2009
- 2009
- [j3]Marcel Oliveira, Ana Cavalcanti
A UTP semantics for Circus. Formal Aspects Comput. 21(1-2): 3-32 (2009) - [c12]Christina Chavez
Composing architectural aspects based on style semantics. AOSD 2009: 111-122 - [c11]Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira:
Formal Specification of a Cardiac Pacing System. FM 2009: 692-707 - [c10]Frank Zeyda
Supporting ArcAngel in ProofPower. REFINE@FMWeek 2009: 225-243 - [e1]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] - 2008
- [c9]Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro, Marcel Vinícius Medeiros Oliveira:
Tool Support for the CircusRefinement Calculus. ABZ 2008: 349 - [c8]Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro:
CRefine: Support for the Circus Refinement Calculus. SEFM 2008: 281-290 - [c7]Marcel Oliveira, Ana Cavalcanti:
ArcAngelC: a Refinement Tactic Language for Circus. Refine@FM 2008: 203-229 - 2007
- [c6]Marcel Oliveira, Jim Woodcock
Automatic Generation of Verified Concurrent Hardware. ICFEM 2007: 286-306 - 2006
- [c5]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Unifying Theories in ProofPower-Z. UTP 2006: 123-140 - [c4]Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
A Denotational Semantics for Circus. Refine@ICFEM 2006: 107-123 - 2005
- [b1]Marcel Vinícius Medeiros Oliveira:
Formal derivation of state-rich reactive programs using Circus. University of York, UK, 2005 - [j2]Marcel Oliveira, Ana Cavalcanti
Formal development of industrial-scale systems in Circus. Innov. Syst. Softw. Eng. 1(2): 125-146 (2005) - 2004
- [c3]Marcel Oliveira, Ana Cavalcanti:
From Circus to JCSP. ICFEM 2004: 320-340 - [c2]Marcel Oliveira, Manuela Xavier, Ana Cavalcanti:
Refine and Gabriel: Support for Refinement and Tactics. SEFM 2004: 310-319 - 2003
- [j1]Marcel Oliveira, Ana Cavalcanti
ArcAngel: a Tactic Language for Refinement. Formal Aspects Comput. 15(1): 28-47 (2003) - 2000
- [c1]Marcel Oliveira, Ana Cavalcanti:
Tactics of Refinement. SBES 2000: 117-132
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: