Marcel V. M. Oliveira

From MaRDI portal
Person:333317

Available identifiers

zbMath Open oliveira.marcelMaRDI QIDQ333317

List of research outcomes





PublicationDate of PublicationType
UTP, \textsf{\textit{Circus}}, and Isabelle2024-02-28Paper
Compositional and local livelock analysis for CSP2018-03-16Paper
Rigorous development of component-based systems using component metadata and patterns2016-10-28Paper
Unifying theories in ProofPower-Z2013-03-22Paper
Mechanised support for sound refinement tactics2012-07-03Paper
A tactic language for refinement of state-rich concurrent specifications2011-06-06Paper
Specification and Verification of a MPI Implementation for a MP-SoC2010-08-31Paper
A UTP semantics for \textsf{Circus}2009-05-27Paper
Unifying Theories in ProofPower-Z2007-09-14Paper
ArcAngel: a tactic language for refinement2005-02-08Paper

Research outcomes over time

This page was built for person: Marcel V. M. Oliveira

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:333317&oldid=10682434"
Powered by MediaWiki