Follow
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
1652009
Formal derivation of state-rich reactive programs using Circus
MVM Oliveira
University of York, 2005
1122005
Formal specification of a cardiac pacing system
AO Gomes, MVM Oliveira
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
612009
ArcAngel: a tactic language for refinement
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 15, 28-47, 2003
562003
A denotational semantics for Circus
M Oliveira, A Cavalcanti, J Woodcock
Electronic Notes in Theoretical Computer Science 187, 107-123, 2007
482007
Unifying theories in ProofPower-Z
M Oliveira, A Cavalcanti, J Woodcock
International Symposium on Unifying Theories of Programming, 123-140, 2006
472006
Unifying theories in ProofPower-Z
M Oliveira, A Cavalcanti, J Woodcock
Formal Aspects of Computing 25 (1), 133-158, 2013
352013
Crefine: Support for the Circus refinement calculus
MVM Oliveira, AC Gurgel, CG Castro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
352008
From Circus to JCSP
M Oliveira, A Cavalcanti
Formal Methods and Software Engineering: 6th International Conference on …, 2004
302004
Refining industrial scale systems in Circus
MVM Oliveira, ALC Cavalcanti, J Woodcock
Communicating Process Architectures 2004, 281-309, 2004
272004
Formal development of a cardiac pacemaker: from specification to code
AO Gomes, MVM Oliveira
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011
252011
Leadership election: an industrial SoS application of compositional deadlock verification
PRG Antonino, MM Oliveira, ACA Sampaio, KE Kristensen, JW Bryans
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
212014
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
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, 937-1004, 2016
192016
Formal development of industrial-scale systems in Circus
M Oliveira, A Cavalcanti, J Woodcock
Innovations in Systems and Software Engineering 1, 125-146, 2005
182005
ArcAngelC: a refinement tactic language for Circus
MVM Oliveira, ALC Cavalcanti
Electronic Notes in Theoretical Computer Science 214, 203-229, 2008
162008
Compositional analysis and design of CML models
MVM Oliveira, A Sampaio, PRG Antonino, RT Ramos, A Cavalcanti, ...
COMPASS Deliverable D 24, 2013
152013
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