According to our database1, Marcel Oliveira authored at least 39 papers between 2003 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Sci. Comput. Program., 2020
J. Syst. Softw., 2020
Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.
Proceedings of the Software Architecture - 14th European Conference, 2020
IEEE Access, 2019
An Automated Environment for Teaching Programming Logic on Distance Learning IT Courses.
Proceedings of the 10th International Conference on Computer Supported Education, 2018
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Rigorous development of component-based systems using component metadata and patterns.
Formal Aspects Comput., 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.
Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Using IT Education to Reveal New Horizons - A Large Scale Case Study on Digital and Social Inclusion.
Proceedings of the CSEDU 2013, 2013
Proceedings of the 34th Communicating Process Architectures, 2012
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012
Sci. Comput. Program., 2011
B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
Proceedings of the Abstract State Machines, 2010
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009
Electron. Notes Theor. Comput. Sci., 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
Proceedings of the Formal Methods and Software Engineering, 2007
Innov. Syst. Softw. Eng., 2005
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Formal Methods and Software Engineering, 2004