Marcel Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2004–2020
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECSA | Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. | Fagner Dias, Marcel Oliveira, Thas Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flvio Oquendo, Camila Arajo |
| 2007 | ICFEM | Automatic Generation of Verified Concurrent Hardware. | Marcel Oliveira, Jim Woodcock |
| 2004 | ICFEM | From Circus to JCSP. | Marcel Oliveira, Ana Cavalcanti |
| 2004 | SEFM | Refine and Gabriel: Support for Refinement and Tactics. | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti |