Marcel Oliveira
Marcel Oliveira
Lecturer of Computer Science and Software Engineering, Universidade Federal do Rio Grande do Norte
Verified email at dimap.ufrn.br - Homepage
Title
Cited by
Cited by
Year
A UTP semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 21 (1), 3-32, 2009
1572009
Formal derivation of state-rich reactive programs using Circus
MVM Oliveira
University of York, 2005
1092005
Formal specification of a cardiac pacing system
AO Gomes, MVM Oliveira
International Symposium on Formal Methods, 692-707, 2009
552009
ArcAngel: a tactic language for refinement
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 15 (1), 28-47, 2003
452003
A denotational semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Electronic Notes in Theoretical Computer Science 187, 107-123, 2007
442007
Unifying theories in ProofPower-Z
M Oliveira, A Cavalcanti, J Woodcock
International Symposium on Unifying Theories of Programming, 123-140, 2006
412006
Unifying theories in ProofPower-Z
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 25 (1), 133-158, 2013
342013
Crefine: Support for the Circus refinement calculus
MVM Oliveira, AC Gurgel, CG Castro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
292008
From Circus to JCSP
M Oliveira, A Cavalcanti
International Conference on Formal Engineering Methods, 320-340, 2004
292004
Refining industrial scale systems in Circus
MVM Oliveira, ALC Cavalcanti, JCP Woodcock
Communicating Process Architectures 62, 281-309, 2004
262004
Formal development of a cardiac pacemaker: from specification to code
AO Gomes, MVM Oliveira
Brazilian Symposium on Formal Methods, 210-225, 2010
222010
Composing architectural aspects based on style semantics
C Chavez, A Garcia, T Batista, M Oliveira, C Sant'Anna, A Rashid
Proceedings of the 8th ACM international conference on Aspect-oriented …, 2009
212009
Refine and Gabriel: support for refinement and tactics
M Oliveira, M Xavier, A Cavalcanti
Proceedings of the Second International Conference on Software Engineering …, 2004
202004
Leadership election: an industrial SoS application of compositional deadlock verification
PRG Antonino, MM Oliveira, ACA Sampaio, KE Kristensen, JW Bryans
NASA Formal Methods Symposium, 31-45, 2014
182014
Formal development of industrial-scale systems in circus
M Oliveira, A Cavalcanti, J Woodcock
Innovations in Systems and Software Engineering 1 (2), 125-146, 2005
172005
ArcAngelC: a refinement tactic language for Circus
MVM Oliveira, ALC Cavalcanti
Electronic Notes in Theoretical Computer Science 214, 203-229, 2008
162008
Rigorous development of component-based systems using component metadata and patterns
MVM Oliveira, P Antonino, R Ramos, A Sampaio, A Mota, AW Roscoe
Formal Aspects of Computing 28 (6), 937-1004, 2016
152016
Compositional analysis and design of CML models
MVM Oliveira, A Sampaio, PRG Antonino, RT Ramos, A Cavalcanti, ...
COMPASS Deliverable D 24, 2013
142013
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2012
142012
Tactics of refinement
MVM Oliveira, ALC Cavalcanti
14th Brazilian Symposium on Software Engineering, 117-132, 2000
142000
The system can't perform the operation now. Try again later.
Articles 1–20