M. Oliveira

发表

Refine and gabriel: support for refinement and tactics

Ana Cavalcanti, Marcel Oliveira, Manuela Xavier, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

Development and Results of an Instrument to Search for Competences and Abilities in Information Technology

Taciana Pontual Falcão, José Ivonildo Rego, Pedro F Bendassolli, 2015 .

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

Flávio Oquendo, Everton Cavalcante, Thaís Vasconcelos Batista, 2020, ECSA.

A UTP semantics for Circus

Jim Woodcock, Ana Cavalcanti, Marcel Oliveira, 2009, Formal Aspects of Computing.

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

Marcel Oliveira, S. L. M. Barrocas, M. Oliveira, 2012, CPA.

A refinement checking based strategy for component-based systems evolution

Augusto Sampaio, Jos'e Dihego, Marcel Oliveira, 2020, J. Syst. Softw..

Local Livelock Analysis of Component-Based Models

Augusto Sampaio, Ana Cavalcanti, Marcel Vinícius Medeiros Oliveira, 2016, ICFEM.

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

Augusto Sampaio, A. W. Roscoe, Marcel Vinícius Medeiros Oliveira, 2016, Formal Aspects of Computing.

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification

Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, Jeremy Bryans, 2014, NASA Formal Methods.

Compositional and local livelock analysis for CSP

Augusto Sampaio, Ana Cavalcanti, Marcel Vinícius Medeiros Oliveira, 2018, Inf. Process. Lett..

BTS: A Tool for Formal Component-Based Development

Marcel Vinícius Medeiros Oliveira, Dalay Israel de Almeida Pereira, Madiel Conserva Filho, 2017, IFM.

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, 2011, SBMF.

A tactic language for refinement of state-rich concurrent specifications

Ana Cavalcanti, Frank Zeyda, Marcel Oliveira, 2011, Sci. Comput. Program..

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

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

Modelling and Implementing Complex Systems with Timebands

Alan Burns, Jim Woodcock, Kun Wei, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.

Composing architectural aspects based on style semantics

Cláudio Sant'Anna, Thaís Vasconcelos Batista, Alessandro F. Garcia, 2009, AOSD '09.

Tool Support for the CircusRefinement Calculus

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

Automatic Generation of Verified Concurrent Hardware

Jim Woodcock, Marcel Oliveira, J. Woodcock, 2007, ICFEM.

A Denotational Semantics for Circus

Jim Woodcock, Ana Cavalcanti, Marcel Oliveira, 2007, Refine@ICFEM.

Unifying theories in ProofPower-Z

Jim Woodcock, Ana Cavalcanti, Marcel Oliveira, 2006, Formal Aspects of Computing.

Formal development of industrial-scale systems in Circus

Jim Woodcock, Ana Cavalcanti, Marcel Oliveira, 2005, Innovations in Systems and Software Engineering.

From Circus to JCSP

Ana Cavalcanti, Marcel Oliveira, M. Oliveira, 2004, ICFEM.

Modelling and Implementing Complex Systems with Timebands ( Invited Paper )

A. Burns, J. Woodcock, M. Oliveira, 2010 .

ArcAngel: a Tactic Language for Refinement

Jim Woodcock, Ana Cavalcanti, Marcel Oliveira, 2003, Formal Aspects of Computing.

Mechanised support for sound refinement tactics

Ana Cavalcanti, Frank Zeyda, Marcel Oliveira, 2011, Formal Aspects of Computing.

Model-Checking Circus State-Rich Specifications

Augusto Sampaio, Marcel Vinícius Medeiros Oliveira, Madiel Conserva Filho, 2014, IFM.